3425 search results - page 71 / 685 » A Model Driven Approach for Software Systems Reliability |
107
click to vote
ECBS
2006
IEEE
15 years 7 months ago
2006
IEEE
We present in this paper a unified paradigm for the verification and validation of software and systems engineering design models expressed in UML 2.0 or SysML. This paradigm reli...
160
click to vote
ECBS
2010
IEEE
15 years 6 months ago
2010
IEEE
Model-based selective regression testing promises reduction in cost and labour by selecting a subset of the test suite corresponding to the modifications after system evolution. H...
151
click to vote
CODES
1999
IEEE
15 years 7 months ago
1999
IEEE
We present a case study on the design of a heterogeneous architecture for MPEG-2 video decoding. The primary objective of the case study is the validation of the SPADE methodology...
144
click to vote
WOSP
2005
ACM
15 years 8 months ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
88
Voted
ATVA
2005
Springer
15 years 8 months ago
2005
Springer