Search Results for "wstj-z"

Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools.

Native (JNI) cross-platform library to extract (password protected, multi-part) 7z Zip Rar Tar Split Lzma Iso HFS GZip Cpio BZip2 Z Arj Chm Lhz Cab Nsis Deb Rpm Wim Udf archives and create 7z, Zip, Tar, GZip & BZip2 from Java.

Tools to allow Z specifications to be written in Microsoft Word. Includes a unicode font for Z symbols. Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure; Conversion from Spivey to Standard Z- also available as a stand-alone program and Java class for non-windows users. See project website for details.

PigIron is an open source Java class library which implements the client side of the IBM z/VM Virtual Machine Operating System Systems Management Application Programming Interface (VSMAPI). PigIron is not associated with the IBM corporation.

The Software Testing Automation Framework (STAF) is a framework designed to improve the level of reuse and automation in test cases and test environments. The goal of STAF is to provide a complete end-to-end automation solution for testers.

LGML is a GML parser under the LGPL license. The aim is to parse a GML document or fragment in order to get a WKT output. 2D and 3D inputs are both handled, but it is not permitted to have mixed geometries. The caller can choose if the input coordinates are parsed as X, Y, Z (if present) order, or Y, X, Z (if present) order. The willing of the project is to be a starting point useful for developers that need to parse GML objects in order to use them, for example, in the context of OGC...

Modern software systems and application are commonly written in multiple languages, include scripting engines, and are frequently build on multiple specialized frameworks and middleware for a considerable diversity of runtime environments. The latest influencing update in development paradigm is the application of multicore processors. This projects is aimed to unify the required trace and logging output and integrate into debugging environments. The target is to provide general development,...

JIF is an editor entirely written in java that allows the file management for the creation of text-adventures based on Graham Nelson's Inform standard. With JIF, it's possible to edit, compile and run a textual adventure in the z-code and glulx format.

This software provides a fast way to migrate table or datasets between 2 MVS and Z/OS Mainframes by generating and submitting jobs from a Windows platform.

LWKT is a WKT parser under the LGPL license. It have not dependencies: it is pure Java compiled with 1.5 or 1.6 version. The output can be as GML 2 or 3 version, optionally setting a SRS name. Supported inputs are: POINT, MULTIPOINT, LINESTRING, MULTILINESTRING, POLYGON, MULTIPOLYGON For each of them, are handled both 2D inputs like: POINT(2.4 12.66) and 3D inputs like: POINT Z(2.4 12.66 0.0) At the following URL: http://95.110.227.201:8080/lwkt is exposed a minimal web interface...

Program z zajęć Nowoczesnych Języków Programowania Obiektowego.

An Interactive Fiction Player written for Java Virtual Machine. It implements the Z-machine and Glulx specifications and can be used either standalone or as an applet. The Z-Code/Glulx interpreter runs adventures made by Infocom and contemporary Inte

.NET wrapper for 7Zip, based on 7-Zip-JBinding, produced with IKVM. Extracts (password protected, multi-part) 7z Zip Rar Tar Split Lzma Iso HFS GZip Cpio BZip2 Z Arj Chm Lhz Cab Nsis Deb Rpm Udf archives. Archive creation/more formats coming soon.

A Java collections framework based on set theory, specifically, from Spivey's work on the Z notation (a formal specification language).

Coboldoc is a java web 2.0 style interface for analyzing COBOL. It maintains its own cross reference database for static & dynamic calls to help with impact analysis or for general COBOL surfing. It's also designed to run directly on z/OS

A framework that brings ease of development into the SOA. E-Z SOA.

Myion OSGi is a repository of OSGi driver bundles for control and monitoring. The bundles provide access to many protocols and technologies commonly used in home automation, monitoring and control. e.g. X10, EIB, Z-Wave, Zigbee, CBus, LonWorks, xAP etc

Leafpile is a Z-code interpreter, a Java implementation of the Z-machine virtual machine used for running Infocom/Inform interactive fiction story files. Leafpile seeks complete compliance with the Z-machine Standards Document 1.0.

Css Traffic Control (CSSTC) helps you plot out the z-indexes of your applications, so at a glance you can tell what the elevations will be on the screen and prevent covering up important information.

System Zarzadzania Biblioteka projekt zaliczeniowy z zajec 'projekt zespolowy'