3425 search results - page 190 / 685 » A Model Driven Approach for Software Systems Reliability |
113
click to vote
ENVSOFT
2006
15 years 3 months ago
2006
This paper presents an approach that integrates a legacy component into a software system for storm sewer simulation. The legacy component employed here is the Storm Water Managem...
138
click to vote
PST
2008
15 years 5 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
173
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
139
click to vote
WCE
2007
15 years 5 months ago
2007
— In this paper a new approach to optimize nuclear power plant designs based on global risk reduction are described. In design the focus is on as components quality as redundancy...
135
click to vote
TOOLS
1999
IEEE
15 years 8 months ago
1999
IEEE
The development of large software systems demands intensive cooperation among multiple project team members with different responsibilities. The development process is often distr...