3792 search results - page 1 / 759 » Techniques for Trusted Software Engineering |
ICSE
1998
IEEE-ACM
13 years 8 months ago
1998
IEEE-ACM
ISSRE
2008
IEEE
13 years 10 months ago
2008
IEEE
The contribution of this paper is a technique to assess whether software failures during operational use can invalidate the trust assumptions and, hence, the adequacy of the softw...
RE
2010
Springer
12 years 11 months ago
2010
Springer
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...
SEFM
2003
IEEE
13 years 9 months ago
2003
IEEE
We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a no...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
For `mixed-criticality' systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that ea...