2255 search results - page 14 / 451 » High Assurance Software Systems |
SCS
2003
13 years 10 months ago
2003
The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Syst...
SCS
2003
13 years 10 months ago
2003
This paper describes a method for performing safety analysis on an Integrated Modular Avionics system in a manner which supports the incremental development and change of system c...
SOQUA
2004
13 years 10 months ago
2004
: In agile software development refactoring is an important phase for the continuous improvement of software quality. Unfortunately, the application of refactorings is very subject...
CCS
2007
ACM
14 years 2 months ago
2007
ACM
Various system architectures have been proposed for high assurance enforcement of multilevel security. This paper provides an analysis of the relative merits of three architectura...
CCS
2010
ACM
13 years 12 months ago
2010
ACM
Cloud computing has emerged as a multi-tenant resource sharing platform, which allows different service providers to deliver software as services in an economical way. However, fo...