A Logical Interface Description Language for Components
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
DisCComp -- A Formal Model for Distributed C oncurrent Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Adaptation for Hierarchical Components and Services
Electronic Notes in Theoretical Computer Science (ENTCS)
An Approach to Modelling and Verification of Component Based Systems
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
An Algebraic Semantics for Contract-Based Software Components
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Modelling the CoCoME with DisCComp
The Common Component Modeling Example
MMSA: metamodel multimedia software architecture
Advances in Multimedia
Specifying software connectors
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
A perspective on component refinement
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Checking component composability
SC'06 Proceedings of the 5th international conference on Software Composition
| Hi-index | 0.00 |