Search Results for "modelling"

The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.

UML (TRAK) and SysML (TRAK_SYSML) profiles for the TRAK open source architecture framework that provides the objects and relationships needed for implementation of TRAK in a UML enterprise architecture modelling tool. TRAK is a general systems enterprise architecture framework based on MODAF.

EcoLab is a C++ based Agent Based Modelling system, with emphasis on high performance computing for scaling to large simulations.

Custom add-in (MDG technology) for Sparx Systems Enterprise Architect UML modelling tool (https://sparxsystems.com/products/ea/index.html) to create architecture descriptions using TRAK https://sf.net/projects/trak Provides: - the set of TRAK views that can be represented using UML and SysML . Each view display a custom toolbox palette with the objects and relationships that are needed for that TRAK view - relationships can be made directly from the objects on a view using the Quicklink feature which presents the allowed relationship(s) by TRAK between the pair of objects selected - a custom set of searches. ...

...It can be used in materials science (microstructure evolution, grain coarsening, fracture etc.), physics (Ising magnetisation) and for many other CA. If you use the library, please reference it as: A. Shterenlikht, L. Margetts, Three-dimensional cellular automata modelling of cleavage propagation across crystal boundaries in polycrystalline microstructures, Proc. Roy. Soc. A 471:20150039, DOI: http://dx.doi.org/10.1098/rspa.2015.0039. CASUP can be linked with FE (e.g. MPI FE library ParaFEM, http://parafem.org.uk) for a multi-scale multi-physics CA-FE framework. CASUP extensively uses Fortran 2008 and 2018 coarrays, as well as MPI, OpenMP and do concurrent. ...

The bflow* Toolbox is an open source tool kit for business process management. The objective of bflow* is to explore new ways and scenarios for the development and use of modelling tools.

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.

This project develops a graphical tool to support i* modelling and analysis of the stakeholder requirements. The main development site is at https://se.cs.toronto.edu/trac/ome

PerMoTo is a Performance Modelling Tool suite for decision support in the capacity and performance management of distributed transaction processing systems based on Queueing Theory and Discrete Event Simulation.

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

netCCM Studio is a component-based modelling tool.

Integrates the ArgoUML modelling tool into IntelliJ IDEA 8+

A Java library and supporting modelling/execution tools that combine Robin Milner's formal Bigraph model with the indirect communication abstraction of Gelernter's tuple-space, i.e. a coordination system based on bigraphs.

Java reverse-engineering plug-in for Eclipse Modelling project. Depends on JDK and UML2 eclipse projects. Supports JKD5, including enums and generics.

this project want to be a must program: with this software many people can modelling a UML Diagram at the same time!!

Narrator is a graphical modelling tool for the description of dynamical systems and processes. Narrator is SBML compatible.

The SpringEditor is a plugin for the Eclipse IDE (http://www.eclipse.org) that supports graphical modelling of application contexts for the spring framework (http://www.springframework.org).

JAMT provides an easy way to create UML diagramms. In the first version it is possible to model class diagramms. State and activity diagramms are planned. Future extensions of JAMT could be code generation and design patterns assistance.

Php2Xmi is a command-line tool written in PHP which scans PHP classes and builds an XMI file with UML representaion of classes found. XMI could be viewed using KDE's Umbrello modelling tool

The UEMLFacilitator project aims to develop and evaluate a prototype GUI for defining and managing the Unified Enterprise Modelling Language version 2 (UEML2).

An AToM3 definition of a CASE framework for creating Zope products with files in the filesystem. The framework consists of a modelling notation ZProduct and a suit of related transformations.

PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)