Search Results for "command prompt for java"

Extracts dependencies and OO metrics from Java class files produced by most Java compilers. Computes API differences between versions. No source needed. Includes both Swing and command-line interfaces, with XSL stylesheets for formatting output.

This project provides an open-source framework for the generation of high quality source code which is suitable for safety-critical applications and certification (e.g DO-178B). Currently a Simulink and Stateflow front-end and a C-language back-end are included. Some of the strengths of UCGN: - Clearly readable source-code - Separation of functionality and parameters ("tunable parameters") - Robust data storage (compile-time static structures in favor of pointer run-time constructs) -...

Tefkat is the transformation engine for the Eclipse Modeling Framework (EMF). It implements a state-of-the-art declarative model-to-model transformation language, including a source-level debugger and support for UML2, MOF2, and XML Schema-based models.

XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)

SEvents is a System of Event programming with random factor designed to accept a script file and execute it with using extra modules. One module - one object, which relate on changing of some variables.

Dresden OCLallows to query arbitrary EMF-based models. It provides an advanced OCL2 Editor, a Parser, an Interpreter, and a Codegenerator for Java and SQL. WE MOVED TO GITHUB. PLEASE VISIT https://github.com/dresden-ocl/dresdenocl

UML2Java is a plug-in Eclipse which provides Model2Text (M2T) functionality. It creates a hierachy of java files based on an UML Class diagram. It is fully integrable with Eclise as a plug-in. It requires Acceleo 3.0 and UML2.

The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.

A Java library and supporting modelling/execution tools that combine Robin Milner's formal Bigraph model with the indirect communication abstraction of Gelernter's tuple-space, i.e. a coordination system based on bigraphs.

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

Bogor-PubSub is a set of extensions to the Bogor model checker enabling accurate, automatic verification of Publish-Subscribe infrastructures.

The Amplify MDA project is aimed at delivering a 'model-to-text' generator tool with real-world applicability in less than 1000 lines of Java/Groovy code.

STDProject (Simple Tree Driven Project) is a modeling tool for software development projects. It will let you build your project, watch its consistency, generate documentation and reuse work from one project to another.

PeerSE is a graphical experiment environment for analysing and developing peer-to-peer (p2p) systems in Java.

SQLOrm focuses on mediating database interaction rather than shielding the user from it. SQLOrm consists of 3 major parts. A dynamic query builder. A prepared statement layer. A resultset to object graph mapper, supporting batch inserts/updates.

Omnigraphs are a formal extension of hypergraphs with the ability of edges to connect to multiple nodes and edges. This project hosts the Ogre compilers.

ITCWorks a Java Framework with more than 500 Java classes. The foundation of ITCPro a visual UI for ORM++. ITCworks includes: - XML Bean Support (SOA,WSDL Schema Framework, Code Gen.)-ORM, object graph gen., SQL code gen., More info at <a href=www.i-tech

The Genomic Diversity and Phenotype Data Model (GDPDM) captures molecular and phenotypic diversity data. MySQL databases are used to implement the schema. This project develops software tools (written in Java, Perl, etc.) associated with this model.

PGA (Petit Generateur entre amis : little generator betwenn friends in french) is a generation kernel to load, manipulate emf models (eclipse) with ATL, and practice code generation with several templating technologies like JSP2, Velocity, Jet.

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

UMMF is an open-source implementation of UML-compatible meta-meta-model, for the purposes of reifying meta-model implementations and to provide a platform for building flexible model and meta-model transformation tools.

A library to build and manipulate finite state automata, I/O automata, transducers and rational langagues in Java.

JPowerFlow - a steady state electric power system power flow solver.

A complete, fast, previously commercial, JDO 1.0.1 implementation for databases, opened by Versant in 2005 and then abandoned in early 2006. The design-time code is already in Eclipse Dali. This project is the original source drop, including the runtime.

The XMI Tools are a library for reading and manipulating XMI files. The main application is called XMI-Linker; it allows us to split UML models into several files.