Formal Specifications of Computer-Based Systems.

Miroslav Svéda Charles Rattray Jerzy W. Rozenblit

Published in: ECBS (2002)

Keyphrases

formal specification
formal methods
expert systems
high level
relational databases
data warehouse
computer systems
building blocks
model checking
software components
reverse engineering