Verifying backwards compatibility of object-oriented libraries using Boogie.
Yannick WelschArnd Poetzsch-HeffterPublished in: FTfJP@ECOOP (2012)
Keyphrases
- object oriented
- digital libraries
- programming language
- database applications
- relational databases
- programming interface
- multimedia
- object oriented database systems
- database technology
- model checking
- data model
- object oriented databases
- database schema
- query language
- object oriented concepts
- database
- conceptual modeling
- neural network
- design patterns
- object oriented programming
- object oriented languages
- object oriented modeling
- data flow
- object oriented database management systems
- distributed object oriented
- database design
- test cases
- mobile robot
- case study
- image processing
- metadata
- decision making
- information systems
- information retrieval
- real world
- databases