Search Results for "design"

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.

The object-oriented modeling tool enables you to design and store diagrams (included in the ICONIX design process) in text and graphics, analyze the contents of diagrams, and create project reports. Diagrams are defined using a simple and intuitive language PlantUML. For the full operation of the application, graphviz is required. Link: https://graphviz.org/ Report an error or suggest an improvement: https://bitbucket.org/rrrfer-admin/uchebnaia-sreda-proektirovaniia/issues?...

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

Static analysis tool for C & C++ source code. Object browser, source viewer and preprocess demistificator. Dependecy solver and hierarchy ilustrator.

Duplicated source code can harm maintainability of software systems. Duplo is a tool to find duplicated code blocks in large C, C++, Java, C# and VB.Net systems.

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.

Nmdepend is a lightweight 'link-time' dependency analyzer for C++. It uses object files and libraries instead of source-code as input. It can help to manage 'cross-directory' dependencies. Dependencies can be visualized in combination with Graphviz.

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