Open Source C++ UML Tools

Linguistic Tree Constructor (LTC) is a tool for drawing lingusitic syntax trees of already-existing text. It is a syntax editor, not a text editor, so the text has to exist already. It is best suited for large-scale, rapid creation of hand-annotated treebanks. The user can define their own node categories, and can label each node with labels, also definable by the user. LTC supports "generic", X-Bar and RRG trees. Supports interlinear texts in SIL SFM format.

The Adobe Source Libraries (ASL) are a collection of C++ libraries building foundation technology to allow the construction of commercial applications by assembling generic algorithms through declarative descriptions.

A simple editor for PlantUML. Requires PlantUML (and its dependencies, java and graphviz/dot). Some features: * update the diagram while editing * code assistant to insert ready-made code snipets * written in Qt4, so it should run on all platforms supported by Qt4 and PlantUML * option to cache the PlantUML output to speed redo, undo and loading from disk * can be used as a PlantUML viewer (see the wiki for more info)

** ATTENTION ** THIS PROJECT HAS MOVED TO: https://github.com/pgmodeler/pgmodeler New releases only will be available on GitHub. PostgreSQL Database Modeler, or simply pgModeler is an open source project of a CASE tool for modeling PostgreSQL that merges the classical concepts of modeling using entity-relationship diagrams with specific features that only PostgreSQL implements. The pgModeler translates the models created by the user to SQL code and apply them onto database clusters from version 8.0 to 9.1. Please, let me know how the pgModeler is working on your computer! Help to improve this project, give your feedback about the software or report any bug at "Tickets" page. Do not forget to detail the bug and if possible attach a screenshot or model database which expressed the bug. Follow the pgModeler profile on Facebook/Twitter and be up-to-date with new features, fixes and releases. https://www.facebook.com/pgmodeler https://twitter.com/pgmodeler

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.

DAE Tools is a cross-platform equation-based object-oriented modelling, simulation and optimisation software. It is not a modelling language nor a collection of numerical libraries but rather a higher level structure – an architectural design of interdependent software components providing an API for: - Model development/specification - Activities on developed models, such as simulation, optimisation, sensitivity analysis and parameter estimation - Processing of the results, such as plotting and exporting to various file formats - Report generation - Code generation, co-simulation and model exchange The following class of problems can be solved by DAE Tools: - Initial value problems of implicit form - Index-1 DAE systems - With lumped or distributed parameters - Steady-state or dynamic - Continuous with some elements of event-driven systems

ConceptBase.cc is a multi-user deductive and object-oriented database system for metamodeling and method engineering. Includes a graphical client that builds upon the logic-based features of the ConceptBase.cc server. The data model is O-Telos. ConceptBase.cc can represent information at the data level (example data, traces of process executions etc.), the class level (schemas, process definitions etc.), the metaclass level (constructs of modeling languages), the meta-metaclass level (constructs for defining modeling languages), and so forth. ConceptBase.cc is developed by the ConceptBase Team at University of Skövde (HIS). ConceptBase.cc supports Linux, Mac OS X and Windows. ConceptBase.cc is free software distributed under a FreeBSD-style license.

Complex list management with an extremely versatile interface. Built-in sorting (with abstract variants), finding, iteration, and element manipulation. Supports const-interface elements. Transparent 'virtual array storage' (VAS) for large element types

Fiona is a tool to automatically analyze the interactional behavior of a given oWFN. It provides two techniques: it checks for the controllability of the given net by computing the interactiong graph and it calculates the operating guideline for the net.

QPNet (Quick Petri Net) is a fast Petri Nets' emulator, created by students of Moscow State Technical University of Radio Engineering, Electronics and Automation. It brings benefits for the educational process, while being under further development and extension. QPNet это быстрый эмулятор сетей Петри, созданный студентами МИРЭА. Он применяется в учебном процессе, а так же продолжает разрабатываться и эволюционировать.

DD Thought Tickler is a thinking process recorder. It is a kind of vector graphics editor and idea processor. It has new function not ever known. It records your thinking process, by memorizing every steps that you've operated on this tool.

PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)

2D-GraLab is a program that is dedicated to automatically generating schematic representation of nonbonding interactions across the protein binding interfaces.

a framework library with a template method interface and inheritable classes for an executable process design which produces an executable which is both a GUI and a console application. It provides multi-threading for work items of the provider process .

AMELiA is a collection of libraries developed at the Arts, Media and Engineering Program at Arizona State University. It includes the AME Patterns library, a generic C++ library for modeling, recognition and synthesis of sequential patterns.

Graphical programming environment that provides easy to use even for beginners.

An army of ARM assembly language tools.

The AccessMusic project provides a set of tools for creating accessible music which are freely available to download. These tools allow you to convert music scores from traditional western music notation to formats for the Blind and visually impaired.

Despite the funny name, AnalRisk allows to perform a full risks and requirements analysis. Risks and requirements are graphically displayed. The requirements are graphically connected to the risks that are tackled and to the risks that are introduced.

The BART (B Automatic Refinement Tool) project aims at developing an automatic refinement tool for B machines.

Behavioural Hybrid Process Calculus (BHPC) simulation tool.

This project has moved to GitHub https://github.com/BioGearsEngine/Engine

A framework for creating automatically-assembling trees of objects. Intended to parallel another interface as strictly a data I/O structure (e.g. file load/save in parallel with a GUI displaying it.) Adaptable to any hierachical data format.

That project aims at providing a clean API, and the corresponding C++ implementation, for the basis of Airline IT Business Object Model (BOM), ie, to be used by several other Open Source projects, such as RMOL, Air-Sched, Travel-CCM, OpenTREP, etc.

CHSM is a language system for specifying concurrent, hierarchical, finite state machines (an implementation of "statecharts") to model and control reactive systems.