Object Oriented Formal Specifications to Support Ada 95 Reuse.

Huiming Yu Albert C. Esterline Joseph Monroe

Published in: TRI-Ada (1996)

Keyphrases

object oriented
object oriented design
formal specification
object oriented data models
relational databases
reverse engineering
object oriented systems
database
high level
data model
knowledge management
database design
model checking
object oriented databases
definition language