Reducing the barriers to writing verified specifications.

Todd W. Schiller Michael D. Ernst

Published in: OOPSLA (2012)

Keyphrases

high level
formal specification
data sets
collaborative writing
real time
neural network
e learning
image processing
database systems
specification language
delay insensitive