Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.548.572 Times

CrocoPat 2.1

  Date Added: June 12, 2013  |  Visits: 201

CrocoPat

Report Broken Link
Printer Friendly Version


Product Homepage
Download (20 downloads)



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 practically important analyses of real-world software systems that are not possible with other graph analysis tools, in particular analyses that involve transitive closures and the detection of patterns in graphs.

Requirements: No special requirements
Platforms: C and C plus plus
Keyword: Analyses Based Binary Clones Crocopat Crocopat 2 1 Design Detection Differences Expressive Graphs Language Patterns Problematic Relations Simple Software Systems Tools
Users rating: 0/10

License: Freeware Size: 3.66 MB
USER REVIEWS
More Reviews or Write Review


CROCOPAT RELATED
Network & Internet  -  XINS 2.0 / 2.1 Alpha 2
XINS is a technology used to define, create, and invoke remote APIs. XINS is specification-oriented. When API specifications are written (in XML), XINS will transform them to HTML-based documentation and Java code for both the client-side and...
3.4 MB  
Utilities  -  Check Page Load 2.1
Check Page Load 2.1 Check the Load time of Web Pages
1.55 MB  
Utilities  -  Bulk Web Site Monitor 2.1
Bulk Web Site Monitor 2.1 checks multiple web sites if they are working - By: Vsisystems.com
1.55 MB  
Calendars & Scheduling Tools  -  DotProject 2.0.4/2.1 RC2
dotProject is a volunteer supported Project Management application. There is no "company" behind this project, it is managed, maintained, developed and supported by a volunteer group and by the users themselves. DotProject is free to anyone who...
2 MB  
Code Management Tools  -  OpenXava 2.2.1 / 3.0 Beta 1
OpenXava is a framework to develop easily business applications with XML and Java. OpenXavas virtue resides in the fact that the heart of our applications is XML instead of Java. No Java classes, no XML files for mapping objects, no design of...
 
Bug Trackers  -  JTrac 2.0 / 2.1.0 Beta
JTrac project is a generic issue-tracking web-application that can be easily customized by adding custom fields and drop-downs. Features include customizable workflow, field level permissions, e-mail integration, file attachments and a detailed...
19 MB  
Code Management Tools  -  Talend Open Studio 2.1.1 / 2.2.0M1
Talend project has the most open and powerful data management solutions available as a packaged, out-of-box, ready-to-install platform. Talends fundamental technology breaks with the markets leading proprietary solutions, associated with the...
65.7 MB  
Travel  -  BAM Converter 1.2.0.0
New in update 1.2: 1. Support for Russian and German language 2. Data access implemented as MVVM 3. Bug fixes New in update 1.1: 1. Converted values can be send via SMS. 2. Added graphics for ILS currency (Israeli New...
1024 KB  
Gaming Utilities  -  Aleph One/SDL 20051119
Aleph One is an Open Source 3D first-person shooter game, based on the game Marathon 2 by Bungie Software. Aleph One was originally a Mac-only game, but there is now a cross-platform version based on the Simple DirectMedia Layer (SDL) library,...
890.88 KB  
Games  -  Freeciv 2.1.0 Beta 3
Freeciv is a free turn-based multiplayer strategy game, in which each player becomes the leader of a civilization, fighting to obtain the ultimate goal: To become the greatest civilization. Players of the CivilizationŽ series by MicroproseŽ...
10.8 MB  
NEW DOWNLOADS IN SCRIPTS, DATABASE TOOLS
Scripts  -  Free Ecommerce website creator 1.2
Free Ecommerce website creator is a free PHP shop creating script. This allows you to put a online shop on your own website. Create your own free ecommerce website for Your Business. Create an online shop using easyGUI online shop creator. The...
1.44 KB  
Scripts  -  MochiGames PHP Script ZDR 1.00
MochiGames PHP Script ZDR is web site, ready for use, for flash games. These flash games are downloaded automatically by "MochiGames PHP Script ZDR" from MochiGames media. The use of the games is free, you can use your own Mochi Publisher ID and...
368.54 KB  
Scripts  -  Php Chat 2.0
Add a free php site, single sign-on and multiple skins, 100% free 1. Server Modes: The chat server has paid mode and free mode. If the free chat mode, a free chat room will be assigned to your website with your domain as the room name. 2....
938.87 KB  
Scripts  -  Nibbleblog 3.0.1
Nibbleblog it's a powerful engine for creation and manipulation of BLOG's completely free. Very simple to install and configure (Only 1 step). The database used is based on XML files and this way it is not necessary to use MySQL or similar DBMS....
371.09 KB  
Scripts  -  PHP File Manager | CloudOsys 2.9b8
CloudOsys is a PHP file manager, a tool that allows your visitors upload files such as media content directly to your website. Your visitors will upload files directly to your website, where they can share and comment on them. Through cloud...
1.41 MB  
Database Tools  -  Cross Database Engine for PHP for Scripts 1.0
CDEengine is a php library which aims to encapsulate the general database functions in PHP and provide a Cross Database Engine for php development where developers need to change the database but not their code.
10 KB  
Database Tools  -  SQL File Query Extractor 1.0
SQL File Query Extractor opens a text file and extract text entries of SQL queries separated by semi-colons. An array is used to return the text strings of queries.
10 KB  
Database Tools  -  objToSql 1.0
This script can generate SQL queries from objects or arrays. It can traverse the list of variables of the object or a given associative array and generate SQL INSERT or UPDATE queries to create or update records of a given database table.The names...
10 KB  
Database Tools  -  database,mysql,query,array 1.0
coMySQLClass is a MySQL database access wrapper.Functions of coMySQLClass:- Establish database connections to a given host and database name- Execute SQL queries- Retrieve query results into associative arrays- Compose and execute SELECT, UPDATE...
10 KB  
Database Tools  -  Bond Script 2.4.3
Bond is a rapid application development framework for building applications for the linux desktop and the web. Using bond you can quickly build database forms for Gnome Linux, or the web via standard HTML and AJAX or for windows using win32...
4.44 MB