Verifiable Object Oriented Designs.
Michalis GlykasPaul WilhelmijTony HoldenPublished in: TOOLS (11) (1993)
Keyphrases
- object oriented
- sufficient conditions
- relational databases
- programming interface
- database schema
- software engineering
- programming language
- object oriented databases
- database applications
- database design
- conceptual modeling
- data model
- object oriented languages
- real time
- industry standard
- design principles
- artificial intelligence
- object oriented database systems
- data warehousing
- secret sharing
- object oriented concepts
- design space
- design patterns
- decision making
- computer vision
- neural network