Search Results for "open source free typing software"

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.

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

CZero is an Open Source Platform for Adaptive Case Management, developed to ease the creation of advanced solutions to support relations between documents, records, people, and processes, ensuring compliance with government regulations, industry standards, and internal company procedures, according to the European Digital Agenda guidelines. Czero framework, based on Java environment, integrate the most modern solutions like OSGI, CMIS, WSS, LDAP, enabling designer and developers to build,...

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 ferramenta é inicialmente voltada...

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.

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.

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.

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.