A Formal Mechanism for Assessing Polymorphism in Object-Oriented Systems.
Claudia PonsMaximo PrietoLuis OlsinaPublished in: APAQS (2000)
Keyphrases
- object oriented systems
- object oriented design
- object oriented
- software maintenance
- source code
- test case generation
- software engineering
- class diagrams
- formal model
- software systems
- object oriented technology
- data sets
- formal specification
- relational databases
- search algorithm
- cooperative
- learning mechanism
- selection mechanism
- mathematical theory
- case study
- genetic algorithm
- machine learning
- neural network
- databases