| Alternate document: Details SPQR: Flexible Automated Design Pattern Extraction From Source Code (03) Jason McC. Smith, David Stotts |
Jason McC. Smith, David Stotts  Home/Search
Context Related
| unc.edu/pub/publications/t...03007.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: unc.edu/cgibin...it=Start+Search (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Previous approaches to discovering design patterns in source code have su#ered from a need to enumerate static descriptions of structural and behavioural relationships, resulting in a finite library of variations on pattern implementation. Our approach, System for Pattern Query and Recognition, or SPQR, di#ers in that we do not seek statically to encode each pattern and each variant that we wish to find. Rather, we encode in a formal denotational semantics a small number of fundamental OO... (Update)
Context of citations to this paper: More
...element that is under scrutiny, reducing the need for extended, and generally recursive, analysis for each element when needed. See [27] for a formal treatment of the # calculus and its definition. Informally, the reliance operator has three forms: a method invocation...
Cited by: More
SPQR: Flexible Automated Design Pattern Extraction From Source.. - Smith, Stotts (2003) (Correct)
Similar documents (at the sentence level):
38.0%: Elemental Design Patterns and the ρ-calculus: Foundations.. - Smith, Stotts (2003) (Correct)
36.1%: Elemental Design Patterns - A Link Between Architecture and.. - Smith, Stotts (2002) (Correct)
27.8%: Elemental Design Patterns: A Logical Inference System and.. - Smith, Stotts (Correct)
Active bibliography (related documents): More All
0.3: Measuring Aspect Cohesion - Zhao, Xu (2004) (Correct)
0.2: A Critique of Cohesion Measures in the Object-Oriented Paradigm - Gupta (1997) (Correct)
0.2: Refactoring: Current Research and Future Trends - Mens, Demeyer, Bois.. (2003) (Correct)
Similar documents based on text: More All
0.3: Federating Programs Artfully with DeCo - Herington, Stotts (2003) (Correct)
0.3: An Orthogonal Taxonomy for Hyperlink Anchor Generation in.. - Smith, Stotts, Kum (2000) (Correct)
0.2: Distributed Pair Programming: Empirical Studies.. - Baheti, Williams, .. (2002) (Correct)
BibTeX entry: (Update)
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. http://citeseer.ist.psu.edu/smith03spqr.html More
@misc{ smith03spqr,
author = "J. Smith and D. Stotts",
title = "Spqr: Use of a first-order theorem prover for flexibly finding design patterns
in source code",
text = "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.",
year = "2003",
url = "citeseer.ist.psu.edu/smith03spqr.html" }
Citations (may not include all citations):245 Refactoring: Improving the Design of Existing Code (context) - Fowler - 1999
241 A metrics suite for object oriented design (context) - Chidamber, Kemerer - 1994
224 Design Patterns for Object-Oriented Software Development (context) - Pree - 1994
91 and John Vlissides (context) - Gamma, Helm et al. - 1995
60 Emerald: A general-purpose programming language - Jul, Raj et al. - 1991
56 Tool support for object-oriented patterns - Florijn, Meijers et al. - 1997
47 Creating abstract superclasses by refactoring (context) - Opdyke, Johnson - 1993
39 Design patterns as language constructs - Bosch - 1998
35 Automatic inheritance hierarchy restructuring and method ref.. - Moore - 1996
34 Design reverse-engineering and automated design pattern dete.. (context) - Brown - 2000
33 Technical Report TR - Chambers, language et al. - 1993
32 Composite design patterns - Riehle - 1997
29 Relationships between design patterns - Zimmer - 1995
28 A unified framework for cohesion measurement in object-orien.. - Briand, Daly - 1997
28 Slice based metrics for estimating cohesion - Ott, erey et al. - 1993
26 Measuring coupling and cohesion in object-oriented systems (context) - Hitz, Montazeri - 1914
22 Smalltalk Best Practice Patterns (context) - Beck - 1997
22 Finding refactoring via change metrics - Demeyer, Ducasse et al. - 2000
18 Architecture-oriented visualization - Sefika, Sane et al. - 1996
17 An inductive method for discovering design patterns from obj.. - Shull, Melo et al. - 1996
17 Precise Specification of Design Patterns and Tool Support in.. (context) - Eden - 1999
15 Using slice profiles and metrics during software maintenance - Ott - 1992
10 ACM Transactions on Software Engineering and Methodology (context) - Egyed, of - 2002
10 Springer-Verlag New York (context) - Abadi, Cardelli et al. - 1996
9 Using design cohesion to visualize (context) - Kang, Bieman - 1996
8 Complex associations: abstractions in object-oriented modeli.. - Kristensen - 1994
7 Object-oriented Programming in the BETA language (context) - Madsen, Mller-Pederson et al. - 1993
7 The abstract class pattern (context) - Woolf - 1998
5 NET Language Reference (context) - Corporation, Visual - 2002
5 The object recursion pattern - Woolf - 1998
5 What should we teach (context) - Goldberg - 1995
5 An examination of the behavior of slice-based cohesion measu.. - Karstu
5 Pattern-Oriented System Architecture: A System of Patterns (context) - Buschmann, Meunier et al. - 1996
5 Automated Application of Design Patterns: A Refactoring Appr.. (context) - Cinneide - 2001
4 Elemental design patterns: A link between architecture and o.. - McC, David - 2002
4 Notes on the Synthesis of Form (context) - Alexander - 1964
3 Design-level cohesion measures: Derivation (context) - Kang, Bieman - 1996
2 An elemental design pattern catalog (context) - McC - 2002
2 Program restructuring to introduce design patterns - Cinneide, Nixon - 1998
2 coupling and cohesion of object-oriented software systems (context) - Samadzadeh, Khan - 1994
Documents on the same site (http://www.cs.unc.edu/cgi-bin/compServ/techrep/make.files.cgi?year=allyears&Submit=Start+Search): More
Real-Time Avatar Construction Using Shape Tape - Naik (2002) (Correct)
Elemental Design Patterns: A Logical Inference System and.. - Smith, Stotts (Correct)
Fast and Simple Occlusion Culling using.. - Hillesland.. (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC