Methods, systems, and computer program products for...

Details Methods, systems, and computer program products for... Methods, systems, and computer program products for...

2004-12-03

2009-12-01

Dam, Tuan Q (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Translation of code

C717S137000, C717S143000

Reexamination Certificate

active

07627861

ABSTRACT:
Methods, systems, and computer program products for identifying computer source code constructs are disclosed. According to one method, computer source code is converted to a format suitable for an automated inference engine. The automated inference engine receives as inputs the converted source code, a set of elemental design patterns defining patterns to be identified, and a set of rules defining relationships between patterns. The automated inference engine outputs proofs indicative of patterns present in the source code. The proofs may be converted to a source code pattern report.

REFERENCES:
patent: 6516461 (2003-02-01), Ichisugi
patent: 6804682 (2004-10-01), Kemper et al.
patent: 6873935 (2005-03-01), Spinrad et al.
patent: 7003760 (2006-02-01), Das
patent: 2004/0153994 (2004-08-01), Bates et al.
patent: 2004/0176930 (2004-09-01), Spinrad et al.
Smith et al., “18thIEEE International Conference on Automated Software Engineering,” IEEE Computer Society, pp. 215-224 (Oct. 6-10, 2003).
Smith et al., “SPQR: Flexible Automated Design Pattern Extraction from Source Code,” Technical Report TR03-016, pp. 1-11 (May 21, 2003).
Smith et al., “SPQR: Use of a First-Order Theorem Prover for Flexibly Finding Design Patters in Source Code,” Technical Report TR03-007, pp. 1-19 (Mar. 21, 2003).
Smith et al., “Elemental Design Patterns: A Logical Inference System and Theorem Prover Support for Flexible Discovery of Design Patterns,” Technical Report TR02-038, pp. 1-11 (Sep. 9, 2002).
Smith et al., “Elemental Design Patterns—A Link Between Architecture and Object Semantics,” OOPSLA, pp. 1-17 (2002).

Affiliated with

Also associated with

Rating

Methods, systems, and computer program products for... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Methods, systems, and computer program products for..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Methods, systems, and computer program products for... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4128021