Systems Tableau is suggested as a convenient tool for the
integration of the three phases of systems theory: the synthesis of
a model from the analysis of a system; the evaluation of the model;
and the decision-making process for the design and control of the
resulting system.
From a basic...
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,...