24 search results - page 4 / 5 » Certifying Off-the-Shelf Software Components |
72
Voted
COMPUTER
1998
14 years 9 months ago
1998
CACM
2010
14 years 6 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
ICSR
2011
Springer
14 years 25 days ago
2011
Springer
With the move to distributed, component based systems involving reuse of components and services, emergent, system-wide properties, including safety and security in particular, are...
63
Voted
ICSE
2001
IEEE-ACM
15 years 1 months ago
2001
IEEE-ACM
We present a foundational theory of software system reliability based on components. The theory describes how component developers can design and test their components to produce ...
ICSE
2003
IEEE-ACM
15 years 9 months ago
2003
IEEE-ACM
This report gives an overview of the 6th ICSE Workshop on Component-Based Software Engineering held at 25th International Conference on Software Engineering. The workshop brought ...