Software Merge: Models and Methods for Combining Changes to Programs
MetadataShow full item record
We outline a model for programs and data and present a formal definition of an ideal change merging operation. This model is used to develop a new semantically based method for combining changes to programs. We also evaluate the appropriateness of the change merging operation and examine some circumstances where the specifications of a program as well as the implementations can be used to guide the change merging process in cases where the implementations conflict but the specifications do not.
(Received November 8, 1990, Revised February 25, 1991)
Showing items related by title, author, creator and subject.
Stokes, John E., Jr. (Monterey, California: Naval Postgraduate School, 2015-12);Security assistance is a key element in the formulation of foreign policy in the United States. The Department of State, the Department of Defense, and other agencies are involved in planning and managing the programs. ...
Budgetary Consequences of Defense Expenditures in Pakistan: Short-Run Impacts and Long-Run Adjustments Fredericksen, P.C.; Looney, R.E. (1994-02);In the last twenty years, there has been a growing interest in quantifying the 'guns versus butter' tradeoff facing developing countries. This article examines Pakistan's military expenditures between 1973 and 1986 and ...
Army Acquisition and Contracting Personnel requirements: how are the Army's current recruitment, development and retention programs meeting current and future personnel requirements? Allen, Karen E.; Doran, James W.; Westbrook, Bonnie L. (Monterey, California. Naval Postgraduate School, 2011-09);The Defense (DoD) is realizing a current and expected future shortage in experienced acquisition and contracting personnel due, in part, to a hiring freeze in the middle 1990s and the number of personnel that are eligible ...