3425 search results - page 43 / 685 » A Model Driven Approach for Software Systems Reliability |
124
click to vote
ASE
2008
15 years 3 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
133
click to vote
ISORC
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper provides three contributions to the study of quality of service (QoS) configuration in component-based DRE systems. First, we describe the challenges associated with m...
142
click to vote
SIGSAND
2008
15 years 4 months ago
2008
: Today's businesses must continuously adapt to changing external environment in accelerated time frames. This requires businesses to decrease costs and time of the very proce...
169
click to vote
XPU
2010
Springer
15 years 1 months ago
2010
Springer
Software product lines - families of similar but not identical software products - need to address the issue of feature variability. That is, a single feature might require various...
142
click to vote
ECMDAFA
2009
Springer
15 years 9 months ago
2009
Springer
Model Driven Software Development (MDSD) has matured over the last few years and is now becoming an established technology. Models are used in various contexts, where the possibili...