On the Derivation of Executable Database Programs from Formal Specifications.

Thomas Günther Klaus-Dieter Schewe Ingrid Wetzel

Published in: FME (1993)

Keyphrases

formal specification
database
specification language
object oriented design
databases
specification languages
process algebra
model checking
database systems
relational databases
reverse engineering
data model
general purpose
design methodology
query language
concurrent systems