A Traceability Technique for Specifications.

Ahron Abadi Mordechai Nisenson Yahalomit Simionovici

Published in: ICPC (2008)

Keyphrases

software architecture
life cycle
high level
delay insensitive
written in natural language
tool support
reactive systems
bounded model checking
data sets
computer vision
case study
formal specification
concurrent systems