NDLI: SPQR: flexible automated design pattern extraction from source code

Please wait, while we are loading the content...

An empirical study on groupware support for software inspection meetings

Fault localization with nearest neighbor queries

DeCo: a declarative coordination framework for scientific model federations

Debugging overconstrained declarative models using unsatisfiable cores

Aspectizing server-side distribution

What test oracle should i use for effective GUI testing?

On the automatic evolution of an OS kernel using temporal logic and AOP

A model-driven approach to non-functional analysis of software architectures

Detecting requirements interactions: a three-level framework

Analysis of inconsistency in graph-based viewpoints: a category-theoretic approach

Tool-assisted unit test selection based on operational violations

A programmable client-server model: robust extensibility via DSLs

Parallel breadth-first search LTL model-checking

Automating component adaptation for reuse

A type system for statically detecting spreadsheet errors

Extending diagnosis to debug programs with exceptions

Automating relative debugging

Deriving user interface requirements from densely interleaved scientific computing applications

A new structural coverage criterion for dynamic detection of program invariants

Specification and synthesis of hybrid automata for physics-based animation

Automated environment generation for software model checking

Model-based verification of web service compositions

Testing database transaction concurrency

SPQR: flexible automated design pattern extraction from source code

Generating design pattern detectors from pattern specifications

Communicating requirements using end-user GUI constructions with argumentation

Automatically inferring concern code from program investigation activities

Predicting fault prone modules by the Dempster-Shafer belief networks

Graph rewriting and transformation (GReAT): a solution for the model integrated computing (MIC) bottleneck

Semi-automatic fault localization and behavior verification for physical system simulation models

Visual specification of concurrent systems

Automatic generation of content management systems from EER-based specifications

VUML: a viewpoint oriented UML extension

Automated requirements-based generation of test cases for product families

An infrastructure to support meta-differencing and refactoring of source code

Visual constraint diagrams: runtime conformance checking of UML object models versus implementations

A pragmatic study of binary class relationships

The feature signatures of evolving programs

Test suite design for code generation tools

Theoretical foundations of updating systems

An incremental approach to task-specific information delivery in SE processes

Architecture style-based calculi for non-functional properties

Certifying measurement unit safety policy

Automated software testing using a metaheuristic technique based on tabu search

Model checking software requirement specifications using domain reduction abstraction

An approach for tracing and understanding asynchronous architectures

Refactoring C with conditional compilation

A Java component model for evolving software systems

Depiction and playout of multi-threaded program executions

Applying autobayes to the analysis of planetary nebulae images

Automation for exception freedom proofs

Overview of openmodel-based validation with partial information

SPQR: flexible automated design pattern extraction from source code

Content Provider	ACM Digital Library
Author	Stotts, David Smith, Jason McC.
Abstract	Previous automated approaches to discovering design patterns in source code have suffered 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, differs in that we do not seek statically to encode each variant of the patterns that we wish to find. Our system finds pattern variants that were not explicitly defined, but instead are inferred dynamically during code analysis by a theorem prover, providing practical tool support for software construction, comprehension, maintenance, and refactoring. We use a logical inference system to reveal large numbers of patterns and their variations from a small number of definitions by encoding in a formal denotational semantics a small number of fundamental OO concepts (elemental design patterns), encode the rules by which these concepts are combined to form patterns (reliance operators), and encode the structural/behavioral relationships among components of objects and classes (rho-calculus). A chain of fully automated tools provides a path from source code to revealed patterns. We describe our approach in this paper with a concrete example to drive the discussion, accompanied by formal treatment of the foundational topics.
Starting Page	215
Ending Page	224
Page Count	10
ISBN	0769520359
DOI	10.1109/ASE.2003.1240309
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2003-10-06
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in