SPQR: Flexible automated design pattern extraction from source code

Proceedings - 18th IEEE International Conference on Automated Software Engineering, ASE 2003

Volumn , Issue , 2003, Pages 215-224

  McSmith, Jason C ^a   Stotts, David ^a  

^a UNIVERSITY OF NORTH CAROLINA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; CALCULATIONS; ENCODING (SYMBOLS); PATTERN RECOGNITION; SEMANTICS;

APPROACH SYSTEM; AUTOMATED APPROACH; AUTOMATED DESIGN; CODE ANALYSIS; DESIGN PATTERNS; PATTERN EXTRACTION; PATTERN IMPLEMENTATIONS; PATTERN QUERY; SOURCE CODES; THEOREM PROVERS;

COMPUTER PROGRAMMING LANGUAGES;

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

References (31)

1. M. Abadi and L. Cardelli. A Theory of Objects. Springer-Verlag New York, Inc., 1996.
2. C. W. Alexander. Notes on the Synthesis of Form. Oxford Univ Press, 1964. Fifteenth printing, 1999.
3. K. Beck. Smalltalk Best Practice Patterns. Prentice Hall, 1997.
4. J. Bosch. Design patterns as language constructs. Journal of Object Oriented Programming, 1(2):18-52, May 1998.
5. K. Brown. Design reverse-engineering and automated design pattern detection in smalltalk. Master's thesis, North Carolina State University, 2000.
6. F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal. Pattern-Oriented System Architecture: A System of Patterns. John Wiley & Sons, 1996.
7. J. Coplien. C++ idioms. In Proceedings of the Third European Conference on Pattern Languages of Programming and Computing, July 1998.
8. S. Demeyer, S. Ducasse, and O. Nierstrsz. Finding refactoring via change metrics. In Proceedings of the conference on Object-oriented programming, systems, languages, and applications, pages 166-177. ACM Press, nov 2000.
9. A. H. Eden. Precise Specification of Design Patterns and Tool Support in their Application. PhD thesis, Tel Aviv University, Tel Aviv, Israel, 2000.
10. A. Egyed. Automated abstraction of class diagrams. ACM Transactions on Software Engineering and Methodology, 11(4):449-491, Oct. 2002.
11. G. Florijn, M. Meijers, and P. van Winsen. Tool support for object-oriented patterns. In M. Askit and S. Matsuoka, editors, Proc. of the 11th European Conf. on Object Oriented Programming - ECOOP'97. Springer-Verlag, Berlin, 1997.
12. M. Fowler. Refactoring: Improving the Design of Existing Code. Addison-Wesley, 1999.
13. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison Wesley, 1995.
14. B. B. Kristensen. Complex associations: abstractions in object-oriented modeling. In Proc of the ninth annual conference on Object-oriented programming systems, language, and applications, pages 272-286. ACM Press, 1994.
15. S. Meyers. Effective C++. Addison-Wesley, 1992.
16. I. Moore. Automatic inheritance hierarchy restructuring and method refactoring. In Proc. of the eleventh annual conference on Object-oriented programming systems, languages, and applications, pages 235-250. ACM Press, 1996.
17. M. Ó Cinnéide. Automated Application of Design Patterns: A Refactoring Approach. Ph.D. dissertation, University of Dublin, Trinity College, 2001.
18. M. Ó Cinnéide and P. Nixon. Program restructuring to introduce design patterns. In Proceedings of the Workshop on Experiences in Object-Oriented Re-Engineering, European Conference on Object-Oriented Programming, Brussels, July 1998.
19. W. F. Opdyke and R. E. Johnson. Creating abstract super-classes by refactoring. In Proc. of the Conf. on 1993 ACM Computer Science, page 66, 1993. Feb 16-18, 1993.
20. W. Pree. Design Patterns for Object-Oriented Software Development. Addison-Wesley, 1994.
21. S. P. Reiss. Working with patterns and code. In Proc. of the 33rd Hawaii Intl Conf on System Sciences, jan 2000.
22. D. Riehle. Composite design patterns. In Proceedings of the 1997 ACM SIGPLAN conference on Object-oriented programming systems, languages and applications, pages 218-228. ACM Press, 1997.
23. M. Sefika, A. Sane, and R. H. Campbell. Architecture-oriented visualization. In Proc. of the eleventh annual conference on Object-oriented programming systems, languages, and applications, pages 389-405. ACM Press, 1996.
24. F. Shull, W. L. Melo, and V. R. Basili. An inductive method for discovering design patterns from object-oriented software systems. Technical Report CS-TR-3597, University of Maryland, 1996.
25. J. M. Smith. An elemental design pattern catalog. Technical Report TR-02-040, Univ. of North Carolina, 2002.
26. J. M. Smith and D. Stotts. Elemental design patterns: A formal semantics for composition of oo software architecture. In Proc. of 27th Annual IEEE/NASA Software Engineering Workshop, dec 2002.
27. J. M. Smith and D. Stotts. Elemental design patterns: A link between architecture and object semantics. Technical Report TR-02-011, Univ. of North Carolina, 2002.
28. J. M. Smith and D. Stotts. Spqr: Use of a first-order theorem prover for flexibly finding design patterns in source code. Technical Report TR-03-007, Univ. of North Carolina, 2003.
29. B. Woolf. The abstract class pattern. In N. Harrison, B. Foote, and H. Rohnert, editors, Pattern Languages of Program Design 4. Addison-Wesley, 1998.
30. B. Woolf. The object recursion pattern. In N. Harrison, B. Foote, and H. Rohnert, editors, Pattern Languages of Program Design 4. Addison-Wesley, 1998.
31. W. Zimmer. Relationships between design patterns. In J. O. Coplien and D. C. Schmidt, editors, Pattern Languages of Program Design, pages 345-364. Addison-Wesley, 1995.