Code Synthesis Based on Object-Oriented Design Models and Formal Specifications.

Xiaoping Jia Sotiris Skevoulis

Published in: COMPSAC (1998)

Keyphrases

object oriented design
formal specification
software design
object oriented
object oriented systems
specification languages
real world
e learning
probabilistic model
model checking
database
design methodology
formal methods
metamodel
specification language
reverse engineering
databases