Search Results for "star uml java" - Page 9

ObjectArtist is a development tool to create object-oriented software. The Tool uses UML diagrams for modeling. The models are stored in XMI, an XML based format.

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)

AMODA is a unifying application framework for Java. The name Abstract Modeled Application reflects the idea of an API which models general parts of an application on an abstract level. Entirely developed using the Unified Modeling Language (UML).

Muminav started as a high specialized software component. It should be used in a project named Mumie (see project website for more info).Now it is an applet for displaying visual graphs of all kinds:<br> <br> UML, flowchcharts, E/R , genealogical trees

JSeqUnit enhances Javadoc documentation with UML sequence diagrams that are generated with the help of JUnit tests. It uses JSeq to trace the execution of test executions. It supports re-engineering of components through improved reverse engineering of methods with the help of sequence diagrams.

Provide a testbed to play with pagerank-like algorithm on graph. You can easily add vertices, edges, save the graph for reuse, etc. For now, only Pagerank is implemented, but in the future, other algorithms will be added.

Based on the features of the graphical editing software JaWE (Java Workflow Editor) and the required interpretation of a custom XML dialect, which could not be interpreted by Eclipse, the dotSource GmbH developed a interpreting workflow tool. This allows a time saving, easier application and therefore cost savings. The workflow tool is an extension for the open source Eclipse programming tool from IBM. This workflow tool has been integrated into the dotSource Studio. It consists of 8...

FOREVER is an environment to translate UML Sequence Diagrams to Petri Nets and ckeck system properties with SMV. The tool receives as input sequence diagrams of UML and provides the Petri net in three different formats: APNN, PNML and SMV .

This project develops a graphical tool to support i* modelling and analysis of the stakeholder requirements. The main development site is at https://se.cs.toronto.edu/trac/ome

Coupling the notion that during the search for the minimum of a function we must pass through its solution with a PSO solution generator engine, is the approach for solving, in time domain, a non-linear algebric-differential system of equations.

SCOPE is a high-level coordination language which conforms to the BPMN 2.0 specification and is intended for architecture-centric model-driven software development. SCOPE differentiates between the space-based choreography of multiple concurrent process components and the orchestration of fine-grained activities within a single process component. The SCOPE workbench is based on the Xtext language framework.

Modelio-Open is a project hosting a set of open source extensions (SoaML, SysML and UML Testing Profile) for a previous version (1.2) of the Modelio Free tool . Currently, the lastest version (2.x) of Modelio modeling and generation tool is available at http://modelio.org/downloads/download-modelio.html. All extensions are downloadable at http://forge.modelio.org/projects.

This project has been moved to the Apache Incubator under the new name Isis. For complete details and latest downloads see http://incubator.apache.org/isis/.

The “RDB2RDF Mapper” is a Java based software desktop application which allows a user to create a mapping file between a relational database and an RDFS/OWL ontology via a graphical user interface. This project is ANDS-funded.

components4oaw delivers workflow components which are commonly used within the MDSD framework openArchitectureWare.

Provide an API that allows developers to author technical diagrams without using cumbersome drag and drop editors.

Graphical Microcontroller Programming (GMP) is an expert-in-a-box solution which provides an intuitive user interface giving non-professionals the chance to easily create microcontroller programs by graphical means. Vienna University of Technology.

Mosquito is an open source Java library for parsing Power Designer PDM files and converting them to the in-memory structure based on object model provided by this library. It is quite useful for relational model based code generation.

Feature Modeling Plug-in is a tool for modeling the features (requirements) of a product line and configuring products. Product configuration is supported by automatic choice propagation and conflict resolution. Visit Home Page for papers, demo, HOW-

gwt-html5-graph(GWT Diagram Library Components) based on: * Google gwt * html5-canvas: IE9/IE10/firefox/safari/opera/chrome * eclipse-gef: Graphical Editing Framework * eclipse-emf: eclipse Modeling framework< * eclipse-uml2: eclipse UML2 project gwt-html5-graph: html5-based technology, has successfully excellent graphics editing framework Eclipse GEF, model editing framework Eclipse EMF, and the Eclipse UML2 Eclipse EMF-based so successfully...

Project for develop and implement a tool to speed up the use of Design Patterns and UML Diagrams in Java. The project is about UMLClasses2Java: make automatic the process of generate a Class Diagram. The project uses eUML2.

PerMoTo is a Performance Modelling Tool suite for decision support in the capacity and performance management of distributed transaction processing systems based on Queueing Theory and Discrete Event Simulation.

YAW is a tool to transform uml to source files and generate source files from templates. This allows a model driven development (MDA/MDD). YAW is written in java as a plugin for eclipse. Use and extend of YAW is simple and without complex configuration.

Antares DSM is a software to manipule all types of DSMs (see more about DSM in www.dsm.org). In Antares DSM is possible create, see, and execute functions to optimize the DSM projects.

(S)chneider (T)ransports (A)ccounting (R)ich Client is a business application for administrating a transport company's customer base, truck fleet, cost of repairs, invoices and delivery notes.