Extending Formal Specification To Object-Oriented Models Through Level-View Structured Schemas.

King Sing Cheung K. O. Chow T. Y. Cheung

Published in: TOOLS (31) (1999)

Keyphrases

formal specification
object oriented
object oriented design
model checking
conceptual models
databases
reverse engineering
specification languages
database
real world
high level
temporal logic
formal methods
process algebra