Search Results for "z/vm"

This is an exercise in some advance programming topics using a text adventure as the central result. This originally began as a project to recreate an old BASIC text adventure, on the ZX Spectrum, using Z80. After developing a very simple byte code VM to handle the game interactions, I realised that there was an opportunity to use some more advance techniques, which in turn can lead to some PC based tools.

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.

JAVA Program to Sequence Diagram Generator. This tool tries to help on analysing and understanding the behavior of the code when developping JAVA applications by generating the respective Sequence Diagram automatically at program execution.

Editor sencillo de CSS, para facilitar a la hora de desarrollar paginas web, ofrece la posibilidad de mover un div especificado, redimensionarlo, cambiarle de color, y su z-index todo dinamicamente desde el explorador y ofreciendo información que posteriormente tendrás que escribir en tu CSS evitando así la sobrecarga de código que generan otros programas de diseño. Fácil, sencillo y rápido, la instalación es muy sencilla, explicada muy detalladamente en el readme.html

A design specification language based upon Z Notation and CSP.

This project offers a collection of resources that can be used to document object models in the Z language. This mainly consists in prelude files for z type checking and latex demo files that use it.