The inertness of today’s software systems turns innova-tive applications into an obstacle rather than an enabler and results in dependability degradation during the sys-tems ’ lifetime. Even more so, heterogeneity, scale, and dy-namics open up what Laprie called the dependability gap. In this position paper, we identify the need to converge methods from software engineering with traditional mid-dleware and dependable systems research to close the de-pendability gap. In particular, we suggest a nested control loop approach, where the inner loop addresses short-term changes autonomously, while the outer loop addresses long-term evolution by run-time software engineering. 1. Dependability Gap While computing is becoming a utility and software ...
Abstract. Generic middleware can often not provide satisfactory solu-tions, but neither is it accept...
It has been said that the term software engineering is an aspiration not a description. We would lik...
The proposed research is to create new paradigm of software transformation and analysis tools that w...
The new technology and system communication advances are being employed in any system, being more co...
This paper presents on overview of the issues in precisely defining, specifying and evaluating the d...
Many large software systems have different components with varying requirements for robustness and p...
peer reviewedThe goal of this article is to provide a rigorous conceptual framework for defining the...
This paper presents on overview of the issues in precisely defining, specifying and evaluating the d...
Society, systems and related businesses are increasingly dependent on software applications, which a...
What would it take to make software more dependable? Until now, most approaches have been indirect: ...
The book describes a fundamentally new approach to software dependability, considering a software sy...
Advances in software engineering technology continue to assist engineers in building more complex sy...
We discuss a new approach to the construction of software systems. Instead of attempting to build a ...
As many of us already depend on computer systems to lead our lives to a standard we find acceptable,...
Dependability in todays software systems is hard to achieve. Missing physical boundaries like the la...
Abstract. Generic middleware can often not provide satisfactory solu-tions, but neither is it accept...
It has been said that the term software engineering is an aspiration not a description. We would lik...
The proposed research is to create new paradigm of software transformation and analysis tools that w...
The new technology and system communication advances are being employed in any system, being more co...
This paper presents on overview of the issues in precisely defining, specifying and evaluating the d...
Many large software systems have different components with varying requirements for robustness and p...
peer reviewedThe goal of this article is to provide a rigorous conceptual framework for defining the...
This paper presents on overview of the issues in precisely defining, specifying and evaluating the d...
Society, systems and related businesses are increasingly dependent on software applications, which a...
What would it take to make software more dependable? Until now, most approaches have been indirect: ...
The book describes a fundamentally new approach to software dependability, considering a software sy...
Advances in software engineering technology continue to assist engineers in building more complex sy...
We discuss a new approach to the construction of software systems. Instead of attempting to build a ...
As many of us already depend on computer systems to lead our lives to a standard we find acceptable,...
Dependability in todays software systems is hard to achieve. Missing physical boundaries like the la...
Abstract. Generic middleware can often not provide satisfactory solu-tions, but neither is it accept...
It has been said that the term software engineering is an aspiration not a description. We would lik...
The proposed research is to create new paradigm of software transformation and analysis tools that w...