Synergistic verification and validation of systems and software engineering models.
Yosr JarrayaAndrei SoeanuLuay AlawnehMourad DebbabiFawzi HassaïnePublished in: Int. J. Gen. Syst. (2009)
Keyphrases
- software engineering
- complex systems
- formal methods
- statistical models
- abstraction levels
- management system
- trading systems
- physical systems
- distributed systems
- computational models
- model validation
- probabilistic model
- computer systems
- biological systems
- finite state machines
- simulation models
- knowledge based systems
- human computer interaction
- database
- model selection
- programming language
- expert systems
- multi agent systems
- artificial intelligence
- machine learning
- data mining