Regular Repair of Specifications.

Michael Benedikt Gabriele Puppis Cristian Riveros

Published in: LICS (2011)

Keyphrases

delay insensitive
damage assessment
specification language
information retrieval
formal specification
high level
context free
attribute grammars
written in natural language
data mining
multiscale
xml documents
functional requirements
control flow