89
Voted
SIGSOFT
2004
ACM
15 years 10 months ago
2004
ACM
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...