SEOct 22, 2017
Teaching Programming and Design-by-ContractDaniel de Carvalho, Rasheed Hussain, Adil Khan et al.
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.