A calculus of mobile processes, II
Information and Computation
Composition Validation and Subjectivity in GenVoca Generators
IEEE Transactions on Software Engineering
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
The Book of Traces
A knowledge-based COTS-aware requirements engineering approach
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Integrating independent components with on-demand remodularization
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
Architectural Mismatch: Why Reuse Is So Hard
IEEE Software
User Participation-based Software Certification
EUROVAV '99 Collected papers from the 5th European Symposium on Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice
Interface Theories for Component-Based Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Components, Contracts, and Connectors for the Unified Modelling Language UML
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
ISpec: Towards Practical and Sound Interface Specifications
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Software factories: assembling applications with patterns, models, frameworks and tools
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
| Hi-index | 0.00 |
In this paper we define a formal framework for describing components and gaps or holes (where components can be plugged in) This is based on the theory of interface automata The main focus is to define a component partially satisfying the requirements of a hole A partial plug-in of a hole will result in other holes The definition of a partial plug-in does not result in a unique set of holes, i.e., the resulting holes can have different properties We define an software engineering process which uses the formal framework to complete the component selection and insertion process The process is defined in terms of the possible interactions between a component vendor and a customer seeking a component.