Search Results for "basic-miktex-2.9.6"

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.

Support for more productive Model Based Systems Engineering, following the recommendations in the Cookbook of the INCOSE SE2 Challenge team http://mbse.gfse.de The Plugin for the MagicDraw modelling tool provides support for model based document generation which ties together system model and documents to keep them up to date and consistent, using a AWYSIWYG editor in MagicDraw. It provides basic support to model variants and extract variants from a system model. It provides support to generate organizational structures according to the SE2 Cookbook recommendations. It provides basic pattern based support to reason on a system model, for example to extract numbers like total power, cost, power consumption for a given product tree The MBSE plugin for MagicDraw requires MagicDraw 17.0 SP4 or higher with an installed SysML plugin 17.0 SP5 or higher. ...

WireMaster is a user interface (UI) tool for creating wireframes in an open, XML based format. A wireframe is a basic visual guide used in web design to suggest the structure of a website and relationships between it's pages.