Search Results for "non-free"

...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.

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 forum: https://www.modelio.org/forum/index.html.

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

...The pattern-based approach will involve a wide community interested in creating market specific solution using modularity and extensibility approach, but with a incredible faster time to production. Due to its Open source nature, Czero will avoid any risk of dependency on product by vendors and you be free to choose your own decisions, having always at disposal source code and data to manage every transition.

TerraER is a free, open-source application that makes the understanding of data modeling much easier. The tool is addressed to academics, specially to support modeling database courses. Come to our web page to download TerrarER: http://www.terraer.com.br/index_en.html ---------------------------------------------------------------------------------------------- O TerraER é um programa gratuito, que facilita o aprendizado de modelagem de dados.

A graphical process designer and engine extension for JBoss jBPM with dataflow capabilities, common task nodes: SQL, FTP, R (Stats), Groovy and email and round-trip process engineering/management from an Eclipse-based editor

This is the page for my MSc project, which concerns the convertion of some UML diagrams into UPPAAL timed automata, in order to apply model-checking.

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.

W3LVisualizer is a general Web-based visual editor. With its extension mechanism, it provides a framework for building custom editors easily. The frontend is writting entirely with HTML and Javascript using AJAX technologies.

NetBeans plug-in allowing arbitrary programs to send NetBeans any keyboard events. Communication is achieved via a stateless ASCII TCP-based protocol. The keyboard events are injected into NetBeans's UI by way of a java.awt.Robot instance.

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.

Developed to suport a quickly way to generate a single '.sql' script (create) file using an [Oracle dabatabase conection] containing all DDL information in the database schema.

This is a software visualizer built entirely on non-iconic glyphs, with support for color-impaired operators. Renderings produced show software as a diagram, not as a written language. The SableCC language interpreter is involved.

TinyUML is a free software tool for easy and quick creation of UML 2 diagrams. It is implemented for the Java platform. At least Java SE 6 is required.

A partire da casi reali si vuole condividere prototipi e/o documentazione. Il contesto di riferimento è il mondo della PA italiana.

JRequisite is an agile requirement management tool. Its main goal is to give the developer community a free, user friendly, and powerfull tool for requirement analysis and change management.

MCC is a UML model consistency checker, built as a plug-in for Poseidon for UML, based on description logics. Provides automated consistency checking of UML models.

A CASE tool provides a GUI design environment and code generation to support an XML-based Architecture Description Language (ADL). The ADL can be used to formally specify the software architectures of complex component-based systems.

Mosaique is a free open source Java Eclipse 3.x plugin to browse a Tiles based JSP inclusion hierarchy in order to understand how pieces fit together.

Eclipse plug-in allowing arbitrary programs to send Eclipse any keyboard events. Communication is achieved via a stateless ASCII TCP-based protocol. The keyboard events are injected into Eclipse's UI by way of a java.awt.Robot instance.

This project was created byFAGOC's students to be a collaborative project development to develop a platform for RAD WEB development.