What Good Are Strong Specifications?

Nadia Polikarpova Carlo A. Furia Yu Pei Yi Wei Bertrand Meyer

Published in: CoRR (2012)

Keyphrases

case study
high level
data sets
genetic algorithm
information systems
formal specification
control flow
delay insensitive
attribute grammars