Extensible Specifications for Automatic Re-use of Specifications and Proofs.

Daniel Matichuk Toby C. Murray

Published in: SEFM (2012)

Keyphrases

high level
databases
delay insensitive
specification language
fully automatic
relational databases
formal specification
functional requirements
real time
attribute grammars
case study
web services
bayesian networks
search engine
data driven
machine learning
real world
control flow
concurrent systems