Search Results for "computer"

An integrated CASE system that: • Supports multiple views and stages of project development – from keeping track of reference documentation to analysis/design modelling, to project implementation, roll-out and tracking the project-related issues. • Supports distributed development of projects by multiple participants, while proactively enforcing access control rules and auditing changes. • Is available on all platforms where development takes place (Windows, Unix/Linux, MacOS,...

Tools to allow Z specifications to be written in Microsoft Word. Includes a unicode font for Z symbols. Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure; Conversion from Spivey to Standard Z- also available as a stand-alone program and Java class for non-windows users. See project website for details.

Pretty Damn Quick (PDQ) analytically solves queueing network models of computer and manufacturing systems, data networks, etc., written in conventional programming languages. Generic or customized reports of predicted performance measures are output.

Modelio is an open source modeling environment tool providing support for the latest standards (UML 2, BPMN 2, ...). It can be extended by adding modules which add new functionalities. A large set of modules (free and open source) supporting code management (generation/reverse), modeling standards (TOGAF, SysML, SoaML, ...), document generation, ... is available from the Modelio Store (https://store.modelio.org/). Need help or want to share experience with the Modelio community? Go to our...

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

JS/UML is a plugin for the Eclipse IDE that reverse-engineers JavaScript code to a UML model which can then be used to generate documentation and other artifacts.

The FXL Project Eclipse Plugin leverages the integration of DSLs, (meta-) modeling approaches, code generation and the development of software configuration tools (sw-component-configuration).

Green, an Eclipse plugin, is an advanced yet simple UML class-diagram tool, developed primarily for student use. It does live round-tripping, so it's easy to move between diagram and code views. It's extensible: users can define their own relations

Taylor MDA is a specialized UML modeling tool based on Eclipse. It uses convention-based techniques to generate the maximum code from streamlined UML models. Templates are included for generating JEE applications based on JPA/EJB3 and JSF/Seam/Facelets.

EMFTrace extends the EMFStore repository by elicitating dependencies between related models of different modeling and programming languages. The explicit recording and modeling of different types of dependencies as traceability links shall support evolutionary changes by impact analysis, early evaluation of quality flaws, and better comprehension. It is an open source project to support the practical application of research results regarding development methods for evolution of software...

NRL is a near-English, model-driven language for expression business constraints, actions and transformations. It works with diverse models, such as UML or XML Schema, and is designed to make it easy to translate to target languages like Java or XSLT

Provide Eclipse plugins that support the CA Plex application development tool

A Eclipse-based toolset for early verification and validation of goal-based requirements models for the KAOS methodology.

A openArchitectureWare based Generator for deriving a WS-Agreement document from a formal description of a (Web-)Service and its associated assertions (SLO) to Quality Of Service (QoS). You can use predefined QoS parameters as well as introduce new ones.

BundleParser is a Bouml plugout for modelling OSGi and Eclipse bundles .

The Coverage Simulator transforms test models. The satisfaction of a weaker coverage criterion on the target model corresponds to the satisfaction of a stronger coverage criterion on the source model. Thus, it supports many model-based test generators.

JPEd is a graphical editor for processes descriptions. It uses the XPDL 1.0 interchange format as specified by the WfMC.

Software Process Model Suite is a toolset for modeling and simulate software process models. Is composed by: 1. a simulator engine; 2. a modeling tool based on SPEM, that uses model transformation approach; 3. a visual graphical simulator.

This is a graphical editor and code generator for Live Sequence Charts (LSCs). The code generated follows a simple execution mechanism. It shows a possible execution path. We have added a new local action construct, i.e. a self method call.

A java based editor for creating 3D indoor environments based on 2D input.

Djinn is a java bytecode static analyser. It can produce various dependencies graphs of arbitrary granularity (jars, classes, packages, etc.) and provide a flexible query engine. Update 15 apr 2013: I resumed developpement recently, project has moved to https://github.com/fabienbk/djinn

Clothes - sewing CAD for creation of models of clothes. Based on the new concept of the automated designing of clothes with use of parametrical model. Creates a base design of model of clothes and allows to change it depending on necessity of updating.

Uma Ferramenta de Auxílio ao Trabalho com Matrizes de Rastreabilidade. - A tool to work with rastreability matrix. - Matriz.

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/

This project provides a framework for the generation of workflow code from high-level models. It enables people with no or little experience in this area to generate workflow code a reasonable time by specifying generation templates and reusing adapters.