The design and implementation of hierarchical software systems with reusable components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Component-based software engineering: putting the pieces together
Component-based software engineering: putting the pieces together
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Using Formal Methods to Construct a Software Component Library
ESEC '93 Proceedings of the 4th European Software Engineering Conference on Software Engineering
Formalizing and Automating Component Reuse
ICTAI '97 Proceedings of the 9th International Conference on Tools with Artificial Intelligence
Analysis of Components for Generalization using Multidimensional Scaling
Fundamenta Informaticae
A communication infrastructure to ease the development of mobile collaborative applications
Journal of Network and Computer Applications
Analysis of Components for Generalization using Multidimensional Scaling
Fundamenta Informaticae
Hi-index | 0.00 |
Specification reuse is more promising than code reuse since the formal semantics makes it possible for tools to understand the reusable components and ensures their correctness. One method for enhancing the reusability of existing components is generalization which creates generic components by parameterizing specific ones. Combining formal specifications and reusable components is a promising way to solve the software crisis.Component generalization is the abstraction of an auxiliary part of a specification into a more general parameter. Therefore, a major difficulty during the generalization is determining the appropriate level of abstraction (or generality). In this paper, through a simple example, we present the syntactic and semantic generalization algorithms based on algebraic specifications, and illustrate how to control the level of abstraction in generic components using the categorized constructors.