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...

  • Platform: WinOther

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!


  • 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...

  • Platform: C and C plus plus, Scripts
New Reviews

Print Inspector

Whether you are using a printer connected to your local desktop computer or a print server sometimes you need to see whats going on in your printer by having a close look at the print jobs sent by the users. Print Inspector is such type software ...


Disk Genius

Disk Genius was formerly known as Partition Guru which is an all-in-one solution for disk partition management, data recovery and disk repairing. It can recover lost files from partition, backup and restore partition table, clone partition or clone ...


Safe In Cloud

It is quite difficult to find any computer users nowadays who do not need to use the web, for any purpose. Whether it is for education or entertainment, the web is your best resource. You also need to use various online services for banking, ...


PictBear

Nowadays, a majority of PC users resort to digital image editing once in a while. It may be required for retouching image captured in smart phones or for creating an album in Facebook. For some people, tinkering with digital images is a pastime too. ...


Panda Cloud Cleaner

PC security has become a tricky and complicated subject both for home users and network supervisors, with complexity and risk factors multiplying over the years. Using a single antivirus app may not be enough anymore. That explains why many users ...


SnapCrab

Nearly every PC users need to take screenshots from time to time, whether it is for personal or professional needs. While using the basic Windows screenshot capture method is available, it is not adequate for everyone. When you want to capture ...


BitKiller

Dealing with various types of data efficiently holds the key to success in any computing task. Apart from generating new data and modifying existing files, it becomes necessary to delete existing files at times. While most users resort to using ...


New Downloads

PWMinder Desktop

PWMinder is a Password Manager
that is used to store
passwords and other sensitive
data in a secure encrypted
file. ...

Spool Queue Viewer++

Spool Queue Viewer++ is a
feature rich spool queue
viewer that windows should
have by default, we have taken
it to the ...

UFS Explorer Professional
Recovery

UFS Explorer Professional
Recovery is a software
solution for a wide range of
data recovery tasks, with
particular focus ...

ChequeSystem Cheque
Printing Software

ChequeSystem provides a
complete cheque printing and
management solution. You are
no need to write any, just
print and ...

Express Zip Plus for Mac

Express Zip Mac Software for
File Compression and
Archiving. Easily create,
edit, manage and extract
compressed files and ...

AllMyNotes Organizer
Portable

This is simply the most
advanced software to keep all
private info securely
encrypted on USB drive, worry
free. Simply ...

PhotoPad Pro Edition for
Mac

PhotoPad Pro Edition for Mac
Editing Software allows you to
easily edit digital photos and
other pictures. PhotoPad Pro
...

Pixillion Image Converter
Software Free

Pixillion Image Converter
Software Free is perfect for
converting your image files
for posting on the web,
emailing to ...

Devart ODBC Driver for
MongoDB

Devart ODBC Driver for MongoDB
is a high-performance
connectivity tool with
enterprise-level features for
accessing ...

VShell Server for Windows

VShell is a secure,
multi-protocol file transfer
server for Windows, Linux, and
Mac. Protect data in transit
with SSH2, ...