Hints for Writing Specifications.

Jeannette M. Wing

Published in: ZUM (1995)

Keyphrases

high level
delay insensitive
social networks
specification language
learning algorithm
formal verification
formal language
case study
hidden markov models
formal specification
collaborative writing