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) | 2 |
Descriptor
| Computer Science Education | 2 |
| Computer Software | 2 |
| Course Organization | 2 |
| Courses | 2 |
| Programming | 2 |
| Teaching Methods | 2 |
| College Instruction | 1 |
| Competition | 1 |
| Computers | 1 |
| Cooperation | 1 |
| Cooperative Learning | 1 |
| More ▼ | |
Source
| ACM Transactions on Computing… | 2 |
Publication Type
| Journal Articles | 2 |
| Reports - Descriptive | 1 |
| Reports - Evaluative | 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
Ritzhaupt, Albert D. – ACM Transactions on Computing Education, 2009
This article provides an overview of the challenges in implementing a game development course with limited resources in computing curricula. An approach to a holistic game development course is outlined in terms of its organization, software, and instructional methods. The course had 23 students enrolled in its first offering and was…
Descriptors: Educational Strategies, Reliability, Cooperative Learning, Teaching Methods
