Enhanced component interfaces to support dynamic adaption and extension
Author:
- R.H. ReussnerRRR.H. Reussner
- 29 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Specification matching of software componentsACM Transactions on Software Engineering and Methodology, 1997
- Protocol specifications and component adaptorsACM Transactions on Programming Languages and Systems, 1997
- Specifying distributed software architectures1995
- A behavioral notion of subtypingACM Transactions on Programming Languages and Systems, 1994
- Regular types for active objectsACM SIGPLAN Notices, 1993
- Applying 'design by contract'Computer, 1992
- A Calculus of Communicating Systems1980
- Superdeterministic DPDAs: The method of accepting does affect decision problemsJournal of Computer and System Sciences, 1979
- Deterministic one-counter automataJournal of Computer and System Sciences, 1975
- An axiomatic basis for computer programmingCommunications of the ACM, 1969