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

The interface supports drag and drop HTML components, javascript and scriptlet events, and generate a very fast code, with no additional softwares layers or libraries. You can put your libraries, like jQuery. The generated code works with all browsers. You can create and debug Applets or Java Swing applications easily with the Visual Editor of the tool. Build C++ applications.

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

WebIDE web based integrated development environment. Object oriented and event driven design. php v 4.1