Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
UML components: a simple process for specifying component-based software
UML components: a simple process for specifying component-based software
Increasing the confidence in off-the-shelf components: a software connector-based approach
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Making Components Contract Aware
Computer
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Proceedings of the Workshop on Object-Oriented Technology
Generating adapters for concurrent component protocol synchronisation
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
A Comprehensive Interface Definition Framework for Software Components
APSEC '98 Proceedings of the Fifth Asia Pacific Software Engineering Conference
Modeling Class Operations in B: Application to UML Behavioral Diagrams
Proceedings of the 16th IEEE international conference on Automated software engineering
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
A formal approach to component adaptation
Journal of Systems and Software - Special issue: Automated component-based software engineering
A Method for Component-Based Software and System Development
EUROMICRO '06 Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications
Enhanced connectors to support hierarchical dependencies in software architecture
NOTERE '08 Proceedings of the 8th international conference on New technologies in distributed systems
Trustworthy Interface Compliancy: Data Model Adaptation Using B Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
A declarative formal approach to dynamic reconfiguration
Proceedings of the 1st international workshop on Open component ecosystems
On the evolution of component-based software
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
| Hi-index | 0.00 |
We present an approach for enhancing dependability of component-based software. Functionality related to security, safety and reliability is encapsulated in specific components, allowing the method to be applied to off-the-shelf components. Any set of components can be extended with dependability features by wrapping them with special components, which monitor and filter input and outputs. This approach is supported by a rigorous development methodology based on UML and the B method and is introduced on the level of software architecture.