2255 search results - page 38 / 451 » High Assurance Software Systems |
122
click to vote
ICDCS
2000
IEEE
15 years 7 months ago
2000
IEEE
To assure dependable onboard evolution, we have developed a methodology called guarded software upgrading (GSU). In this paper, we focus on a low-cost approach to error containmen...
109
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Several research efforts have studied ways to infer properties of software systems from program spectra gathered from the running systems, usually with software-level instrumentat...
119
click to vote
EWSA
2004
Springer
15 years 8 months ago
2004
Springer
Software architecture (SA) evaluation is a quality assurance technique that is increasingly attracting significant research and commercial interests. A number of SA evaluation meth...
151
click to vote
ADAEUROPE
2007
Springer
15 years 9 months ago
2007
Springer
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
101
click to vote
GI
2005
Springer
15 years 8 months ago
2005
Springer
: This is an ongoing project, which is scheduled until 2005. So I decided together with Richard Wang to set up Sup-Projects that could be published earlier. The main objective is t...