Publication Date
| In 2026 | 0 |
| Since 2025 | 0 |
| Since 2022 (last 5 years) | 0 |
| Since 2017 (last 10 years) | 0 |
| Since 2007 (last 20 years) | 1 |
Descriptor
| College Instruction | 1 |
| Computer Science Education | 1 |
| Computer Software | 1 |
| Course Content | 1 |
| Course Organization | 1 |
| Courses | 1 |
| Models | 1 |
| Outcomes of Education | 1 |
| Programming | 1 |
| Statistical Analysis | 1 |
| Teaching Methods | 1 |
| More ▼ | |
Source
| ACM Transactions on Computing… | 1 |
Publication Type
| Journal Articles | 1 |
| Reports - Descriptive | 1 |
Education Level
| Higher Education | 1 |
| Postsecondary Education | 1 |
Audience
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewed
Direct linkCarro, Manuel; Herranz, Angel; Marino, Julio – ACM Transactions on Computing Education, 2013
We present an undergraduate course on concurrent programming where formal models are used in different stages of the learning process. The main practical difference with other approaches lies in the fact that the ability to develop correct concurrent software relies on a systematic transformation of formal models of inter-process interaction (so…
Descriptors: Computer Science Education, Programming, Models, Teaching Methods
