Community Z Tools 5.1.0

Company: timmiller

Date Added: August 27, 2013 | Visits: 868

Report Broken Link
Printer Friendly Version

Product Homepage
Download (89 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

USER REVIEWS

More Reviews or Write Review

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

NEW DOWNLOADS IN LINUX SOFTWARE, UTILITIES

Linux Software - EasyEDA PCB Designer for Linux 2.0.0 EasyEDA, a great web based EDA(Electronics Design Automation) tool, online PCB tool, online PCB software for electronics engineers, educators, students, makers and enthusiasts. Theres no need to install any software. Just open EasyEDA in any...	34.4 MB
Linux Software - wpCache® WordPress HTTP Cache 1.9 wpCacheÂ® is a high-performance, distributed object, caching system application, generic in nature, but intended for use in speeding up dynamic web applications, by decreasing database load time. wpCacheÂ® decreases dramatically the page...	3.51 MB
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
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
Utilities - Command Not Found 0.2.41 Command Not Found is a program that uses a cache of existing programs and their associated packages to aid users in their day-to-day command-line work. Usage: command-not-found [options] Options: ...	30.72 KB

Windows Software	BeOS Software
Macintosh Software	Linux Software
PDA Software	OS/2 Software
Mobile Software	Scripts