Search Results for "express engine tools"

autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures...

An Enterprise Focused Java Framework For Rapid Application Development. JAFFA is a Java web application development stack, build around Web 2.0 technologies (ExtJS, DWR, JAWR) with an extensive service architecture, meta-data layer and rules engine (based on JBoss AOP and Drools). It provides an event driven SOA infrastructure with advanced scheduling and queue sub-systems

itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools

pmMDA - poor man MDA - is a pragmatic MDA code generation engine based on Velocity. The implementation is done in Java. The input model is defined using UML tools - e.g. ArgoUML -. Target frameworks are provided to realize complex applications.

The UCL MDA Tools are lightweight Model Driven Architecture tools developed at University College London. They include a JMI generator implemented using the velocity template engine, an OCL type checker, and a parser for textual MOF models.

The CCC Language is yet another programming language. It is platform-independent, compact, and robust. Supports many SQL engines, has own ISAM DB engine, has terminal mode and more UI-s, is object-oriented, but it is compiled and not interpreted.

Japano is a java-servlet based webapplication toolkit and engine. It offers easy website logic and HTML form creation and offers integration of dynamic javascript updates ( AJAX). A sample webapp makes it easy to start developing with japano.

The purpose of this project is to provide an Ant-based cpp-like preprocessing capability using the Velocity Template Engine.

Jaxor provides a java code generation engine for creating an object to relational mapping layer based upon XML metadata. SQL is generated as well as an extensible mapping layer.

Pamda is an MDA tool (UML to code generator). It uses UML API to parse XMI and thus, unlike some other MDA tools, is lenient to XMI extensions. Implemented as Ant task and uses Velocity template engine. Tested with XMI produced by Enterprise Architect.

xFloWS project aims to provide a graphical toolkit that enables users to create complex Web services by combining other existing Web services simply using drag and drop. xFloWS also includes a Web service search engine and a code generator.

<img src=http://www.ifrance.com/divisionX/JOE-LOGO.BMP align=left><div><b>JOE</b> -<i>Java Optimization Engine</i>- provides an easy way to optimize programmatically Java applications. <b>JOE</b> is an Ant optional task (like XDoclet or JavaCC).</div><br