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)

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.

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
Pages68-76
Number of pages9
Volume1
Edition1
ISBN (Electronic)978-3-030-11932-4
ISBN (Print)978-3-030-11931-7
DOIs
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
Volume916
ISSN (Print)2194-5357
ISSN (Electronic)2194-5365

Conference

Conference21st International Conference on Interactive Collaborative Learning, ICL 2018
Country/TerritoryGreece
CityKos Island
Period25/09/1828/09/18

Bibliographical note

Publisher Copyright:
© 2020, Springer Nature Switzerland AG.

Fingerprint

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

Cite this