Search Results for "z-push"

SMC takes a state machine stored in a .sm file and generates a State pattern in 14 programming languages. Includes: default transitions, transition args, transition guards, push/pop transitions and Entry/Exit actions. See User Manual for more info.

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.

EMPloyee Time TRACKer for the Linux Desktop. Made in Gambas2, data in MySQL. Register start/stop/pause/job/location. Plan is 1) have a simple personal timetracker on KDE. 2) integrate with Employear; use as time tracker to deliver data > Employear. Tip: Alternative if you don't want to use a database: AgendaXML (uses xml file in user home dir) agendaxml.sourceforge.net.

ZMARCO is an Open Archive Initiative Protocol for Metadata Harvesting (OAI-PMH) 2.0 compliant data provider. The 'Z' in ZMARCO stands for Z39.50; 'MARC' stands for MAchine-Readable Cataloging; and the 'O' stands for OAI.

A calculator that shows how it got its answer! It supports variables (X, Y, Z etc.) and many pre-defined constants such as Pi etc. It also has most if not all the functions of a Scientific calculator. It was coded in VB6 but was updated and is now VB.NE

Push button activation of application firewall profiles for broadband routers.

...Lauve Tv allows users to watch movies as well have grab movie info from www.omdbapi.com and downloading movie art. You can watch movies from watchseries and play linux games using our custom made controller. Other features: -Media over Wire: Push content from any device to Lauve Tv to continue where you left off. -Media over Network: View media from network locations. -Download movie info and details using xml on omdbapi.com -Series Tracker: Track your fave TV Shows and be informed when new episodes were aired. -Watch Later: Works with the Series Tracker. This downloads the new episode of the tv show you are tracking automatically. ...