Search Results for "z tools"

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. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt

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.

VStar is a multi-platform, easy-to-use variable star observation visualisation and analysis tool. Data can be read from a file or the AAVSO database, light curves and phase plots created, period analysis performed, and filters applied. Plugins can be developed, e.g. to make additional observation sources available. See also: 1. http://www.aavso.org/vstar-overview 2. http://www.aavso.org/forums/about-aavso/vstar 3. http://dbenn.wordpress.com/category/astronomy-science/vstar 4....

The increasing wealth of transcriptomic data and current computational tools enable to infer how protein interactomes and complexomes may be assembled in specific samples. With CompleXChange this information can be exploited to conduct differential analyses of the dynamic protein complexome in a quantitative manner. The corresponding publication can be found on https://doi.org/10.1186/s12859-019-2852-z.

An Open Community in the Home Automation and Domotics space. We believe an Open Source approach can revolutionize the way people create, install, and maintain software in the industry. Our panel technology integrates with your favorite protocol and runtime hardware through Open Source software. We open up the front-end and support a unified panel and visual programming model. An installer can pick and choose hardware products from different vendors and still present one panel UI to the...

...It is designed primarily to provide an online tabletop interface. Draw directly, or place images, that all connected users can see and manipulate. RNG/dice functions supported, infinite table size, a few Z-order layers, pointer tools visible to everyone connected, stand along host server, and basic tagging and drawing tools. It specializes in simplicity, virtually no learning curve, and ease of use. Shared image files auto-propagate to other users (and only images, no other file type will propagate), which allow them to use a local cache to view shared spaces.