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.
@article{arxiv.1710.07956,
title = {Teaching Programming and Design-by-Contract},
author = {Daniel de Carvalho and Rasheed Hussain and Adil Khan and Mansur Khazeev and JooYong Lee and Sergey Masiagin and Manuel Mazzara and Ruslan Mustafin and Alexandr Naumchev and Victor Rivera},
journal= {arXiv preprint arXiv:1710.07956},
year = {2019}
}
Comments
21th International Conference on Interactive Collaborative Learning