Search Results for "using"

Xtu is a support framework for implementing Platform specific models (PSM) using the xUML methodology. xUML is a formalized methodology for Model based systems engineering (MBSE) targeted at SW and HW development. Xtu implements the xUML elements Domains, Bridges, Signals, Classes, States, Events & Finite state machines. Xtu targets C++11 & STL compatible PSMs.

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/

QPNet (Quick Petri Net) is a fast Petri Nets' emulator, created by students of Moscow State Technical University of Radio Engineering, Electronics and Automation. It brings benefits for the educational process, while being under further development and extension. QPNet это быстрый эмулятор сетей Петри, созданный студентами МИРЭА. Он применяется в учебном процессе, а так же продолжает разрабатываться и эволюционировать.

Go! is a framework that enables development of user space device drivers in Linux. Go! allows Linux device drivers to be written using UML and C++, and deployed in user space with minimal effects on performance.

** ATTENTION ** THIS PROJECT HAS MOVED TO: https://github.com/pgmodeler/pgmodeler New releases only will be available on GitHub. PostgreSQL Database Modeler, or simply pgModeler is an open source project of a CASE tool for modeling PostgreSQL that merges the classical concepts of modeling using entity-relationship diagrams with specific features that only PostgreSQL implements. The pgModeler translates the models created by the user to SQL code and apply them onto database clusters from version 8.0 to 9.1. Please, let me know how the pgModeler is working on your computer! Help to improve this project, give your feedback about the software or report any bug at "Tickets" page. ...

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.

This screensaver shows ripples on the desktop. The main aim of this project is using GPU for calculations.

Dinjam is an opensource, crossplatform (data) modeller especially intended for educational use. It is highly extensible through a sophisticated plugin mechanism.

Quantum Mechanical Toolkit And 3D Viewer for C++. Allows Data Visualisation via Images, Surfaces and Volume plots using OpenGL, as well as rapid development Quantum Mechanical Simulations. Uses the Blitz++, VTK Visualisation and Qt Libraries.

ServiceComposer is a tool to develop composite Web services using the Model-Driven Architecture principles and UML 2 modeling language. More precisely, the modeling language used in a UML 2 profile called UML-S (UML for Services engineering). A class

SYSTEM FOR DESIGNING AND SIMULATE CONCURRENT AND DISTRIBUTED PROGRAMS IN CLUSTER ARCHITECTURE Provides graphical interface for configuring relationships between cooperating, abstract processes and simulate it in real cluster environment, using MPI.

pmMDA - poor man MDA - is a pragmatic MDA code generation engine based on Velocity. The implementation is done in Java. The input model is defined using UML tools - e.g. ArgoUML -. Target frameworks are provided to realize complex applications.

Framework for literate programming using XML written in C++. Boost, The STL and Patterns are used extensively. All platforms which support Boost will be supported.

A graphical interface programming system allowing the visualization of code and capability to generate threaded code. The user constructs code segments using visual boxes. The program flow is represented as links between the boxes.