Verification and validation of object-oriented artifacts throughout the simulation model development life cycle.
John T. Carr IIIOsman BalciPublished in: WSC (2000)
Keyphrases
- simulation model
- object oriented
- development life cycle
- life cycle
- software development
- simulation models
- agent based simulation
- discrete event
- software engineering
- mathematical model
- software product
- reverse engineering
- database applications
- relational databases
- simulation environment
- model checking
- data model
- software quality
- database
- test cases
- requirements engineering
- query language
- simulation tool
- case study