Teaching Programming and Design-by-Contract
classification
💻 cs.SE
cs.CY
keywords
claimprogrammingteachingadvancedapproachbeginnerconstructioncorrectness
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.