Some Lessons from an Exercise in Specification (Abstract Only).

David M. Frohlich Paul Luff

Published in: ACM SIGCHI Bull. (1989)

Keyphrases

high level
state machines
lessons learned
low level
transition systems
database
neural network
artificial intelligence
multiscale
object oriented
higher level
model checking
formal methods
formal verification
provably correct