Making Changes to Formal Specifications: Requirements and an Example.

David W. Bustard Adam C. Winstanley

Published in: ESEC (1993)

Keyphrases

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