Search Results for "ms-sys"

Circuit diagram editor with library, device editor and adjustable graphic

FOML is an expressive logic rule language that supports object modeling, analysis, and inference. It naturally supports model-level activities, such as constraints (extending UML diagrams), dynamic compositional modeling, analysis and reasoning about models, model testing, design pattern modeling, specification of Domain Specific Modeling Languages, and meta-modeling. FOML can reason about: 1. The model meta-data (meta-model level reasoning, or syntax reasoning) 2. Data level: reason...

Design/Reverse Engineer/Generate Scripts/Compare Versions of all major databases with "Apricot DB" ERD- tool "Apricot DB" is a database tool for design and analysis of the relational database structure. It represents the DB- structure in the form of editable Entity/Relationship Diagrams (ERD). "Apricot DB" allows to perform reverse engineering on the existing database, as well as to create a new database structure from scratch. Allows to generate the essential DDL- scripts for...

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.

Flowcharts not telling you what you want to know about some C source code? Try a State Dependency map! Every C source file is an implemention of a state machine. Implicit in the definition of a state machine is a network of dependencies between the states. The Automalator * deconstructs the C code into the core state machine * collates the transactions into the dependency net * generates a diagram-format file with the states and dependencies as the nodes and edges. ...

[Delphi] Object-oriented library designed to help you with the developing of simple CAD applications and diagramming.

Generic diagramming, graph-drawing and graph-layout kit for the Microsoft .Net framework - inheriting from the original Netron project

Round Trip Engineering UML Class diagram tool. No longer being maintained.

SVG export script for powerpoint. You create a diagram using powerpoint's shapes, text boxes, drawing tools, etc. Then you run export_to_svg (a macro) and bingo you have an SVG fragment that you can view in your favourite browser.