Software Design Spaces: Logical Modeling and Formal Dependence Analysis

Yuanfang Cai & Kevin Sullivan
We lack a useful, formal theory of modularity in abstract software design. A missing key is a framework for the ab- stract representation of software design spaces that sup- ports analysis of design decision coupling structures. We contribute such a framework. We represent design spaces as constraint networks and develop a concept of design de- cision coupling based on the minimal change sets of a vari- able. This work supports derivation, from logical models, of...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.