Search Results for "qt uml"

DAE Tools is a cross-platform equation-based object-oriented modelling, simulation and optimisation software. It is not a modelling language nor a collection of numerical libraries but rather a higher level structure – an architectural design of interdependent software components providing an API for: - Model development/specification - Activities on developed models, such as simulation, optimisation, sensitivity analysis and parameter estimation - Processing of the results, such as...

The Common Event Driven Application Runtime (CEDAR) is set of software to design, code generate and run, event driven applications. This formalism is an extension of the Shlaer–Mellor method and executable UML, facilitating deployment of domains across multiple hosts, using networked bridges to process and pass events between them. Core technologies: XML, Python, Qt/PySide. Current release solely targets Linux, but has previously run on macOS. Currently released components are: - eda-model: XML schema and schematron that define the storage of a valid design...

Konzept is a small class diagram editor. Major design goal was usability. The project was inspired by the static diagram editor of the Toolkit of Conceptual Modelling. Konzept is a pure Qt application written in Python.

Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.