A Unified Approach for Verification and Validation of Systems and Software Engineering Models.
Luay AlawnehMourad DebbabiYosr JarrayaAndrei SoeanuFawzi HassaïnePublished in: ECBS (2006)
Keyphrases
- software engineering
- complex systems
- formal methods
- trading systems
- mathematical models
- neural network
- software engineers
- learning systems
- physical systems
- model checking
- expert systems
- knowledge engineering
- automated verification
- reactive systems
- accurate models
- databases
- systems development
- data mining
- information systems
- formal specification
- object oriented
- computational models
- experimental data
- prior knowledge
- management system
- building blocks
- knowledge based systems
- computer systems
- distributed systems