4799 search results - page 324 / 960 » Model Based Requirements Engineering for Embedded Software |
147
click to vote
VAMOS
2007
Springer
16 years 24 days ago
2007
Springer
In a software product line different products often require different levels of quality attributes. In several domains quality attribute variability gets even more importance that...
221
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
—Markov chains with Labelled Transitions can be used to generate test cases in a model-based approach. These test cases are generated by random walks on the model according to pr...
150
click to vote
HOTSWUP
2009
ACM
15 years 11 months ago
2009
ACM
This paper describes Edition-Based Redefinition (EBR) in the Oracle database — a novel technology and methodology to build database application patches so that installation of t...
199
click to vote
ENTCS
2008
15 years 5 months ago
2008
Orc and Reo are two complementary approaches to the problem of coordinating components or services. On one hand, Orc is highly asynchronous, naturally dynamic, and based on epheme...
185
click to vote
SOQUA
2007
15 years 7 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...