Teaching the Design-by-Contract Concept in a Software Engineering Course Using RESOLVE.

Eileen T. Kraemer

Published in: ACM SIGSOFT Softw. Eng. Notes (2018)

Keyphrases

software engineering
software architecture
software design
artificial intelligence
user interface
software systems
knowledge engineering
engineering design
learning environment
knowledge based systems
design process
learning design
case study
learning process
learning analytics
formal methods