3425 search results - page 21 / 685 » A Model Driven Approach for Software Systems Reliability |
COMPSAC
2002
IEEE
15 years 6 months ago
2002
IEEE
The paper discusses a formal approach for specifying time-dependent Web applications and proposes a Markov model for reliability prediction. Measures for predicting reliability ar...
109
click to vote
EWSPT
2003
Springer
15 years 7 months ago
2003
Springer
The issue of building a Process Support System Environment (PSSE), or a family of PSEE, to make them interoperate or to use them to pilot applications or services requires new solu...
127
click to vote
KBSE
2003
IEEE
15 years 7 months ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
155
click to vote
JCSS
2011
14 years 9 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
114
click to vote
JUCS
2002
15 years 1 months ago
2002
: Different models and methodologies for the development of hypermedia systems and applications have emerged in the recent years. Software-technical methods and principles enriched...