@inproceedings{d21073ca66194462919b476cc7b8ae32,
title = "A specification-based software construction framework for reuse",
abstract = "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{\textquoteright}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 highlevel 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.",
author = "Jing Liu and Huaikou Miao and Xiaolei Gao",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2002.; 4th International Conference on Formal Engineering Methods, ICFEM 2002 ; Conference date: 21-10-2002 Through 25-10-2002",
year = "2002",
doi = "10.1007/3-540-36103-0\_9",
language = "英语",
isbn = "9783540000297",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "69--79",
editor = "Chris George and Huaikou Miao",
booktitle = "Formal Methods and Software Engineering - 4th International Conference on Formal Engineering Methods, ICFEM 2002, Proceedings",
address = "德国",
}