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.

JNOMO is a Jean Plugin for providing more expresiveness in its rule language. This plugin allows for retracting or priorizing rules, removing facts as a rule consecuence or even asking for the "unspecified" information into Knowledge Base.

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.

Feline is a free and extensible cross-platform Model Driven Development (MDD) environment for embedded systems, covering model creation, model to code transformation, and model validation.

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.

MyBPMN is the free BPM(BPMN) Solution that will enable you to model, execute and improve your business processes through a graphic environment and without the need of programming.

This tool convert text / string /char / character to ASCII and Hex or Hexadecimal. It also convert ASCII to Text and Hex or Hexadecimal. It also convert Hex or Hexadecimal to Text and ASCII. This is a simple, flexible and easy to use for wide range of ap

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.

A metric tool in c# to count java interfaces and classes implementing an interface

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.

Dzine is a case tool for OOAD. Draw use case,interaction,class,deployment,ER Diagrams. Code generation in C++ and java and for SQL. Reverse engg design from code. Just put in your Java or C++ code and generate class diagrams.