Reasoning About Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems.
Olaf OwePublished in: IFM (2016)
Keyphrases
- object oriented
- concurrent systems
- temporal logic
- complete axiomatization
- distributed systems
- object oriented design
- object oriented databases
- process algebra
- formal specification
- petri net
- transition systems
- programming language
- relational databases
- model checking
- object oriented systems
- database design
- data model
- object oriented database systems
- object oriented languages
- reverse engineering
- database applications
- spatial reasoning
- database schema
- software engineering
- query language
- database technology
- learning objects
- multiple inheritance
- software reuse
- conceptual model
- object oriented modeling
- programming interface
- data flow
- databases
- conceptual modeling
- object identity
- test cases
- web services