Modularity analysis of logical design models

Proceedings - 21st IEEE/ACM International Conference on Automated Software Engineering, ASE 2006

Volumn , Issue , 2006, Pages 91-100

  Cai, Yuanfang ^a   Sullivan, Kevin J ^a  

^a University of Virginia   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER AIDED SOFTWARE ENGINEERING; FORMAL LOGIC; KNOWLEDGE REPRESENTATION; LEARNING ALGORITHMS; SOFTWARE ARCHITECTURE;

DIVIDE-AND-CONQUER ALGORITHM; ECONOMIC IMPLICATIONS; SIMON TOOL;

SOFTWARE DESIGN;

EID: 34547493165     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2006.53     Document Type: Conference Paper

References (21)

1. S. Baase and A. V. Gelder. Computer Algorithms: Introduction to Design and Analysis (3rd Edition). Addison Wesley, 3rd edition, Nov 1999.
2. C. Y. Baldwin and K. B. Clark. Design Rules, Vol. 1: The Power of Modularity. The MIT Press, 2000.
3. Y. Cai. Modularity in Design: Formal Modeling and Automated Analysis. PhD thesis, University of Virginia, Aug. 2006. (forthcoming).
4. Y. Cai and K. Sullivan. Simon: A tool for logical design space modeling and analysis. In 20th IEEE/ACM International Conference on Automated Software Engineering, Long Beach, California, USA, Nov 2005.
5. B. Y. Choueiry and G. Noubir. A disjunctive decomposition scheme for discrete constraint satisfaction problems using complete no-good sets. In Knowledge Systems Laboratory, 1998.
6. R. Dechter and J. Pearl. Tree clustering for constraint networks. In Artificial Intelligence 38:353-366, 1989.
7. E. Freuder and P. D. Hubbe. A disjunctive decomposition control schema for constraint satisfaction. In Principles and Practice of Constraint Programming, 1st International Workshop, PPCP'93, Newport, Rhode Island, 1993.
8. D. Garlan and M. Shaw. An introduction to software architecture. In Advances in Software Engineering and Knowledge Engineering, volume 1, pages 1-40. World Scientific Publishing Company, 1993.
9. D. Hutchens and R. Basili. System structure analysis: Clustering with data bindings. In IEEE Transactions on Software Engineering, 11:749-757, Aug. 1995.
10. D. Jackson. Software Abstractions : Logic, Language, and Analysis. The MIT Press, April 2006.
11. A commercial product, http://www.lattix.com/.
12. J. Liebeherr and T. K. Beam. Hypercast: A protocol for maintaining multicast group members in a logical hypercube topology. In Networked Group Communication, pages 72-89, 1999.
13. C. V. Lopes and S. K. Bajracharya. An analysis of modularity in aspect oriented design. In AOSD '05, pages 15-26, New York, NY, USA, 2005. ACM Press.
14. A. MacCormack, J. Rusnak, and C. Baldwin. Exploring the structure of complex software designs: An empirical study of open source and proprietary code. Harvard Business School Working Paper Number 05-016.
15. A. Mackworth. Consistency in networks of relations. In Artificial Intelligence, 8, pages 99-118, 1977.
16. S. Mancoridis, B. Mitchell, C. Rorres, Y. Chen, and E. Gansner. Using automatic clustering to produce high-level system organizations of source code. In In Proc. 6th Intl. Workshop on Program Comprehension, 1998.
17. D. L. Parnas. On the criteria to be used in decomposing systems into modules. Communications of the ACM, 15(12): 1053-8, Dec. 1972.
18. N. Sangal, E. Jordan, V. Sinha, and D. Jackson. Using dependency models to manage complex software architecture. In OOPLSA, 2005.
19. R. Schwanke. An intelligent tool for re-engineering software modularity. In In Proc. 13th Intl. Conf. Software Engineering., 1991.
20. K. Sullivan, Y. Cai, B. Hallen, and W. G. Griswold. The structure and value of modularity in software design. SIG-SOFT Software Engineering Notes, 26(5):99-108, Sept. 2001.
21. K. Sullivan, W. Griswold, Y. Song, and Y. C. et al. Information hiding interfaces for aspect-oriented design. In ESEC/FSE '05, Sept 2005.