Issue No. 06 - June (1992 vol. 18)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.142870
<p>The design process that spans the gap between the requirements acquisition process and the implementation process, in which the basic architecture of a system is defined, and functions are allocated to software, hardware, and human agents. is studied. The authors call this process composite system design. The goal is an interactive model of composite system design incorporating deficiency-driven design, formal analysis, incremental design and rationalization, and design reuse. They discuss knowledge representations and reasoning techniques that support these goals for the product (composite system) that they are designing, and for the design process. To evaluate the model, the authors report on its use to reconstruct the design of two existing composite systems rationally.</p>
composite systems; requirements acquisition; implementation process; human agents; deficiency-driven design; formal analysis; incremental design; rationalization; design reuse; knowledge representations; reasoning techniques; formal specification; inference mechanisms; knowledge representation; software prototyping; software reusability
B. Helm and S. Fickas, "Knowledge Representation and Reasoning in the Design of Composite Systems," in IEEE Transactions on Software Engineering, vol. 18, no. , pp. 470-482, 1992.