Making components contract aware (original) (raw)
Related papers
Runtime Contracts Checker: Increasing Robustness of Component-Based Software Systems
IOP Conference Series: Materials Science and Engineering
Reducing component contract overhead by offloading enforcement
Proceedings of the 2009 Workshop on Component-Based High Performance Computing - CBHPC '09, 2009
The SEESCOA Composer Tool: Using Contracts for Component Composition and Run-Time Monitoring
A Flexible Strategy for Embedding and Configuring Run-Time Contract Checks in .Net Components
International Journal of Software Engineering and Knowledge Engineering, 2007
Systematic Development of Trustworthy Component Systems
Lecture Notes in Computer Science, 2009
Extra-Functional Contract Support in Components
Lecture Notes in Computer Science, 2004
Toward multi-language, multi-component interface contract enforcement
2009
Integrity management in component based systems
Proceedings. 30th Euromicro Conference, 2004., 2004
Contract Aware Components, 10 years after
Electronic Proceedings in Theoretical Computer Science, 2010
Viola: A Verifier For Interoperating Components
2005
Multilevel Contracts for Trusted Components
Electronic Proceedings in Theoretical Computer Science, 2010
Supporting Tools for Designing-By-Contract in Component-Based Applications
Lecture Notes in Computer Science, 2005
Software Engineering Conference, …, 2001
04511 Abstracts Collection--Architecting Systems with Trustworthy Components}
Ralf Reussner, Clemens Szyperski
Architecting Systems …
QoS-CARE: A Reliable System for Preserving QoS Contracts through Dynamic Reconfiguration
A Framework for QoS Contract Negotiation in Component-Based Applications
Lecture Notes in Computer Science, 2008
CoConES: An Approach for Components and Contracts in Embedded Systems
Yolande Berbers, Yves Vandewoude
Supporting Behavioral Contracts for COM Components
Contracts and quality attributes of software components
2003
Serious Specification for Composing Components
Component-Based Software Engineering, 2003
A framework for detecting interface violations in component-based software
1998
Runtime enforcement for component-based systems
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Component Service Promotion: Contracts, Mechanisms and Safety
Lecture Notes in Computer Science, 2012
Contract-Oriented Component Software De-velopment
2003
Customizing Component-Based Architectures by Contract
Lecture Notes in Computer Science, 2004
Flexible Component Contracts for Local Resource Awareness
Design-by-Contract for Reusable Components and Realizable Architectures
Components, objects, and contracts
European Software Engineering Conference, 2007