A contract-based component model for embedded systems
- 23 December 2004
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Adding roles to CORBA objectsIEEE Transactions on Software Engineering, 2003
- A survey of architecture description languagesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A Formal Composition and Interaction Model for a Web Component PlatformElectronic Notes in Theoretical Computer Science, 2002
- A Component Model for Field DevicesLecture Notes in Computer Science, 2002
- Compatibility and inheritance in software architecturesScience of Computer Programming, 2001
- The Koala component model for consumer electronics softwareComputer, 2000
- Making components contract awareComputer, 1999
- Quality-of-service specification in distributed object systemsDistributed Systems Engineering, 1998
- Design of dynamically reconfigurable real-time software using port-based objectsIEEE Transactions on Software Engineering, 1997
- A formal basis for architectural connectionACM Transactions on Software Engineering and Methodology, 1997