Search Results for "sif validation tool"

The NIEM MEP Builder v1.0.1 is a tool designed to assist a user when constructing Message Exchange Packages (MEP)s, formerly known as Information Exchange Package Documentation (IEPD)s. This tool streamlines the process used to produce these packages. This is an active development project. Additional functionality will be added to subsequent releases.

Welcome to the page for "Data Modeler"; a free tool to create Microsoft SQL Server databases. If you use Microsoft SQL Server and are in search of a clean and intuitive (and free!) data modeler, search no further. With object-level DDL previews, schema support, real-time model validation and DDL regeneration, sub-models, bulk undo/redo, drag 'n' drop foreign key creation, a data dictionary, update/delete foreign key automation, and customizable fonts and colors, this data modeler...

This tool allows to generate a graphical representation of an EMF model (using GraphViz utility http://www.graphviz.org/). It may be considered as a lightweight readonly GMF alternative.

The CoreASM project focuses on the design of a lean executable ASM (Abstract State Machines) language, in combination with a supporting tool environment for high-level design, experimental validation and formal verification of abstract system models.

Charmy is a tool for specification of Software Architectures through diagrammatic, UML-based notations, and validation of the architectural specification conformance with respect to functional requirements.