3 years ago

Teaching Programming and Design-by-Contract.

Manuel Mazzara, Mansur Khazeev, Alexander Naumchev, Victor Rivera, Ruslan Mustafin, JooYoung Lee, Daniel de Carvalho, Adil Khan

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.

Publisher URL: http://arxiv.org/abs/1710.07956

DOI: arXiv:1710.07956v1

You might also like
Never Miss Important Research

Researcher is an app designed by academics, for academics. Create a personalised feed in two minutes.
Choose from over 15,000 academics journals covering ten research areas then let Researcher deliver you papers tailored to your interests each day.

  • Download from Google Play
  • Download from App Store
  • Download from AppInChina

Researcher displays publicly available abstracts and doesn’t host any full article content. If the content is open access, we will direct clicks from the abstracts to the publisher website and display the PDF copy on our platform. Clicks to view the full text will be directed to the publisher website, where only users with subscriptions or access through their institution are able to view the full article.