Sciweavers

CORR
2011
Springer
200views Education» more  CORR 2011»
13 years 6 months ago
Validation Measures in CMMI
—Validation is one of the software engineering disciplines that help build quality into software. The major objective of software validation process is to determine that the soft...
Mahmoud Khraiwesh
FLAIRS
2003
14 years 24 days ago
Utilizing Validation Experience for System Validation
This paper adopts the idea of using knowledge gained by various validation sessions over time with a validation technology developed previously. The work is designed to reduce the...
Rainer Knauf, Avelino J. Gonzalez, Setsuo Tsuruta
SPIN
1999
Springer
14 years 3 months ago
Xspin/Project - Integrated Validation Management for Xspin
One of the difficulties of using model checkers “in the large” is the management of all (generated) data during the validation trajectory. It is important that the results obta...
Theo C. Ruys
DATE
2000
IEEE
132views Hardware» more  DATE 2000»
14 years 3 months ago
Automatic Test Bench Generation for Validation of RT-Level Descriptions: An Industrial Experience
In current microprocessors and systems, an increasingly high silicon portion is derived through automatic synthesis, with designers working exclusively at the RT-level, and design...
Fulvio Corno, Matteo Sonza Reorda, Giovanni Squill...