DocumentCode
3450974
Title
CrocoPat: efficient pattern analysis in object-oriented programs
Author
Beyer, Dirk ; Lewerentz, Claus
Author_Institution
Software Syst. Eng. Res. Group, Tech. Univ. Cottbus, Germany
fYear
2003
fDate
10-11 May 2003
Firstpage
294
Lastpage
295
Abstract
CrocoPat is a new tool for efficient pattern-based analysis of large object-oriented programs. Patterns can be flexibly specified by expressions based on standard mathematics provided by the tool language. It is easy to specify patterns in different variants in a compact form, adapted to specific situations.
Keywords
formal specification; object-oriented programming; reverse engineering; software tools; CrocoPat; efficient pattern-based analysis; flexible specification; large object-oriented programs; standard mathematics expressions; tool language; Boolean functions; Computer architecture; Data structures; Design engineering; Pattern analysis; Process design; Quality assessment; Software systems; Specification languages; Systems engineering and theory;
fLanguage
English
Publisher
ieee
Conference_Titel
Program Comprehension, 2003. 11th IEEE International Workshop on
ISSN
1092-8138
Print_ISBN
0-7695-1883-4
Type
conf
DOI
10.1109/WPC.2003.1199220
Filename
1199220
Link To Document