Teaching Programming and Design-by-Contract

10/22/2017

∙

by   Daniel de Carvalho, et al.

∙

0

∙

share

This paper summarizes the experience of teaching an introductory course to programming by using a correctness by construction approach at Innopolis University, Russian Federation. We discuss the data supporting the idea that a division in beginner and advanced groups improves the learning outcomes.