Sign in
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