Software Listing of Author : "Dirk Beyer"
- CCVisu
- License: Freeware
- Price: 0.00


The tool CCVisu is a light-weight tool for force-directed graph layout. The tool reads the input graph from a file in RSF (Relational Standard Format), which is a standard text format for relations. The layout of the graph is computed using standard techniques from force-directed layout. The tool supports several energy models, which can be selected by setting command line parameters. The weighted edge-repulsion LinLog energy model (default) is good for producing layouts that fulfill certain clustering criteria. The Fruchterman Reingold energy modelis good for producing layouts that fulfill certain esthetic criteria like uniform edge length. The minimizer is based on the Barnes-Hut-Algorithm. CCVisu saves the resulting layout in the file formats SVG, VRML, the standard text format for relations RSF, or it displays the layout on the...
- Publisher: Dirk Beyer
- Date Released: 21-05-2012
- Download Size: 3994 KB
- Download
- Platform: WinOther
- CPAchecker
- License: Shareware
- Price:


CPAchecker is a command line interface application that allows you to check source code files, certification files or perform a predicate analysis.
Give it a try and see what it can do for you!
- Publisher: Dirk Beyer
- Date Released:
- Download
- Platform: WinOther
- CrocoPat
- License: Freeware
- Price: 0.00


CrocoPat manipulates relations of any arity, including graphs (which are binary relations). Its simple and expressive query and manipulation language is based on first-order predicate calculus. The implementation is based on the data structure binary decision diagram (BDD), which is well-known as a compact representation of large relations in computer-aided verification. CrocoPat is easy to integrate with other tools because it reads and writes relations from and to files in a simple tuple format. Many structural 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. Through its efficiency and its expressive language, CrocoPat enables...
- Publisher: Dirk Beyer
- Date Released: 20-01-2013
- Download Size: 3748 KB
- Download
- Platform: C and C plus plus, Scripts