Formal Models and Prototyping
Abstract
Rapid prototyping is a promising approach for formulating accurate software requirements, particularly for complex systems with hard real-time constraints. Computer aid is needed for realizing the potential benefits of this approach in practice, because the problems associated with software evolution arce greatly amplified in the context of iterative prototyping and exploratory design. Our computer-aided prototyping system CAPS provides automated support for many aspects of requirements analysis and software prototyping, including: (I) maintaining logical dependencies between assmnptions about needs of different groups, software requirements, and design decisions, (2) managing designn history, alternatives and dependencies, (3) planning, assigning and scheduling job assigments for teams of designers in the presence of uncertainty, (4) checking and propagating design constraints, (5) maintaining consistency between graphical and text views of a design, (G) constructing real-time schedules, (7) generating control code, and (8) retrieving and instantiating reusable software components. The principles and methods that make this possible and the practical application of the system are explained via examples.
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.Related items
Showing items related by title, author, creator and subject.
-
Rapid Software Prototyping
Luqi; Steigerwald, R. (1990);Rapid software prototyping is an iterative software development methodology aimed at improving the analysis, design, and development of proposed systems. This paper describes rapid prototyping at the system and 'software levels ... -
A language translator for a computer aided rapid prototyping system
Moffitt, Charlie Robert. (Monterey, California. Naval Postgraduate School, 1988);While the cost of computing hardware has decreased steadily, the cost of software design, development and, maintenance has increased. One approach to reduce the cost of software development is rapid prototyping. Further, ... -
The Role of Prototyping Languages in CASE
Luqi (World Scientific Publishing, 1991-06);Prototyping languages form a new category in the computer language family. They are different from the commonly familiar computer languages because they are used to support a higher level of automation at early phases of ...