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.

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