Elemental Design Patterns and Compositional Detection Methods for Object Oriented Source Code (2006)
BibTeX
@MISC{Smith06elementaldesign,
author = {Jason Mcc Smith and David Stotts},
title = {Elemental Design Patterns and Compositional Detection Methods for Object Oriented Source Code},
year = {2006}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The System for Pattern Query and Recognition, or SPQR, is an automated framework for analysis of software systems in the small or the large, and detect instances of known programming concepts in a flexible yet formal manner. These concepts, combined in well-defined ways to form abstractions, as found in the design patterns literature, then lead to the possible automated detection of design patterns directly from source code and other design artifacts. Our previous publications [34, 35, 36] have described SPQR in detail, as well as its successful application to a number of software systems. We will describe the three major portions of SPQR briefly, and use it to facilitate a discussion of the underlying formalizations of design patterns with a concrete example, from source code to completed results. 1
