234 search results - page 1 / 47 » Validation of requirement models by automatic prototyping |
55
Voted
ISSE
2008
14 years 10 months ago
2008
JSS
2002
14 years 10 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
15 years 2 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
15 years 4 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
15 years 5 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...