A model for merging software prototypes
By: David A. Dampier, Luqi
Contributors: Luqi; Naval Postgraduate School (U.S.). Dept. of Computer Science
Publisher: Naval Postgraduate School; Available from National Technical Information Service
Published: 1992
Place of publication: Monterey, Calif; Springfield, Va
Language: eng
Number of pages: 16
Subjects: PROTOTYPES; COMPUTER PROGRAM VERIFICATION; ASSIMILATION; SOFTWARE ENGINEERING; COMPUTER PROGRAMS
Other titles: NPS-CS-92-014.
Description: As software becomes more complex, more sophisticated development and maintenance      methods are needed to ensure software quality. Computer Aided Prototyping achieves this via      quickly built and iteratively updated prototypes of the intended system. This process requires      automated support for keeping track of many independent changes and for exploring different      combinations of alternative changes and refinements. This paper formalizes the update/change      merging process and extends the idea to multiple changes to the same base prototype.      Applications of this technology include: automatic updating of different versions of existing      software with changes made to the baseline version of the system; integrating changes made      by different design teams during development; and checking consistency after integration of      seemingly disjoint changes to the same software system.... Software, Automation, Computer      aided prototyping, Maintenance, Formal models, Software engineering, Software merging,      Change integration, Case tools.
Notes: Cover title.

"NPS-CS-92-014."

AD A258 781.

Includes bibliographical references (p. 14-15)

aq/  /aq cc:9116 10/20/97