Developing formal specifications via Z (workshop).

Hossein Saiedian

Published in: SIGCSE (1997)

Keyphrases

formal specification
object oriented design
model checking
specification languages
specification language
process algebra
concurrent systems
reverse engineering
database
design methodology
databases
formal methods
software components
distributed systems
petri net
database systems
high level
semantic data models