A formal model of similarity testing for inheritance in object-oriented software.
Khalid BenlhachmiMohammed BenattouPublished in: CIST (2012)
Keyphrases
- formal model
- object oriented software
- object oriented
- data flow
- design patterns
- software architecture
- regression testing
- software development
- object oriented databases
- data model
- similarity measure
- software engineering
- formal models
- predicate calculus
- security properties
- knowledge representation
- query language
- security patterns
- multiple inheritance
- distance function
- database
- error rate
- xml documents
- multi agent systems
- decision trees