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.

The CMS-Bandits is a set of php scripts, with online html editor, calendar, search engine, rss reader, revision log, personal nickpage, comment system, webcrawler and even more.

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.

php Template Engine

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.

Open source code generator engine based on imported XMI model. The engine provides developers a way to generate source code or script in any languages with generation files describing the code generation, parsing their models throught the metamodel

An implementation of the Model-View-Controller (MVC) design pattern based on the Jakarta Struts Framework. Includes a core library (Horizon), a servlet container (Stratus), and a Server Pages Engine (Phase). Resembles the J2EE web container environment.

XML based template engine for .NET . Most important features are: xml-based templates, multiple programing language support, template sets composed of several templates in one file, code-behind, asp-like syntax, template-includes

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

Code generation framework that can be used with any template engine. NAnt task and Visual Studio.NET addin

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.

Platform independent scripted applications

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.

PHPService is a powerful template engine based on an easy-extensible XML-Metalanguage.

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

The fast, flexible parsing engine. Parse anything in 4 steps: (1) define a grammar, (2) load the grammar into ClearParse, (3) call the engine to parse the source, and (4) traverse the parsing tree. You can even change your grammar at run time.

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.