Theses and Dissertations
Now showing items 1-1 of 1
A formal method for semantics-based change-merging of software prototypes
(Monterey, California. Naval Postgraduate School, 1994-06)
This dissertation addresses the need for a formal method to support the merging of changes in independently developed versions of a prototype in a computer-aided rapid prototyping system. The goal is to provide the prototype ...