Signature matching: a key to reuse
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Signature matching: a tool for using software libraries
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification matching of software components
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
The way of Z: practical programming with formal methods
The way of Z: practical programming with formal methods
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Efficient Specification-Based Component Retrieval
Automated Software Engineering
Reusing Software: Issues and Research Directions
IEEE Transactions on Software Engineering
Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Fuzzy concepts and formal methods: some illustrative examples
APSEC '00 Proceedings of the Seventh Asia-Pacific Software Engineering Conference
SCAF: A Simple Component Architecture Framework
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 33)
A Formalized Abstract Component Object Mode - Z-COM
TOOLS '00 Proceedings of the 36th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS-Asia'00)
| Hi-index | 0.00 |
Software reuse includes low-level components reuse, high-level components reuse and system architecture reuse. High-level components reuse and software architecture reuse are still limited to some domain specific models, while low-level components reuse is constrained by machine's retrieve ability. This paper proposes a mechanism that builds software in three levels, namely software system, high-level components and low-level components. Each level has a unique structure and organization manner. The focus of the paper is on the construction of high-level components and their matching and composition approaches. Design pattern is proposed for building generic high-level components with large number of alternatives. Once a pattern model of high-level component is constructed, it can be directly used or generalized. Design space incorporated with formal specification technology is introduced to not only precisely describe the relationship between high-level components but also easily analyze components matching and composing. The method is illustrated with a debugger example.