Write, check, index and diagram Z specifications in Microsoft Word.
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 Spatio-temporal Kriging is a small software for kriging. The main function of this software including:
1. This software have both Chinese and English speech interfaces; 2. Supports three kinds of time data format(day,month and year; 3. Analysis of basic statistics and normal distribution inspection; 4. Spatio-temporal Semi-variance Calculating; 5. Spatio-temporal model curvefitting of both separable and non-separable models; 6. Spatio-temporal interpolation of single time and many...
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...
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.
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Dzine is a case tool for OOAD. Draw use case,interaction,class,deployment,ER Diagrams. Code generation in C++ and java and for SQL. Reverse engg design from code. Just put in your Java or C++ code and generate class diagrams.