Search Constraints

Start Over
Filtering by: Creator Wasowski, Ronald Remove constraint Creator: Wasowski, Ronald Committee Member Niess, Maggie Remove constraint Committee Member: Niess, Maggie

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