Making Changes to Formal Specifications: Requirements and an Example.

David W. Bustard Adam C. Winstanley

Published in: IEEE Trans. Software Eng. (1994)

Keyphrases

formal specification
specification languages
object oriented design
model checking
reverse engineering
specification language
process algebra
design methodology
concurrent systems
formal specification language
formal methods
semantic data models