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 30.067.543 Times

Community Z Tools 5.1.0

Company: timmiller
Date Added: August 27, 2013  |  Visits: 645

Community Z Tools

Report Broken Link
Printer Friendly Version


Product Homepage
Download (72 downloads)

The Community Z Tools (CZT) project is building a set of tools for editing, typechecking and animating formal specifications written in the Z specification language, with some support for Z extensions such as Object-Z, Circus, and TCOZ. These tools are all built using the CZT Java framework for Z tools.

Requirements: No special requirements
Platforms: *nix, Linux
Keyword: Animating Building Built Circus Editing Extensions Formal Framework Language Objectz Project Specification Specifications Support Tools Typechecking Written
Users rating: 0/10

License: Freeware Size: 5.17 MB
COMMUNITY Z TOOLS RELATED
Programming  -  SHAME metadata editing framework 1.0
SHAME is a metadata editing and presentation framework for RDF metadata.
87.72 KB  
Development Editors  -  JVx 1.0 Beta 5
JVx is built as an Enterprise Application Framework in order to help you create professional database applications and be very performant. JVx manages to integrate the following components: · Generic and technology-independet User Interface ·...
 
Content Management  -  GalleryCMS 1.1.4
GalleryCMS is a free CMS for managing photo galleries built on the amazing CodeIgniter framework that is an easy-to-use admin panel to manage photo galleries.Features of GalleryCMS:- No more editing static XML files- Simple install- Can easily...
1.11 MB  
Miscellaneous Mail Tools  -  dracMail Webmail 0.2.0_beta
dracMail is a webmail interface built using PHP, ExtJS (javascript framework), MySQL and IMAP.The original purpose for this project was to learn more about ExtJS, however it turned out to be a reliable webmail interface.
13.83 MB  
Programming  -  Pinax 0.7.2
Pinax is an open-source platform built on the Django Web Framework. By integrating numerous reusable Django apps to take care of the things that many sites have in common, it lets you focus on what makes your site different.
16.27 MB  
Business  -  Nag H3 2.1.3
Nag is a Web-based application built upon the Horde Application Framework which provides a simple, clean interface for managing online task lists (i.e., TODO lists). Nag H3 includes strong integration with the other Horde applications and offers...
1024 KB  
Dictionaries  -  QuizEngine 1.2
Quiz Engine is a simple web-based testing suite, built on the PHP Yii Framework. Offers powerful features including MCQ or one line answers, ability to check answer before the next question, assign points to each question, top 10 and more.
1.71 MB  
Science  -  Software for Small Budget Science 1.0
Everyday Software for the Researcher of Restricted Means: This project is intended to offer scientists and students with small budgets advanced versions of aqua-built desktop-editing, graphics and statistical applications for MacOSX.
176.23 MB  
Programming  -  robotframework-workbench 0.1.0
The Robot Framework Workbench (rwb) is a collection of tools for working with robotframework test suite and resource files. It includes the following tools: * keyword browser, a graphical tool for browsing keyword documentation
102.4 KB  
Programming  -  Okapi Framework 22
The Okapi Framework is a set of components and tools for localization and translation tasks. THE NEWEST JAVA-BASED VERSION OF OKAPI IS AVAILABLE AT: http://code.google.com/p/okapi/ The version on SourceForge is kept for maintenance purpose only.
575.18 KB  
NEW DOWNLOADS IN LINUX SOFTWARE, UTILITIES
Linux Software  -  Polling Autodialer Software 3.4
ICTBroadcast Auto Dialer software has a survey campaign for telephone surveys and polls. This auto dialer software automatically dials a list of numbers and asks them a set of questions that they can respond to, by using their telephone keypad....
488 B  
Linux Software  -  Total Video Converter Mac Free 3.5.5
Total Video Converter Mac Free developed by EffectMatrix Ltd is the official legal version of Total Video Converter which was a globally recognized brand since 2006. Total Video Converter Mac Free is a free but powerful all-in-one video...
17.7 MB  
Linux Software  -  Skeith mod_log_sql Analyzer 2.10beta2
Skeith is a php based front end for analyzing logs for Apache using mod_log_sql.
47.5 KB  
Linux Software  -  SLAX 6.0+
Slax is a modern, portable, small and fast Linux operating system with a modular approach and outstanding design. Despite its small size, Slax provides a wide collection of pre-installed software for daily use, including a well organized graphical...
190 KB  
Linux Software  -  GTK+ 2.5
GTK+, which stands for the GIMP Toolkit, is a library for creating graphical user interfaces for the X Window System. It is designed to be small, efficient, and flexible. GTK+ is written in C with a very object-oriented approach. Language bindings...
60 MB  
Utilities  -  LPAR2RRD 4.95-4
LPAR2RRD collects performance data and generates actual, historical and future trends utilization graphs of your virtual environment. It is agentless (it receives everything from the management stations like vCenter or HMC). The product supports...
2.25 MB  
Utilities  -  Nessconnect 1.0.2
Nessconnect is a GUI, CLI and API client for Nessus and Nessus compatible servers. With an improved user interface, it provides local session management, scan templates, report generation through XSLT, charts and graphs, and vulnerability trending.
819.2 KB  
Utilities  -  Dynamic Power Management 2.6.16
The Dynamic Power Management (DPM) project explores technologies to improve power conservation capabilities of platforms based on open source software. Of particular interest are techniques applicable to running systems, adjusting power parameters...
30.72 KB  
Utilities  -  Ethernet bridge tables 2.4.37.9
Ethernet bridge tables - Linux Ethernet filter for the Linux bridge. The 2.4-ebtables-brnf package contains the ebtables+bridge-nf patch. Be sure to check out the ebtables hp. This site also contains the arptables userspace tool.
40.96 KB  
Utilities  -  SaraB 1.0.0
SaraB works with DAR (Disk ARchive) to schedule and rotate backups on random-access media (i.e. hard drives, CDs, DVDs, Zip, etc. Basically anything except magnetic tapes.) This reduces hassle for the administrator by providing an automatic backup...
20.48 KB