Teaching Design by Contract Using Snap!

Marieke Huisman Raúl E. Monti

Published in: The Logic of Software. A Tasting Menu of Formal Methods (2022)

Keyphrases

case study
user interface
learning process
engineering education
supply chain
neural network
e learning
knowledge based systems
building blocks
design process
higher education
learning design
knowledge building
activity theory