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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3450974
بازگشت