IEEE Transactions on Software Engineering
Artificial intelligence: applications in the future of software engineering
Artificial intelligence: applications in the future of software engineering
The T programming language: a dialect of LISP
The T programming language: a dialect of LISP
Journal of Systems and Software
Knowledge-based software design using design schemas
ICSE '87 Proceedings of the 9th international conference on Software Engineering
A multiple view paradigm for modeling and validation of real-time software systems
Edited papers presented at the 1st International Conference on Reliability and robustness of engineering software
An assistant for requirement-driven system design
An assistant for requirement-driven system design
Experience with ADAM synthesis system
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Rule-Based Design Methodology for Solving Control Problems
IEEE Transactions on Software Engineering
A design utility manager: the ADAM planning engine
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Current state of the SARA/IDEAS design environment
Proceedings of the second conference on Software development tools, techniques, and alternatives
Program design by informal English descriptions
Communications of the ACM
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Evaluation methods in SARA—the graph model simulator
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
The graph model of behavior simulator
Proceedings of the Symposium on Design Automation and Microprocessors
Structured Analysis and System Specification
Structured Analysis and System Specification
Classification of research efforts in requirements engineering
ACM Computing Surveys (CSUR)
A knowledge-based method for inferring semantic concepts from visual models of system behavior
ACM Transactions on Software Engineering and Methodology (TOSEM)
Knowledge-Based Automation of a Design Method for Concurrent Systems
IEEE Transactions on Software Engineering
Origins of Software Performance Engineering: Highlights and Outstanding Problems
Performance Engineering, State of the Art and Current Trends
Origins of Software Performance Engineering: Highlights and Outstanding Problems
Performance Engineering, State of the Art and Current Trends
Introduction to software performance engineering: origins and outstanding problems
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
| Hi-index | 0.00 |
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.