1376 search results - page 42 / 276 » Model-Driven Software Verification |
123
click to vote
SOQUA
2007
15 years 3 months ago
2007
Failure detection is a difficult and often expensive task. The principle of self-healing addresses this cost issue, but poses new research questions. This work focuses on detectin...
125
click to vote
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
iven software product lines combine the abstraction capability of Model Driven Software Development (MDSD) and the variability management capability of Software Product Line Engin...
142
click to vote
ECBS
2010
IEEE
15 years 6 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
109
click to vote
CBSE
2006
Springer
15 years 5 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
109
click to vote
TAP
2008
Springer
15 years 1 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...