Search Results for "graphical user interfaces"

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.

ObjectBuilder is a C++ code generation CASE tool (CASE, code generation, refactoring, documentation generation). It lets you create, manipulate and navigate classes, class relations, class members and class methods at a high level of abstraction. ObjectBuilder dramatically simplify work with C++ project architecture. I use it and think that tree OO interface targeted to C++ more fast and power than UML class diagrams. ObjectBuilder perfectly organize C++ header files with any level of...

A user-friendly drawing and verification tool for Message Sequence Charts (MSC, HMSC) and UML Sequence Diagrams. Integrated with Microsoft Visio.

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

GGredit is library that implements base functionality for a generic graphic editor. DDraw is a diagram editor designed for Gnome that use GGredit. DDraw is inspired to DIA, it can be used to draw many different kinds of diagrams.

A tool to produce open-source software, written as a C++ Windows application.

MSLK provides the precompiled Win32 binaries of some excellent porject with a GPL or similar open source license. Here will keep updated.

ObjectBuilder is a C++ CASE tool (CASE, refactoring, documentation generator). It lets you create, manipulate and navigate classes, class relations, class members and class methods at a high level of abstraction.

BizWrite - programm, that allow to draw different bussiness-process, classes and other.

Coral is a tool and a development platform to create and transform models and modeling languages. It can be used to edit UML models, to develop editors for other modeling languages and to implement MDA and QVT-like model transformations.

Framework for Java source code analysing, program comprehension and automating software quality. Source code visualisation provided.

Interact with a computer by chatting to it! ChatApps is a graphical Eclipse-based framework to design and execute interactive workflows. Applications can be located in a fashion similar to locating a document with the Google Desktop toolbar.

It is an Unified Modeling Language (UML) based object modeling program in the spirit of Rational Rose and TogetherSoft Together/E.

An easy to use, graphical UML modeling toolkit with XML and JPEG diagram output formats and C++ code skeleton generation

This utility is to construct the interactive function call graph.