Search Results for "windows command processor"

EJE is a simple Java editor, perfect to learn Java, without learning a complex development tool. EJE is multi-platform (written in Java), light- weight, user-friendly and have several useful basic features. A good help to start with Java! Supports the study of the Java for Aliens book (www.javaforaliens.com), or other my books (Italian Language) like www.nuovojava.it. You don't need to install the JDK anymore (the runtime is embedded). See the video "How to create the "Hello World App in...

FiniteSatUSE is a tool that provides correctness methods for UML class diagrams. It uses the USE System syntax for specification of the class diagrams.

ABTools provides an open environment based on ANTLR and Java and provides some facilities for design and test the B language and somes extensions. ABTools est un environnement de développement base sur ANTLR et Java. Il permet de manipuler le langag

Volta is a suite of development tools for distributed, hard real-time systems. It includes Cascade, a control flow analysis tool for Java, and Clepsydra, a worst-case execution time analyzer. Also included is a Clepsydra plug-in for jEdit.

Xuse manages requirements, use cases & other artefacts that drive software design. Xuse focuses on clear documentation & communication. It defines an XML data model for requirements & use cases with XSLT providing multiple derived views: HTML/SVG/PDF. Note there is no GUI for entering requirements, however another project (https://sourceforge.net/projects/xguse/) will provide a GUI.

RESOLVE is an integrated specification and programming language designed to develop component-based software that is fully specified and verified to be correct. It is one of the longest running software engineering projects in the USA.

RES is a pure Java based Open Source Cobol to Java translator. It creates maintainable Java code for a subset of VS Cobol syntax. It has been developed with JDK, JTB and Javacc.

GraphTK is a graph-generation toolkit. Providing a GUI frontend, it enables you to generate graphs describing build systems (Make, Ant) and API (Java APIs) dependencies. The generated graph data can be stored in common data formats like GraphML or GML. This project is no longer actively developed.

Our aim is to develop a tool that converts textual constraints written in the OCL 2.0 language into instances of the OCL 2.0 metamodel. We use as a conceptual modeling environment the einaGMC tool http://guifre.lsi.upc.edu/eina_GMC/

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.

JTombstone is a program for finding dead code in your Java programs. It reports on dead code at the method level, by processing Java class files. No source code is needed to use it. JTombstone is a Java program and requires JDK 1.4 or later.

The FermaT toolset is the implementation of the FermaT Transformation Technology which developed semantic preserving code transformations to simplify programs without changing their behavior. The correctness is guaranteed by mathematical proof.