Polymorphism in Object-Oriented Contract Verification.
Isabel NunesPublished in: Software Engineering Research and Practice (2003)
Keyphrases
- object oriented
- relational databases
- database design
- programming language
- database applications
- data model
- model checking
- formal verification
- database schema
- design patterns
- functional verification
- object oriented databases
- query language
- supply chain
- object oriented database systems
- object oriented modeling
- database technology
- person identification
- verification method
- transaction costs
- databases
- programming interface
- object oriented concepts
- industry standard
- definition language
- formal methods
- object oriented programming
- software engineering
- data warehousing