Search Results for "create"

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?status=new&status=open Ask a question and get advice: https://github.com/topics/forum About PlantUML: https://plantuml.com/

itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information!

GLOB allows OpenGL programmers to create a variety of 3D meshes ranging from spheres, cubes and cyliders to NURBS and extrusions. GLOB compiles under Windows, Linux-based OSs and MAC. The library is compatible with OpenGL 4.0+ and doesn't use any deprecated features. 4 attrributes: 4D color, 3D normal, 3D position and 2D texture coordinate are stored per vertex in VAO (Vertex Array Objects).

This program is used to create and solve queueing network models using Mean Value Analysis using a GUI front end and the WX widget library.

An framework to allow developers to create modular applications from smaller, special-purpose programs. Access the API to communicate between processes in a structured system. Highly configurable, security a central theme, extensible, expandable.

DataLG is a Data Access Layer (DAL) generator. Create stored procedures, views, and tables on the database side, then use DataLG to create an assembly (and its source) to interact with them. Works with: Ms Sql Server, Sqlite 3, Mysql 4-5, and PostgreSQL.

Skeleton is a graphical coding environment to easily create and modify rooms/areas of MUDs basing on the Evermore Core Library (EverLib - see www.evermore.de).

ObjectBuilder is a C++ CASE tool (CASE, refactoring, documentation generator). It lets you create, manipulate and navigate classes, class relations, class members and class methods at a high level of abstraction.

Coral is a tool and a development platform to create and transform models and modeling languages. It can be used to edit UML models, to develop editors for other modeling languages and to implement MDA and QVT-like model transformations.

Waters - the Waikato Analysis Tool for Events in Reactive Systems. This software will enable users to create finite-state machine models in a graphical user interface, to simulate their execution, and to apply model checking algorithms to them.

Open Designer is a graphical Conceptual and Physical Data Modeler and a Code Generator either to create the database structure and genenate applications automatically.

This project aims to provide a generic machine vision platform. We welcome all developer to share and to learn create plug-in for the community. The founders of this project are A.N.Y. Albert/Nelson/Yuzzairee