Comparing formal tools for system design: a judgment study.

Alessio Ferrari Franco Mazzanti Davide Basile Maurice H. ter Beek Alessandro Fantechi

Published in: ICSE (2020)

Keyphrases

building blocks
data sets
case study
deeper understanding
formal methods
design patterns
design decisions
experimental design
design concepts
design methodologies
software environment
design methodology
higher education
design process
empirical studies
expert systems
data mining