Teaching Programming and Design-by-Contract

Daniel de Carvalho, Rasheed Hussain, Adil Khan, Mansur Khazeev, Joo Yong Lee, Sergey Masiagin, Manuel Mazzara*, Ruslan Mustafin, Alexandr Naumchev, Victor Rivera

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

5 Citations (Scopus)
18 Downloads (Pure)


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.

Original languageEnglish
Title of host publicationThe Challenges of the Digital Transformation in Education
Subtitle of host publicationProceedings of the 21st International Conference on Interactive Collaborative Learning (ICL2018)
EditorsMichael E. Auer, Thrasyvoulos Tsiatsos
PublisherSpringer Verlag
Number of pages9
ISBN (Electronic)978-3-030-11932-4
ISBN (Print)978-3-030-11931-7
Publication statusPublished - 2020
Event21st International Conference on Interactive Collaborative Learning, ICL 2018 - Kos Island, Greece
Duration: 25 Sept 201828 Sept 2018

Publication series

NameAdvances in Intelligent Systems and Computing
ISSN (Print)2194-5357
ISSN (Electronic)2194-5365


Conference21st International Conference on Interactive Collaborative Learning, ICL 2018
CityKos Island

Bibliographical note

Publisher Copyright:
© 2020, Springer Nature Switzerland AG.


Dive into the research topics of 'Teaching Programming and Design-by-Contract'. Together they form a unique fingerprint.

Cite this