Search Results for "event"

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

...It is a full featured viewer for all KiSS dolls, games, and visual applications. It is also a complete graphical development environment for creating KiSS applications. It fully implements the FKiSS event driven programming language up to and including new FKiSS5 enhanced capabilities. These features enable Kisekae game and application development. UltraKiss includes an integrated palette color editor tool, an image editor tool, an integrated audio and video player, and an archive manager that packages LHA, ZIP, and JAR archive files. ...

...You create new data that points at existing constant data, as deep as you need it. I have mindmap lists, definitions, and 2 editable properties working that way with 2 kinds of event listeners that work locally. Its not a networked system yet, but the datastructs are ready to scale with it.