Journal article
A Formal Model for Automated Software Modularity and Evolvability Analysis
ACM transactions on software engineering and methodology, v 21(4), pp 1-29
01 Jan 2012
Abstract
Neither the nature of modularity in software design, characterized as a property of the structure of dependencies among design decisions, or its economic value are adequately well understood. One basic problem is that we do not even have a sufficiently clear definition of what it means for one design decision to depend on another. The main contribution of this work is one possible mathematically precise definition of dependency based on an augmented constraint network model. The model provides an end-to-end account of the connection between modularity and its value in terms of options to make adaptive changes in uncertain and changing design spaces. We demonstrate the validity and theoretical utility of the model, showing that it is consistent with, and provides new insights into, several previously published results in design theory.
Metrics
Details
- Title
- A Formal Model for Automated Software Modularity and Evolvability Analysis
- Creators
- Yuanfang Cai - Drexel UniversityKevin Sullivan - University of Virginia
- Publication Details
- ACM transactions on software engineering and methodology, v 21(4), pp 1-29
- Publisher
- Assoc Computing Machinery
- Number of pages
- 29
- Grant note
- CCF-1065189; CCF-0916891; DUE-0837665; CCF-0438898; CCF-0613840; CCF-1052874 / National Science Foundation; National Science Foundation (NSF)
- Resource Type
- Journal article
- Language
- English
- Academic Unit
- Computer Science
- Web of Science ID
- WOS:000312826100002
- Scopus ID
- 2-s2.0-84873660335
- Other Identifier
- 991019167531804721
InCites Highlights
Data related to this publication, from InCites Benchmarking & Analytics tool:
- Collaboration types
- Domestic collaboration
- Web of Science research areas
- Computer Science, Software Engineering