Inheritance and Modularity in Specification and Verification of OO Programs.
Yijing LiuAli HongZongyan QiuPublished in: TASE (2011)
Keyphrases
- object oriented
- object oriented databases
- formal verification
- object oriented languages
- object oriented programs
- programming language
- symbolic execution
- provably correct
- specification language
- asynchronous circuits
- model checking
- formal methods
- data model
- hardware designs
- relational databases
- protocol specification
- computer programs
- conceptual models
- high level
- object oriented programming
- formal specification
- query language
- conceptual modeling
- java bytecode
- specification languages
- database schema
- control program
- highly modular
- multiple inheritance
- object oriented modeling
- high level programming language
- face verification
- distributed databases
- conceptual model
- software engineering
- test generation
- entity relationship
- object oriented technology
- reverse engineering
- databases