Methodological aspects of an approach for verification of object-oriented programs.
Magdalina TodorovaPublished in: IEEE Conf. of Intelligent Systems (2012)
Keyphrases
- object oriented programs
- methodological aspects
- specification languages
- integration testing
- handling uncertainty
- soft computing
- object oriented
- impact analysis
- model checking
- black box
- neural network
- formal specification
- knowledge based systems
- aspects of data mining
- data mining
- information fusion
- fuzzy logic
- knowledge discovery
- artificial intelligence