A Pattern-Based Approach to Formal Specification Construction.

Xi Wang Shaoying Liu Huaikou Miao

Published in: FGIT-ASEA/DRBC/EL (2011)

Keyphrases

formal specification
model checking
specification languages
specification language
object oriented design
formal methods
process algebra
data abstraction
reverse engineering
concurrent systems
pattern matching
model checker
database systems
temporal logic
software components