The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.12 - December (1991 vol.17)
pp: 1229-1240
ABSTRACT
<p>In this research in design automation, two views are employed as the requirements of a system-namely, the functional requirements and the operations concept. A requirement analyst uses data flow diagrams and system verification diagrams (SVDs) to represent the functional requirements and the operations concept, respectively. System Architect's Apprentice (SARA) is an environment-supported method for designing hardware and software systems. A knowledge-based system, called the design assistant, was built to help the system designer to transform requirements stated in one particular collection of design languages. The SVD requirement specification features and the SARA design models are reviewed. The knowledge-based tool for synthesizing a particular domain of SARA design from the requirements is described, and an example is given to illustrate this synthesis process. This example shows the rules used and how they are applied. An evaluation of the approach is given.</p>
INDEX TERMS
computer aided software engineering; software design automation; SARA design models; functional requirements; requirement analyst; data flow diagrams; system verification diagrams; System Architect's Apprentice; hardware; software; knowledge-based system; design assistant; design languages; SVD requirement specification; knowledge-based tool; diagrams; knowledge based systems; software tools; systems analysis
CITATION
K.-W.E. Lor, D.M. Berry, "Automatic Synthesis of SARA Design Models from System Requirements", IEEE Transactions on Software Engineering, vol.17, no. 12, pp. 1229-1240, December 1991, doi:10.1109/32.106984
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool