Formal Specifications of Computer-Based Systems.

Miroslav Svéda Charles Rattray

Published in: ECBS (2001)

Keyphrases

formal specification
software components
expert systems
database
cooperative
management system
distributed systems
formal methods
reasoning systems
computer systems
building blocks
key features
object oriented design