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.

xMxmlCompiler is an eclipse plugin that provides an Eclipse Builder on mxml resource changes and a GUI to the Flex 4 compiler (mxmlc) of the open SDK. It run on GNU/Linux and Windows eclipse platform version.

Tasian is a framework for developers of J2EE to create web-based user interfaces that rival the capabilities of rich-client or desktop-based applications. It provides developers with an object-oriented, event-driven architecture for web-based application