A scenario-based reliability analysis approach for component-based software
This paper introduces a reliability model, and a reliability analysis technique for component-
based software. The technique is named Scenario-Based Reliability Analysis (SBRA). Using …
based software. The technique is named Scenario-Based Reliability Analysis (SBRA). Using …
The grand challenge of trusted components
B Meyer - 25th International Conference on Software …, 2003 - ieeexplore.ieee.org
Reusable components equipped with strict guarantees of quality can help reestablish
software development on a stronger footing, by taking advantage of the scaling effect of …
software development on a stronger footing, by taking advantage of the scaling effect of …
[图书][B] Volume III: A technology for predictable assembly from certifiable components
KC Wallnau - 2003 - insights.sei.cmu.edu
This report is the final volume in a three-volume series on component-based software
engineering. Volumes I and II identified market conditions and technical concepts of …
engineering. Volumes I and II identified market conditions and technical concepts of …
Multi-perspective specification, design and implementation of software components using aspects
J Grundy - International Journal of Software Engineering and …, 2000 - World Scientific
Current approaches to component-based systems engineering tend to focus on low-level
software component interface design and implementation. This often leads to the …
software component interface design and implementation. This often leads to the …
Trustworthy components––compositionality and prediction
H Schmidt - Journal of Systems and Software, 2003 - Elsevier
This article defines key requirements for an architecture-based approach to trustworthy
components. We then provide a brief overview of our architecture definition language RADL …
components. We then provide a brief overview of our architecture definition language RADL …
A security characterisation framework for trustworthy component based software systems
This paper explores how to characterize security properties of software components, and
how to reason about their suitability for a trustworthy compositional contract. Our framework …
how to reason about their suitability for a trustworthy compositional contract. Our framework …
Storage and retrieval of Software Components using Aspects
J Grundy - … Computer Science Conference. ACSC 2000 (Cat …, 2000 - ieeexplore.ieee.org
While component-based software engineering technologies have become popular, finding
and reusing appropriate software components is often challenging. We describe a software …
and reusing appropriate software components is often challenging. We describe a software …
Trust level based platform access regulation application
M Ginsberg - US Patent 7,284,124, 2007 - Google Patents
The present invention provides an operating system com ponent that determines when an
application desires access to a distributed platform. One method an application may use to …
application desires access to a distributed platform. One method an application may use to …
Dependable software
B Meyer - … : Software, Computing, Networks: Research Results of …, 2006 - Springer
Dependable software Page 12 J. Kohlas, B. Meyer, and A. Schiper (Eds.): Dependable Systems,
LNCS 4028, pp. 1–33, 2006. © Springer-Verlag Berlin Heidelberg 2006 Dependable Software …
LNCS 4028, pp. 1–33, 2006. © Springer-Verlag Berlin Heidelberg 2006 Dependable Software …
Towards practical proofs of class correctness
B Meyer - International Conference of B and Z Users, 2003 - Springer
Preliminary steps towards a theory, framework and process for proving that contract-
equipped classes satisfy their contracts, including when the run-time structure involves …
equipped classes satisfy their contracts, including when the run-time structure involves …