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
| Computer Science Education | 1 |
| Difficulty Level | 1 |
| Error Patterns | 1 |
| Introductory Courses | 1 |
| Novices | 1 |
| Performance | 1 |
| Programming | 1 |
| Programming Languages | 1 |
| Tests | 1 |
Source
| Informatics in Education | 1 |
Author
| Mannila, Linda | 1 |
Publication Type
| Journal Articles | 1 |
| Reports - Research | 1 |
Education Level
Audience
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Mannila, Linda – Informatics in Education, 2010
In this paper, we analyze the errors novice students make when developing invariant based programs. In addition to presenting the general error types, we also look at what students have difficulty with when it comes to expressing invariants. The results indicate that an introductory course utilizing the invariant based approach is suitable from…
Descriptors: Novices, Error Patterns, Difficulty Level, Introductory Courses

Peer reviewed
