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

doi:10.1007/978-3-030-11932-4_7

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 proceeding › Conference Contribution (Conference Proceeding)

6 Citations (Scopus)

53 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 language	English
Title of host publication	The Challenges of the Digital Transformation in Education
Subtitle of host publication	Proceedings of the 21st International Conference on Interactive Collaborative Learning (ICL2018)
Editors	Michael E. Auer, Thrasyvoulos Tsiatsos
Publisher	Springer Verlag
Pages	68-76
Number of pages	9
Volume	1
Edition	1
ISBN (Electronic)	978-3-030-11932-4
ISBN (Print)	978-3-030-11931-7
DOIs	https://doi.org/10.1007/978-3-030-11932-4_7 https://doi.org/10.1007/978-3-030-11935-5
Publication status	Published - 2020
Event	21st International Conference on Interactive Collaborative Learning, ICL 2018 - Kos Island, Greece Duration: 25 Sept 2018 → 28 Sept 2018

Publication series

Name	Advances in Intelligent Systems and Computing
Volume	916
ISSN (Print)	2194-5357
ISSN (Electronic)	2194-5365

Conference

Conference	21st International Conference on Interactive Collaborative Learning, ICL 2018
Country/Territory	Greece
City	Kos Island
Period	25/09/18 → 28/09/18

Bibliographical note

Publisher Copyright:
© 2020, Springer Nature Switzerland AG.

Access to Document

Full-text PDF (author accepted manuscript)
This is the accepted author manuscript (AAM). The final published version (version of record) is available online via Springer at https://link.springer.com/chapter/10.1007/978-3-030-11932-4_7. Please refer to any applicable terms of use of the publisher.
Accepted author manuscript, 253 KB

Handle.net

Persistent link

Cite this

de Carvalho, D., Hussain, R., Khan, A., Khazeev, M., Lee, J. Y., Masiagin, S., Mazzara, M., Mustafin, R., Naumchev, A., & Rivera, V. (2020). Teaching Programming and Design-by-Contract. In M. E. Auer, & T. Tsiatsos (Eds.), The Challenges of the Digital Transformation in Education: Proceedings of the 21st International Conference on Interactive Collaborative Learning (ICL2018) (1 ed., Vol. 1, pp. 68-76). (Advances in Intelligent Systems and Computing; Vol. 916). Springer Verlag. https://doi.org/10.1007/978-3-030-11932-4_7, https://doi.org/10.1007/978-3-030-11935-5

de Carvalho, Daniel ; Hussain, Rasheed ; Khan, Adil et al. / Teaching Programming and Design-by-Contract. The Challenges of the Digital Transformation in Education: Proceedings of the 21st International Conference on Interactive Collaborative Learning (ICL2018). editor / Michael E. Auer ; Thrasyvoulos Tsiatsos. Vol. 1 1. ed. Springer Verlag, 2020. pp. 68-76 (Advances in Intelligent Systems and Computing).

@inproceedings{8e24b7ef809d4aee9a538737aee3e377,

title = "Teaching Programming and Design-by-Contract",

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.",

author = "\{de Carvalho\}, Daniel and Rasheed Hussain and Adil Khan and Mansur Khazeev and Lee, \{Joo Yong\} and Sergey Masiagin and Manuel Mazzara and Ruslan Mustafin and Alexandr Naumchev and Victor Rivera",

note = "Publisher Copyright: {\textcopyright} 2020, Springer Nature Switzerland AG.; 21st International Conference on Interactive Collaborative Learning, ICL 2018 ; Conference date: 25-09-2018 Through 28-09-2018",

year = "2020",

doi = "10.1007/978-3-030-11932-4\_7",

language = "English",

isbn = "978-3-030-11931-7",

volume = "1",

series = "Advances in Intelligent Systems and Computing",

publisher = "Springer Verlag",

pages = "68--76",

editor = "Auer, \{Michael E.\} and Thrasyvoulos Tsiatsos",

booktitle = "The Challenges of the Digital Transformation in Education",

address = "Germany",

edition = "1",

}

de Carvalho, D, Hussain, R, Khan, A, Khazeev, M, Lee, JY, Masiagin, S, Mazzara, M, Mustafin, R, Naumchev, A & Rivera, V 2020, Teaching Programming and Design-by-Contract. in ME Auer & T Tsiatsos (eds), The Challenges of the Digital Transformation in Education: Proceedings of the 21st International Conference on Interactive Collaborative Learning (ICL2018). 1 edn, vol. 1, Advances in Intelligent Systems and Computing, vol. 916, Springer Verlag, pp. 68-76, 21st International Conference on Interactive Collaborative Learning, ICL 2018, Kos Island, Greece, 25/09/18. https://doi.org/10.1007/978-3-030-11932-4_7, https://doi.org/10.1007/978-3-030-11935-5

Teaching Programming and Design-by-Contract. / de Carvalho, Daniel; Hussain, Rasheed; Khan, Adil et al.
The Challenges of the Digital Transformation in Education: Proceedings of the 21st International Conference on Interactive Collaborative Learning (ICL2018). ed. / Michael E. Auer; Thrasyvoulos Tsiatsos. Vol. 1 1. ed. Springer Verlag, 2020. p. 68-76 (Advances in Intelligent Systems and Computing; Vol. 916).

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

TY - GEN

T1 - Teaching Programming and Design-by-Contract

AU - de Carvalho, Daniel

AU - Hussain, Rasheed

AU - Khan, Adil

AU - Khazeev, Mansur

AU - Lee, Joo Yong

AU - Masiagin, Sergey

AU - Mazzara, Manuel

AU - Mustafin, Ruslan

AU - Naumchev, Alexandr

AU - Rivera, Victor

PY - 2020

Y1 - 2020

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/85064713686

U2 - 10.1007/978-3-030-11932-4_7

DO - 10.1007/978-3-030-11932-4_7

M3 - Conference Contribution (Conference Proceeding)

AN - SCOPUS:85064713686

SN - 978-3-030-11931-7

VL - 1

T3 - Advances in Intelligent Systems and Computing

SP - 68

EP - 76

BT - The Challenges of the Digital Transformation in Education

A2 - Auer, Michael E.

A2 - Tsiatsos, Thrasyvoulos

PB - Springer Verlag

T2 - 21st International Conference on Interactive Collaborative Learning, ICL 2018

Y2 - 25 September 2018 through 28 September 2018

ER -

de Carvalho D, Hussain R, Khan A, Khazeev M, Lee JY, Masiagin S et al. Teaching Programming and Design-by-Contract. In Auer ME, Tsiatsos T, editors, The Challenges of the Digital Transformation in Education: Proceedings of the 21st International Conference on Interactive Collaborative Learning (ICL2018). 1 ed. Vol. 1. Springer Verlag. 2020. p. 68-76. (Advances in Intelligent Systems and Computing). Epub 2019 Mar 16. doi: 10.1007/978-3-030-11932-4_7, 10.1007/978-3-030-11935-5

Teaching Programming and Design-by-Contract

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Handle.net

Other files and links

Fingerprint

Cite this