Evolving specifications formally.

Prahladavaradan Sampath Silky Arora S. Ramesh

Published in: RE (2011)

Keyphrases

high level
neural network
case study
data sets
search engine
computer vision
bayesian networks
source code
formal specification
specification language
formal verification
learning technology standards
evolving graphs
written in natural language