Abstract | ||
---|---|---|
This paper summarizes the experience of teaching an introductory course to programming by using a correctness by construction approach at Innopolis University, Russian Federation. In this paper we claim that division in beginner and advanced groups improves the learning outcomes, present the discussion and the data that support the claim. |
Year | Venue | Field |
---|---|---|
2017 | arXiv: Software Engineering | Functional logic programming,Fifth-generation programming language,Programming language,Computer science,Inductive programming,Correctness,Design by contract,Theoretical computer science,Symbolic programming,First-generation programming language,Programming language theory |
DocType | Volume | Citations |
Journal | abs/1710.07956 | 1 |
PageRank | References | Authors |
0.37 | 2 | 8 |
Name | Order | Citations | PageRank |
---|---|---|---|
Daniel de Carvalho | 1 | 5 | 2.90 |
JooYoung Lee | 2 | 1 | 1.38 |
A.M. Khan | 3 | 17 | 2.97 |
Manuel Mazzara | 4 | 493 | 64.05 |
Mansur Khazeev | 5 | 1 | 2.06 |
Ruslan Mustafin | 6 | 110 | 7.86 |
Alexandr Naumchev | 7 | 2 | 4.11 |
Víctor Rivera | 8 | 52 | 12.94 |