Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Assessing software libraries by browsing similar classes, functions and relationships
Proceedings of the 21st international conference on Software engineering
Algebraic Semantics of Imperative Programs
Algebraic Semantics of Imperative Programs
Algebraic Foundations of Systems Specification
Algebraic Foundations of Systems Specification
Hi-index | 0.00 |
In component based software development, we often use glue codes in order to fill the gaps between requirements and components. However, excessive use of glue codes might reduce the productivity. The paper proposes a component combination without glue codes, which can enhance the functionality of a single component, and can be regarded as a unit of reuse. Such component combination is referred to as a virtual component. For accurate evaluation of virtual component adaptability, both the requirements and the components are expressed in the form of algebraic specifications. A term, which is one of the basic elements in algebraic specifications, represents a virtual component in this paper. Virtual component adaptability is evaluated by substituting the terms in the requirement specifications.