Search Constraints

Start Over
Filtering by: Creator Wasowski, Ronald Remove constraint Creator: Wasowski, Ronald Academic Affiliation Electrical Engineering and Computer Science Remove constraint Academic Affiliation: Electrical Engineering and Computer Science

Search Results

  • The choice calculus : a formal language of variation

    Creator:
    Walkingshaw, Eric
    Abstract:
    In this thesis I present the choice calculus, a formal language for representing variation in software and other structured artifacts. The choice calculus is intended to support variation research in a way similar to the lambda calculus in programming language research. Specifically, it provides a simple formal basis for presenting,...
    Resource Type:
    Dissertation

  • Supporting merge comprehension when resolving merge conflicts

    Creator:
    Nelson, Nicholas
    Abstract:
    Distributed version control allows developers to manage software evolution among distributed development teams. But it does not eliminate all consistency and concurrency issues, and instead introduces additional complexity when merging code. And resolving merge conflicts is nontrivial when automated merging fails. In such cases, developers are forced to inspect the...
    Resource Type:
    Dissertation