Modularity Analysis of Logical Design Models

@article{Cai2006ModularityAO,
  title={Modularity Analysis of Logical Design Models},
  author={Yuanfang Cai and Kevin J. Sullivan},
  journal={21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06)},
  year={2006},
  pages={91-102}
}
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… CONTINUE READING
Highly Cited
This paper has 73 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 46 extracted citations

Abstract State Machines, Alloy, B, VDM, and Z

Lecture Notes in Computer Science • 2012
View 10 Excerpts
Highly Influenced

A Case Study of the Effects of Architecture Debt on Software Evolution Effort

2018 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) • 2018
View 1 Excerpt

Speedoo: Prioritizing Performance Optimization Opportunities

2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) • 2018
View 1 Excerpt

Decoupling Level: A New Metric for Architectural Maintenance Complexity

2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE) • 2016
View 2 Excerpts

A Case Study in Locating the Architectural Roots of Technical Debt

2015 IEEE/ACM 37th IEEE International Conference on Software Engineering • 2015

73 Citations

051015'08'11'14'17
Citations per Year
Semantic Scholar estimates that this publication has 73 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 18 references

Simon: A tool for logical design space modeling and analysis

Y. Cai, K. Sullivan
In 20th IEEE/ACM International Conference on Automated Software Engineering, • 2005
View 9 Excerpts
Highly Influenced

Design Rules, Volume 1: The Power of Modularity [Book Review]

IEEE Annals of the History of Computing • 2001
View 12 Excerpts
Highly Influenced

The structure and value of modularity in software design

K. Sullivan, Y. Cai, B. Hallen, W. G. Griswold
SIG- SOFT Software Engineering Notes, • 2001
View 3 Excerpts

A disjunctive decomposition scheme for discrete constraint satisfaction problems using complete no-good sets

B. Y. Choueiry, G. Noubir
In Knowledge Systems Laboratory, • 1998
View 1 Excerpt

Similar Papers

Loading similar papers…