OOSZ: An Integration of Bailin's Object-Oriented Analysis and Formal Specifications.

Jonathan Lee Jiann-I Pan Wei T. Huang

Published in: J. Inf. Sci. Eng. (1997)

Keyphrases

object oriented
formal specification
object oriented design
database applications
database systems
knowledge based systems
data analysis
relational databases
data warehousing
database technology
conceptual modeling