DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
Accession Number:
ADA279657
Title:
Software Merge: Semantics of Combining Changes to Programs
Descriptive Note:
Interim rept.
Corporate Author:
NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
Report Date:
1993-12-01
Pagination or Media Count:
33.0
Abstract:
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.
Distribution Statement:
APPROVED FOR PUBLIC RELEASE