Search Results for "c4 engine 4"

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

LiveCoder helps you to play with Coffee-Script ( Language that compiles to JavaScript) , Jade ( Popular Node.js Template Engine), and Stylus CSS pre-processor. This is not a IDE or any Development Environment, This just helps you to effectively learn these languages.

Tefkat is the transformation engine for the Eclipse Modeling Framework (EMF). It implements a state-of-the-art declarative model-to-model transformation language, including a source-level debugger and support for UML2, MOF2, and XML Schema-based models.

Toxic is a general purpose template engine, i.e. it produces text output from different template input formats, e.g. for text-, XML- or SQL-templates. New template formats can easily be integrated an even be mixed.

A Controlled Language Programming (CLP) compiler, runtime engine, and development IDE for writing software in a natural (but somewhat restricted) language that clearly represents the real world concerns and maps to a 3GL (Java/Groovy) for execution.

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.

MiniLang is yet another scripting language written in Java programming language. Main features : Functional language, Strongly interact with Java, XML integration, Statickly typed, Integrated template engine like Velocity or Smarty...

JavaSketch is an Eclipse plugin that is both a programmer's search engine and code generation tool. It can find chains of Java API calls that produce a desired result and insert the appropriate code into the active Java editor.

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.

ClipsGen is a Lightweight Eclipse plugin for easy code generation. ClipsGen uses simple XML files as model and the velocity template engine for code generation. The model can be accessed by the dot-notation which is a feature of velocity.

The General Intensional Programming System (GIPSY) consists in three modular sub-systems: The General Intensional Programming Language Compiler (GIPC) ; the General Eduction Engine (GEE), and the Intensional Run-time Programming Environment (RIPE).

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.

The purpose of the EPAL Scenario Testing System is to provide a Graphical User Interface (GUI) that gives the EPAL user an easy-to-use tool for sending valid or invalid test scenarios to the EPAL Conformance Engine.

JEOPS is a Java based forward chaining RULE ENGINE. This Rule Engine is used to power up the business process by rules in Java Application Servers, client applications, and Servlets.

Cartographer is a simple,efficient object relational mapper engine. It provides rapid access to relational data using lightweight data and factory java objects.

Frosttie (FROnt-end SchemaTron Text Internet Engine) takes XHTML pages and processes them with various user-definable filters such a W3C's WAI, Section 508 (US) web usability compliance, ad removal, etc. It can be used with zKnowMan.

A very flexible and extendable Java layout engine that uses XML to render Java user interface components and separate the data model from visualization.