Formal Specification using Interaction Diagrams.

Published in: SEFM (2007)

Keyphrases

formal specification
model checking
object oriented design
specification languages
specification language
formal methods
data abstraction
process algebra
reverse engineering
concurrent systems
databases
formal specification language
database systems
cooperative
software engineering
temporal logic