430 search results - page 7 / 86 » Statistical Certification of Software Systems |
EUROSYS
2009
ACM
14 years 4 months ago
2009
ACM
ISSRE
2008
IEEE
14 years 1 months ago
2008
IEEE
For many safety-critical systems a safety case is built as part of the certification or acceptance process. The safety case assembles evidence to justify that the design and imple...
TCS
2008
13 years 7 months ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
APSEC
2000
IEEE
13 years 11 months ago
2000
IEEE
Component-based software development approach is based on the idea to develop software systems by selecting appropriate off-the-shelf components and then to assemble them with a w...
DGO
2003
13 years 8 months ago
2003
Software for encrypting email messages has been widely available for more than 15 years, but the emailusing public has failed to adopt secure messaging. This failure can be explai...