An Approach of Concurrent Object-Oriented Program Slicing Based on LTL Property.
Guangquan ZhangRong MeiPublished in: CSSE (2) (2008)
Keyphrases
- object oriented
- program slicing
- reverse engineering
- formal verification
- model checking
- description languages
- fault localization
- source code
- temporal logic
- data model
- programming language
- database applications
- software engineering
- object oriented databases
- relational databases
- design patterns
- database technology
- software testing
- databases
- information systems