3514 search results - page 113 / 703 » Evolving Specification Engineering |
EUROMICRO
2009
IEEE
13 years 12 months ago
2009
IEEE
SaveCCM is a domain specific component model developed specifically for safety-critical hard real-time embedded systems in the vehicular domain. This paper expands the scope of Sa...
FASE
2009
Springer
13 years 12 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
CODES
2000
IEEE
13 years 11 months ago
2000
IEEE
We present an analysis of the benefits and drawbacks of function and object based models in system specification. Functional models should be used for functional design space expl...
ICST
2009
IEEE
13 years 5 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
RE
2007
Springer
14 years 2 months ago
2007
Springer
Customer-reported field failures provide valuable information for the requirements of the next release. Without a systematic approach, the requirements of the next release may not...