234 search results - page 1 / 47 » Validation of requirement models by automatic prototyping |
ISSE
2008
13 years 5 months ago
2008
JSS
2002
13 years 5 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
HASE
2007
IEEE
13 years 9 months ago
2007
IEEE
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
APSEC
2005
IEEE
13 years 11 months ago
2005
IEEE
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
ICFEM
2007
Springer
13 years 11 months ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...