Automatically Combining Changes to Software Systems

Abstract

This project has been working to establish a theoretically sound approach to managing changes to software systems via automated methods for combining changes with provable guarantees of correctness. Given a base version of a software system and two different enhanced versions we are seeking to automatically construct a combined version that incorporates both of the enhancements to the base version. Combining changes to a system is a central problem in many software development and maintenance activities, particularly in contexts where several enhancements are developed concurrently.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1995
Accession Number
ADA301709

Entities

People

  • Valdis A. Berzins

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Human Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Control Systems
  • Engineering
  • Engineers
  • Guarantees
  • Language
  • Maintenance
  • Models
  • Personal Information Managers
  • Product Prototyping
  • Prototypes
  • Software Development
  • Software Prototyping

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computer Science.
  • Operations Research
  • Theoretical Analysis.