Teaching Programming and Design-by-Contract

10/22/2017
by   Daniel de Carvalho, et al.
0

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.

READ FULL TEXT
research
07/26/2022

Teaching Programming to Novices Using the codeBoot Online Environment

Teaching programming to novices is best done with tools with simpler use...
research
06/08/2019

Mastery Learning-Like Teaching with Achievements

This paper describes the design of a second-year, 20 ECTS credit course ...
research
11/25/2017

Declarativeness: the work done by something else

Being declarative means that we do computer programming on higher levels...
research
07/26/2022

Reimplementing the Wheel: Teaching Compilers with a Small Self-Contained One

We report on a one-semester compiler construction course based on the id...
research
10/03/1998

The Design of EzWindows: A Graphics API for an Introductory Programming Course

Teaching object-oriented programming in an introductory programming cour...
research
10/08/2022

Cloud Native Robotic Applications with GPU Sharing on Kubernetes

In this paper we discuss our experience in teaching the Robotic Applicat...
research
02/02/2023

Teaching MLOps in Higher Education through Project-Based Learning

Building and maintaining production-grade ML-enabled components is a com...

Please sign up or login with your details

Forgot password? Click here to reset