By Topic

Incremental elicitation and formalization of user requirements through rapid prototyping via software transformations

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Chia-Chu Chiang ; Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA ; J. E. Urban

Rapid prototyping via software transformations provides a potentially economical way to construct a prototype both quickly and cheaply. User requirements and specifications can be incrementally elicited and formalized through rapid prototyping via software transformations. A formal specification language called TUG (Tree Unified with Grammar) is used not only as a language for specification but also as a language for rapid prototyping via software transformations. The abstract execution capability of the language allows specifiers to formalize the user requirements incrementally. A framework for rapid prototyping via software transformations is proposed to explain how a prototype for evolution is constructed and managed. A mechanism using change request scripts (CRSs) is used to keep track of the specification changes and make timely updates to the prototype. A telegram analysis problem, as a case study, is given to illustrate how an incomplete and inexact specification is refined successively into a more complete and precise one using the approach

Published in:

Computer Software and Applications Conference, 1996. COMPSAC '96., Proceedings of 20th International

Date of Conference:

21-23 Aug 1996