𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Validating timed UML models by simulation and verification

✍ Scribed by Iulian Ober; Susanne Graf; Ileana Ober

Publisher
Springer
Year
2005
Tongue
English
Weight
468 KB
Volume
8
Category
Article
ISSN
1433-2779

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Verification and validation of a winter
Verification and validation of a winter driving simulator
✍ Michael W. Parker; Sally A. Shoop; Barry A. Coutermarsh; Kyle D. Wesson; Jesse M πŸ“‚ Article πŸ“… 2009 πŸ› Elsevier Science 🌐 English βš– 797 KB

A full vehicle dynamics simulator was constructed in SimCreator Γ’ for the Cold Regions Research and Engineering Laboratory (CRREL) Instrumented Vehicle (CIV) and was used to investigate and validate the newly developed Vehicle Terrain Interaction (VTI) code. The VTI code replaces the tire component

Validation and automatic test generation
Validation and automatic test generation on UML models: the AGATHA approach
✍ David Lugato; CΓ©line Bigot; Yannick Valot πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 174 KB

The related economic goals of test generation are quite important for software industry. Manufacturers ever seeking to increase their productivity need to avoid malfunctions at the time of system specification: the later the defaults are detected, the greater the cost is. Consequently, the developme