View Updatability Based on the Models of a Formal Specification.

Michael Johnson Robert D. Rosebrugh

Published in: FME (2001)

Keyphrases

formal specification
reverse engineering
probabilistic model
specification languages
databases
formal methods
object oriented design
model checking
object oriented
knowledge acquisition
specification language
concurrent systems
process algebra