Search Results for "general morphological analysis"

JavacTo is a prototype tool designed to evaluate the need and value of translating java code into another programming language. An ideal language for translation is a language that supports the concept of packages, classes, interfaces, and enums as well as built-in memory garbage collection. Languages such as C# and D, are well suited as a translation “To” language. Eclipse project provided to get started. Three visitor classes provided to learn how to use JavacTo and write visitor...

An easy-to-use tool, to foster a model driven architecture.

Java to C++ porting framework

Cress (Communication Representation Employing Systematic Specification) allows graphical description of a wide variety of services such as in data communications/telecommunications, but Cress is not limited to this. The approach allows services to be described graphically as (work)flows of activities. Cress diagrams are automatically translated into formal languages for rigorous analysis and verification, and are also automatically translated into implementation languages for deployment...

JinnIde is a plugin that allows using Jinni Prolog, now also hosted here on this site (with open source license!), within the confines of an IDE integrated in JEdit.

RECODER is a Java framework for Java program analysis and source code transformation. It computes an easy to use syntactic and semantic program model containing cross references, and it supports transformation rollbacks and incremental model updates.

A static checker that model checks the implementation of equality for an Eclipse Java Project.

A simple metalanguage for defining new concepts easily on any level: analysis, requirements, design and implementation (any programming language), and transformations to produce lower level concepts (working software) from higher level concepts.

* Java classes for parsing text, conversion to XML or to evaluate in Java. The parser is textual-script-controlled with a syntax near Backus Naur Format, named ZBNF. * Some routines for conversion: C-Header or Java to XMI, XML-Documentation generation,

jUML is a UML diagram application capable of reverse engineering Java source code to create relationship diagrams, source code generation based on a user created UML diagram, and saving/restoring of jUML projects.

The SAVE-IDE is an integrated development environment for architectural and component-based design of embedded systems. Including a tool chain for analysis, verification and code generation, with focus on safety and real-time.

febrl-gen is a Java-based frontend to Febrl, an open-source data linkage system written in Python. Users can configure the parameters of a linkage project through the frontend, and febrl-gen will generate a Febrl-ready configuration file.

Dimenso is a library of numeric types for .Net and Java, that obey dimensional analysis and permit calculations with physical quantities. Due to the lack of C++ - like templates with numeric arguments, code generation is employed using Python.

The Catalsyt Framework is a refinement on the MVC framework. It provides greater focus on user business workflow rather than application workflow. It's goal is to enable business analysis and developers to work closer.

JC is a Java virtual machine implementation that converts class files into C source files using the Soot Java bytecode analysis framework, compiles them with GCC, and loads them using a built-in ELF object loader. JC uses GNU Classpath's class library.

Sight provides a friendly interface to create and connect agents for bioinformatics. The workflow supports multiple responses to a single request, structure transforms, filters and request history access.Can talk with ordinary http servers (get and post)

Recoder.C# is a Java framework for C# program analysis and source code transformation. It computes an easy to use syntactic and semantic program model containing cross references and supports transformation rollbacks and incremental model updates.

All APIs that help build prof of concepts of frameworks : bytecode, java, xml models analysis, querying and generation, using high level of abstraction.