Formal Specification of Computer-Based Systems.

Miroslav Svéda Charles Rattray Jerzy W. Rozenblit

Published in: J. Univers. Comput. Sci. (2004)

Keyphrases

formal specification
formal methods
process algebra
building blocks
model checking
specification language
object oriented design
information systems
multimedia
database systems
multi agent systems
data sources
reverse engineering
design methodologies