A Formal Specification Tool for Office Systems.

Hossein Saiedian Elizabeth A. Unger

Published in: SIGSMALL/PC Symposium (1990)

Keyphrases

formal specification
formal methods
model checking
object oriented design
machine learning
specification language
specification languages
building blocks
design methodologies
databases
information systems
expert systems
information technology
data abstraction