Building Data Base Management Systems Through Formal Specification.

Erich J. Neuhold Thomas Olnhoff

Published in: ICFPC (1981)

Keyphrases

formal specification
data base management systems
specification language
model checking
object oriented design
specification languages
reverse engineering
data abstraction
process algebra
multi agent
formal methods
concurrent systems
databases
software engineering