The design and implementation of hierarchical software systems with reusable components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formalizing style to understand descriptions of software architecture
ACM Transactions on Software Engineering and Methodology (TOSEM)
On the criteria to be used in decomposing systems into modules
Communications of the ACM
The structure and value of modularity in software design
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems
Software Change Impact Analysis
Software Change Impact Analysis
Design Rules: The Power of Modularity Volume 1
Design Rules: The Power of Modularity Volume 1
Prospects for an Engineering Discipline of Software
IEEE Software
Aspect-Oriented Programming of Sparse Matrix Code
ISCOPE '97 Proceedings of the Scientific Computing in Object-Oriented Parallel Environments
HyperCast: A Protocol for Maintaining Multicast Group Members in a Logical Hypercube Topology
NGC '99 Proceedings of the First International COST264 Workshop on Networked Group Communication
An analysis of modularity in aspect oriented design
Proceedings of the 4th international conference on Aspect-oriented software development
Information hiding interfaces for aspect-oriented design
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Using dependency models to manage complex software architecture
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Simon: modeling and analysis of design space structures
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Modularity Analysis of Logical Design Models
ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Modularity in design: formal modeling and automated analysis
Modularity in design: formal modeling and automated analysis
Designing Software for Ease of Extension and Contraction
IEEE Transactions on Software Engineering
A framework and tool supports for testing modularity of software design
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Automatic modularity conformance checking
Proceedings of the 30th international conference on Software engineering
Software Architecture: Foundations, Theory, and Practice
Software Architecture: Foundations, Theory, and Practice
Improving the Efficiency of Dependency Analysis in Logical Decision Models
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Design Rule Hierarchies and Parallelism in Software Development Tasks
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Coordination implications of software architecture in a global software development project
Journal of Systems and Software
Detecting software modularity violations
Proceedings of the 33rd International Conference on Software Engineering
Application-layer multicasting with Delaunay triangulation overlays
IEEE Journal on Selected Areas in Communications
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
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.