A Methodology for the Description of System Requirements and the Derivation of Formal Specifications.

Atsushi Togashi Fumiaki Kanezashi Xiasong Lu

Published in: FORTE (1997)

Keyphrases

formal specification
design methodology
object oriented design
model checking
reverse engineering
specification languages
specification language
software components
databases
formal methods
object oriented
high level
business rules
key features
database design
knowledge representation
process algebra