Formal Specification of Object Systems.

Ralf Jungclaus Gunter Saake

Published in: TAPSOFT, Vol.2 (1991)

Keyphrases

formal specification
formal methods
model checking
d objects
specification language
expert systems
object oriented design
building blocks
specification languages
databases
moving objects
software components
data abstraction