A specification framework for software processes: formal specification and derivation of information base requirements.

H. Dieter Rombach

Published in: ISPW (1988)

Keyphrases

formal specification
specification language
object oriented design
key features
formal methods
process algebra
specification languages
real world
information systems
expert systems
process model
reverse engineering