Formal contracts: Enabling component composition

Concurrent Systems Engineering Series

Volumn 61, Issue , 2003, Pages 185-197

  Boosten, Marcel ^a  

^a PHILIPS HEALTHCARE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; FAULT TOLERANT COMPUTER SYSTEMS; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; PROGRAM DEBUGGING;

FORMAL CONTRACTS; INTEGRATION FAULTS; INTERFACE DEFINITION LANGUAGE; SOFTWARE CONSTRUCT; STATE MACHINE;

SOFTWARE ENGINEERING;

EID: 0141732215     PISSN: 13837575     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (9)

1. Tim Trew. Demystifying Design for Testability. Philips Software Conference June 2002.
2. Tim Trew. The aims of Integration Testing. PRL Tech. Note 3922. November 1999.
3. Tim Trew. Software Component Composition: Still 'Plug & Pray'? Philips Software Conference 2001.
4. Tim Trew. Testability of Component Based Software: Mastering Component Interaction. PRL Int. Note
5. Tom Locke. The Broken Promises of OO, And How We Might Do Better. Slides presented during one of the SIG evenings at the CPA 2000 conference.
6. Peter Welch. Java Threads in the light of occam/CSP. WoTUG-21. IOS Press, 2000. ISBN 90-5199-391-9
7. Hans Jonkers. DVP2-API: Structure and Specification. Philips Software Conference June 2002.
8. Bertrand Meyer. Object Oriented Software Construction. Prentice Hall, 1997. ISBN 0-13-629155-4
9. E. Gamma et al. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, 1995.