Compiling Formal Specifications to Oz Programs.

Published in: MOZ (2004)

Keyphrases

formal specification
model checking
object oriented design
specification languages
specification language
process algebra
reverse engineering
concurrent systems
formal methods
computer programs
protocol specification
semantic data models
databases
open source
database systems
information systems
real world