Search Results for "database design tool"

...All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary downloads from https://github.com/OpenJML/OpenJML/releases/latest

JNode is a Java New Operating system Design Effort. JNode is a simple to use and install Java operating system for personal use on modern devices. Any java application runs on it, fast and safe. See our homepage for additional information.

...We believe the use of an HDL is also the way of the future when it comes to PCB design. The PHDL compiler automatically supports the output of PADS and Eagle netlists, and through extending a simple java class, users can generate a netlist in practically any format required by their choice of a layout tool.

bts es un programa para convertir aplicaciones java (.jar) a una aplicacion windows (.exe) Es de codigo abierto y cualquiera lo puede modificar

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.

Covra is a project to help design compilers. C3 is a tool specialized on the easy design and construction of ASTs, it is independent of the compiler compilers or parser generator that is used. It generates Java and C# code. Require JRE 1.6.0.

Data Manipulator is a pure Java GUI interface for SQL databases. Not only an administrative tool, but one that allows a user to create forms and reports. Additionally A Java programmer can use code with Forms, reports a stand alone to manipulate the data

Abacus Technologies Relational XQuery is an XQJ compatible XQuery processor that provides the ability to execute XQuery against both relational and XML data sources. Relational data can be transformed to any XML schema using XQuery's powerful features.

ContractChecker is a small tool to provide support for some design by contract features to standard Java code. Internally, it is composed of an Ant task, which invokes a doclet to generate AspectJ and the AjcTask itself in order to compile it.