Search Results for "gnu science" - Page 2

ACMgen is an automatic code generator of Asynchronous Communications Mechanisms based on the generation of Petri nets models that can be formally verified against some properties and then transformed into a real implementation (e.g. C++ or Verilog).

ATTENTION! For various reasons, the infrastructure of the Reuseware project has moved. All information and latest versions are available via the new Reuseware webpage: http://reuseware.org

lightJacc is a small but strong grammar parser generator. It adopts a parsing strategy of its own: dynamic concurrent parsing -- which made it much stronger than LR or LL family CCs (YACC, ANTLR, etc), but still keep good performance.

The aim of this project is to create a fully functional COBOL compiler that translate into Java or directly into bytecode.

JAro is an open source Java Toolkit for declaratively building Java UI in SWING and SWT. JAro uses XML to define the UI elements.

Java API for implementing any kind of Genetic Algorithm and Genetic Programming applications quickly and easily. Contains a wide range of ready-to-use GA and GP algorithms and operators to be plugged-in or extended. Includes Tutorials and Examples.

Robin is a framework that automatically generates Python bindings to C++ libraries. In addition to what other wrapping programs (like "Swig" or "SIP") can do, Robin puts stress on maximal useability and the tightest binding possible.

This project provides a framework for the generation of workflow code from high-level models. It enables people with no or little experience in this area to generate workflow code a reasonable time by specifying generation templates and reusing adapters.

openASN.1 is an Open Source Java toolkit for the Abstract Syntax Notation One (ASN.1) which consists of a compiler and codec with a low footprint runtime library.

A traslator from BPEL4WS processes to YAWL workflows that works with translation patterns. It takes a BPEL document in input and creates a YAWL workflow that rapresents it.

ODog

FSMGenerator is a turn-key solution for FSM (Finite State Machine) automatic generation and integration within user`s software. Please, register to get fast personalized support. Feedbacks, feature requests and bug reports are greatly appriciated.

Composer is a graphical authoring tool to create hypermedia documents to interactive digital TV (iDTV) in NCL (Nested Context Language - www.ncl.org.br). ******************************************************************** NOTE: A completely new version of NCL Composer is under development. For more details and recent information about this project refer to http://composer.telemidia.puc-rio.br ********************************************************************

Runtime library for the JUndo language. See http://verdantium.blogspot.com/

JUndo is a declarative object-oriented programming language with functional, and intensional programming characteristics. Applications include multi-level undo and sophisticated error recovery. See http://verdantium.blogspot.com/

The CCM Tools are CASE tools used for generating CORBA components, test components, and test programs based on source IDL files. Various target languages can be generated. Scripting language wrappers can also be generated to enable rapid prototyping.

SMARD is a development environment that simplifies the programming of applications based on mobile agents. Using a graphical interface, programmers can design, build and launch mobile agents which are intended to run on JADE platforms.

A collection of language tools based on recursive adaptive grammars (RAGs), built around a general RAG parsing algorithm.

The mesh programming language is a universal styling language that utilizes the Java framework. It contains many novel features, rigorous type checking, and integrated extendability.

A JML generator. Generates JML specifications based on other specification formalisms.

{sets} is a lightweight constraint programming language. The uniqueness of {sets}, is that it uses ROBDD ( Reduced Ordered Binary Decision Diagrams ) to represent and solve constraints.

JaTS - A general-purpose transformations system for the Java language.

The OMEGA plugin for eclipse is a generic infrastructure for the creation of specialized model editors aiming at Model-Driven Development.It provides a “canvas” for drawing the models and a code generating part for any desired output format.

Eloquence is a plug-in for the Eclipse IDE to allow seamless and automated integration of aspect-oriented design pattern implementations with Java/AspectJ projects.

Metaprogramming: proof of the concept.