TY - CHAP A1 - Beyer, Dirk A1 - Noack, Andreas A1 - Lewerentz, Claus T1 - Simple and Efficient Relational Querying of Software Structures T2 - Proceedings, 10th Working Conference on Reverse Engineering, WCRE 2003, Victoria, B.C., Canada, 13 - 16 November 2003 N2 - Abstract. Many analyses of software systems can be formalized as relational queries, for example the detection of design patterns, of patterns of problematic design, of code clones, of dead code, and of differences between the as-built and the as-designed architecture. This paper describes the concepts of CrocoPat, a tool for querying and manipulating relations. CrocoPat is easy to use, because of its simple query and manipulation language based on predicate calculus, and its simple file format for relations. CrocoPat is efficient, because it internally represents relations as binary decision diagrams, a data structure that is well-known as a compact representation of large relations in computer-aided verification. CrocoPat is general, because it manipulates not only graphs (i.e. binary relations), but n-ary relations. Y1 - 2003 SN - 0-7695-2027-8 SP - 216 EP - 225 PB - IEEE Computer Society CY - Los Alamitos, Calif. [u.a.] ER - TY - CHAP A1 - Beyer, Dirk A1 - Noack, Andreas T1 - Clustering Software Artifacts Based on Frequent Common Changes T2 - Proceedings, 13th International Workshop on Program Comprehension, IWPC 2005, 15 - 16 May 2005, St. Louis, Missouri Y1 - 2005 SN - 0-7695-2254-8 SP - 259 EP - 268 PB - IEEE Computer Society CY - Los Alamitos, Calif. [u.a.] ER - TY - CHAP A1 - Beyer, Dirk A1 - Noack, Andreas T1 - BDD-basierte Verifikation von Realzeit-Systemen Y1 - 2000 ER - TY - JOUR A1 - Beyer, Dirk A1 - Noack, Andreas A1 - Lewerentz, Claus T1 - Efficient Relational Calculation for Software Analysis Y1 - 2005 ER -