NotesFAQContact Us
Collection
Advanced
Search Tips
Publication Date
In 20250
Since 20240
Since 2021 (last 5 years)0
Since 2016 (last 10 years)0
Since 2006 (last 20 years)1
Descriptor
Comparative Analysis1
Computation1
Computer Science1
Computer Science Education1
Computer Software1
Equations (Mathematics)1
Mathematical Logic1
Mathematics1
Programming1
Programming Languages1
Teaching Methods1
More ▼
Source
International Journal for…1
Author
Simic, Danijela1
Publication Type
Journal Articles1
Reports - Research1
Education Level
Audience
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Showing one result Save | Export
Using Small-Step Refinement for Algorithm Verification in Computer Science Education
Peer reviewed Peer reviewed
Direct linkDirect link
Simic, Danijela – International Journal for Technology in Mathematics Education, 2015
Stepwise program refinement techniques can be used to simplify program verification. Programs are better understood since their main properties are clearly stated, and verification of rather complex algorithms is reduced to proving simple statements connecting successive program specifications. Additionally, it is easy to analyse similar…
Descriptors: Mathematics, Computer Science, Computer Science Education, Comparative Analysis