A Formal Specification of Mondex Using SAM.

Reng Zeng Jianling Liu Xudong He

Published in: SOSE (2008)

Keyphrases

formal specification
model checking
specification languages
specification language
object oriented design
formal methods
process algebra
reverse engineering
concurrent systems
data abstraction
model checker
software components
databases
relational databases
design methodologies