Software merge
Subtitle: semantics of combining changes to programs¹
By: by Valdis Berzins
Contributors: Naval Postgraduate School (U.S.). Dept. of Computer Science
Publisher: Naval Postgraduate School; Available from National Technical Information Service
Published: 1993
Place of publication: Monterey, Calif; Springfield, Va
Language: eng
Number of pages: 29
Subjects: MODIFICATION; SEMANTICS; SOFTWARE ENGINEERING; ASSIMILATION
Other titles: NPS-CS-93-011.
Description: We present a language-independent semantic model of the process of combining changes to      programs. This model extends the domains used in denotational semantics (complete partial      orders) to Boolean algebras, and represents incompatible modifications as well as      compatible extensions. The model is used to define the intended semantics of change      merging operations on programs and to establish some general properties of software      merging. We determine conditions under which changes to subprograms of a software      system can be merged independently and illustrate cases where this is not possible.      Software change merging, Semantics, Domains, Software maintenance.
Notes: Cover title.

"NPS-CS-93-011."

"December 1993."

AD A279-657.

Includes bibliographical references (p. 27-29).

aq/aq cc:9116 03/27/97.