An Evolution Model for Software Modularity Assessment
WoSQ '07 Proceedings of the 5th International Workshop on Software Quality
Automatic modularity conformance checking
Proceedings of the 30th international conference on Software engineering
Coordination implications of software architecture in a global software development project
Journal of Systems and Software
Towards service-based approach: building huge software architectural design
International Journal of Communication Networks and Distributed Systems
Aspect-aware operating system development
Proceedings of the tenth international conference on Aspect-oriented software development
Detecting software modularity violations
Proceedings of the 33rd International Conference on Software Engineering
Extending alloy with partial instances
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
A formal model for automated software modularity and evolvability analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Leveraging design rules to improve software architecture recovery
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
Hi-index | 0.01 |
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectural modeling and analysis approach, and automated tool support, for improved reasoning in these terms. However, the complexity of constraint satisfaction limited the size of models that we could analyze. The contribution of this paper is a more scalable approach. We exploit the dominance relations in our models to guide a divide-andconquer algorithm, which we have implemented it in our Simon tool. We evaluate its performance in case studies. The approach reduced the time needed to analyze small but representative models from hours to seconds. This work appears to make our modeling and analysis approach practical for research on the evolvability and economic properties of software design architectures.