E-store: formal specification.

Tamara Uros Igor Uros

Published in: CSREA EEE (2005)

Keyphrases

formal specification
model checking
specification language
specification languages
object oriented design
process algebra
formal methods
concurrent systems
reverse engineering
data abstraction
formal verification
service oriented