Sign in
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