ECLiPSe Constraint Logic Programming System
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.
A Database System for Metamodeling and Method Engineering
ConceptBase.cc is a multi-user deductive and object-oriented database system for metamodeling and method engineering. Includes a graphical client that builds upon the logic-based features of the ConceptBase.cc server. The data model is O-Telos. ConceptBase.cc can represent information at the data level (example data, traces of process executions etc.), the class level (schemas, process definitions etc.), the metaclass level (constructs of modeling languages), the meta-metaclass level (constructs for defining modeling languages), and so forth. ConceptBase.cc is developed by the ConceptBase Team at University of Skövde (HIS) and University of Aachen (RWTH). ConceptBase.cc supports Linux, Mac OS X and Windows. ConceptBase.cc is free software distributed under a FreeBSD-style license.
The Umple Model-Oriented Programming Technology
Umple is technology for Model-Oriented Programming. It adds abstractions such as UML associations, attributes, and state machines to object-oriented programming languages such as Java, C++, PHP and Ruby. A developer can use Umple in one of several ways. They can start with a pure model, containing only classes, associations, attributes and state machines, and then gradually add methods in one of the base languages to the Umple code base. Alternatively a developer can start with a normal program in a language like Java, and add modeling constructs in very small increments, gradually moving their system from a code-centric system from a model-centric system. Either way, Umple provides top-quality code generation. Umple is being used, for real systems. In fact the Umple compiler itself was written in Umple. Any Java, C++ or PHP project could use Umple. The UmpleOnline web app provides a quick way to explore the Umple approach. It is at http://try.umple.org
PREESM provides a complete framework for fast prototyping. It generates a simulation and an optimized multiprocessor code from graph descriptions of algorithm and architecture. Please visit the project homepage at http://preesm.sourceforge.net.
Object-oriented equation-based modelling and optimisation software
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 plotting and exporting to various file formats - Report generation - Code generation, co-simulation and model exchange The following class of problems can be solved by DAE Tools: - Initial value problems of implicit form - Index-1 DAE systems - With lumped or distributed parameters - Steady-state or dynamic - Continuous with some elements of event-driven systems
PlantUml allows to quickly create some UML diagram using a simple textual description language.
MathMod is a mathematical modeling software
MathMod is a mathematical modeling software that visualize and animate implicit and parametric surfaces. MathMod supports: 3D and 4D plotting and animation, OBJ output file format, Textue and pigmentation support, Noise and Turbulence effects support,Large set of scripted examples. Changelog for MathMod-6.1 (08/10/2017) 1) Localization support for German, French (and all Localizations that mainly define “,” as the decimal separator key symbol). Also, an automatic detection of the localization can be activated/deactivated by setting the parameter "Localization”—> "AutomaticDetection" in the mathmodconfig.js file (by default, it’s set to “true”). 2) Added: "Progress bar" to show calculations progress in real time. 3) Three bugs correction, code cleaning and optimization. For more informations: https://sourceforge.net/p/mathmod/tickets/milestone/Trunk/ More infos: FaceBook: https://www.facebook.com/MathMod-5295102538
Graph transformation, model transformation, object-oriented verification, behavioural semantics
EcoLab is a C++ based Agent Based Modelling system, with emphasis on high performance computing for scaling to large simulations.
"black technology" will improve development productivity by 1.5 to 5
More than just an entirely free Java code generator, It's also a development automation tool(Much more than a normal code generator). Maybe it can become your "black technology" will improve development productivity by 1.5 to 5 times, Zero coupling to your project and without changing anything. Normal code generator flow: Template → Source Code Jmr development automation flow: Template/Model/Action → Task → Source Code/Test Case/Document Template: Support Java Script(<%%> JSP-like) and Jmr Tag(set/get/for...) Model: Database Model(like Table/View), Java POJO Model, Xml File Model and includes Transform/Mapping/Convert Tool Action: A Java Class can set Java variables to template. Support any kind of project Maven, Gradle, Web, Java, Android, PHP, Python etc. Support any kind of framework spring/springMVC, hibernate, ibatis/mybatis, struts/struts2, JPA etc. Support any kind of language Java the best.
This project provides a generator for conneting the YAKINDU Statecharttools with a Qt application. Since the concept of incoming and outgoing events is similar to the Qt signal and slot concept it is logical to link both together. Note that the generated code is an Addon onto the already generated C++-Code from SCT. So you need two sgen-files. One to generate the C++ statemachine and one to generate the link layer between the statemachine and your Qt application.
Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
Specifications for TRAK architecture views
The architecture viewpoints (specifications for architecture views iaw ISO 42010) for TRAK. TRAK is a general systems-thinkers'/system engineering enterprise architecture framework. It is simple, user-friendly, pragmatic and not limited to IT. Defines a total of 22 viewpoints. The ones needed for any task are selected by taking the task sponsor's concerns and matching them to the typical concerns that each TRAK viewpoint addresses. The minimal process is defined in the overall TRAK specification. The allowed elements and relationships are taken from the TRAK metamodel.
Implementation of TRAK enterprise architecture framework as UML profil
UML profile for TRAK that provides the objects and relationships needed for a UML enterprise architecture modelling tool. TRAK is a general systems enterprise architecture framework based on MODAF.
Syntax tree editor for rapid annotation of existing text
Linguistic Tree Constructor (LTC) is a tool for drawing lingusitic syntax trees of already-existing text. It is a syntax editor, not a text editor, so the text has to exist already. It is best suited for large-scale, rapid creation of hand-annotated treebanks. The user can define their own node categories, and can label each node with labels, also definable by the user. LTC supports "generic", X-Bar and RRG trees. Supports interlinear texts in SIL SFM format.
Tuples (triples) for TRAK enterprise architecture viewpoints and views
The definition of the metamodel for TRAK (defines allowed AD elements and relationships i.e. tuples/ triples for the TRAK viewpoints and views). TRAK is a general systems-thinkers'/system engineering enterprise architecture framework. It is simple, user-friendly, pragmatic and not limited to IT.
Toolkit for agent-based & dynamic microsimulation modelling
JAS-mine is a Java platform that aims at providing a unique simulation tool for discrete-event simulations, including agent-based and microsimulation models. With the aim to develop large-scale, data-driven models, the main architectural choice of JAS-mine is to use whenever possible standard, open-source tools already available in the software development community. It has built-in utilities for communicating with an underlying relational database. In addition, the platform provides standard tools which are frequently used both in agent-based modelling and dynamic microsimulations, like design of experiments (DOE), run-time monitoring and visualization with plots and graphs (GUI), I/O communication and statistical analysis. JAS-mine source code can be found on GitHub, with the core repository at: https://github.com/jasmineRepo/JAS-mine-core and the GUI repository at: https://github.com/jasmineRepo/JAS-mine-gui
Data Type Definition System
DTDS is a system of definition of data types for unification of information exchange with use of different Samond Classes Library functions and for generation of source texts based on the completed data type definition
The Whole Platform is a technology for engineering the production of software. We provide an Eclipse based Language Workbench for developing, manipulating and transforming languages using a model driven approach.
A free cross-platform editor for the DRAKON visual language.
A canvas library for generating technical drawings
The ADG library (Automatic Drawing Generation) is a set of functions focused on automating the drawing of mechanical parts. It is not a CAD system but a GObject-based library where a custom application can put common CAD entities such as paths, hatches and dimensions, to automatically create technical drawings. A demo application is provided in order to show the capabilities of the canvas. Although it is possible to interact with the library directly in C (that is what the adg-demo program is doing), the canvas is expected to be used from higher level languages, much in the same way as what done in the GNOME stack. Lua bindings based on LGI are already provided out of the box. The adg-lua project, downloadable from the "Files" section, provides Lua programs and demos that leverages these bindings.
USE is a system for the specification and validation of information systems based on a subset of the Unified Modeling Language (UML) and the Object Constraint Language (OCL). Please report any encountered bugs using the ticket system. The USE documentation can be found on the project homepage linked below. Downloads for the most popular plugins can be found here: http://sourceforge.net/projects/useocl/files/Plugins/
Modeling tool supporting UML, BPMN and other standards
Modelio is an open source modeling environment tool providing support for the latest standards (UML 2, BPMN 2, ...). It can be extended by adding modules which add new functionalities. A large set of modules (free and open source) supporting code management (generation/reverse), modeling standards (TOGAF, SysML, SoaML, ...), document generation, ... is available from the Modelio Store (http://store.modelio.org/). Need help or want to share experience with the Modelio community? Go to our forum: http://www.modelio.org/forum/index.html.
simulated annealing optimization and importance-sampling
Adaptive Simulated Annealing (ASA) is a C-language code that finds the best global fit of a nonlinear cost-function over a D-dimensional space. ASA has over 100 OPTIONS to provide robust tuning over many classes of nonlinear stochastic systems.