Theses and Dissertations

Vineet Chadha

Issuing Body

Mississippi State University

Advisor

Dampier, David

Committee Member

Little, R. Rainey

Committee Member

Philip, Thomas

Date of Degree

5-11-2002

Document Type

Graduate Thesis - Open Access

Major

Computer Science

Degree Name

Master of Science

College

College of Engineering

Department

Department of Computer Science

Abstract

Maintaining any software is difficult. Whenever an evolutionary change is made to the base version of a program and the new version of the program is created, changes made to the base version of the software must be made to the new version. The answer is to build the software initially with the knowledge that it will change and that the base version will evolve. In other words, change-merging of software is a possible solution. All the work in this area has been done on program integration, change-merging of PSDL programs and software prototypes. The present work explores the possibility of combining the results of two independent updates of an abstract data type into a merged version that is both correct and safe. This report describes a developing theory for semantics-based change-merging of abstract data types.

URI

https://hdl.handle.net/11668/20579

Comments

abstract data types||semantics-based

Download

Share

COinS