Formal Analysis of Object-Oriented Mograms.
Moussa AmraniPierre-Yves SchobbensPublished in: FTfJP@ECOOP (2017)
Keyphrases
- formal analysis
- object oriented
- programming language
- object oriented databases
- software engineering
- relational databases
- object oriented database systems
- database applications
- database design
- formal methods
- programming interface
- object oriented modeling
- ban logic
- object orientation
- database schema
- data model
- test cases
- query language
- conceptual model
- object oriented programming
- reverse engineering
- databases
- machine learning