Search Results for "notation"

Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt

SQL-Admin is a tool entirely written in Java. It uses JDBC and swing . Admin offers a SQL-Monitor, Data-Export, Data-Import, dynamic forms, guided Query, DML functions and data selection. It 's code-generator generates OO-Wrapper and SWING-GUI.

This project is dedicated to developing more readable format(s) for Lisp-based languages (such as Common Lisp and Scheme) and implementing those formats (readers, pretty-printers, editor macros, etc.). MIT license preferred, to spread them widely.

The Generic DataBase Modeling Tool (GenDBM) uses the MDA approach to provide a database modeling environment for both relational and geographical models. It also uses the Generic Database Metamodel (GEDBM) which gathers concepts of the most used modeling languages and notations (ER, Crow's Foot, Min-Max, UML, OMT-G, etc.). The tool is able to generate ANSI SQL and SQL/SFS code from any solution adherents to its meta-model. Actually, it is provided graphical environments for: ER...

Is a generator, writes a JavaScript proxy from a web service. Net with extension .asmx, take it as input and uses JSON to serialize and deserialize objects.

BinaryNotes is the Open Source ASN.1 (Abstract Syntax Notation One) framework for Java and .NET based on annotations/attributes. The framework has the flexible ASN.1 compiler, the runtime library that supports BER, DER and PER, and the Message Queues

haggies is an optimizing code generator. It can read in expressions in common notation and generate output for many programming languages including C/C++, Java, Fortran, Python and many others.

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.

TreeDL (Tree Description Language) is a notation for tree structures used by programs (like syntax trees) and tool for translation of tree descriptions to target programming language, docs generation, etc. Tool's functionality can be extended by plugins.

UMLSpeed is a compiler for a C-style language of UML notation. It can produce SVG UML diagrams, XMI documents and generate source code in various languages.

An AToM3 definition of a CASE framework for creating Zope products with files in the filesystem. The framework consists of a modelling notation ZProduct and a suit of related transformations.

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.