MDA support for Alloy
This project intends to develop tools to enable MDA support for the formal modeling language Alloy.
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.
In Systems Biology models are created in various formats (Matlab, Java, C/C++, Python, ...). "Annotate Your Model" will help you to link your model to biological web resources by creating a CSV file containing MIRIAM annotations.
Architecture model items and symbols useful when modelling a rail system. Model stored as XMI for use in tools.
The markup language for design the programs
Blueprint Builder is an integrate environment for development the blueprint documents. Blueprint is a technology for designing : 1. structure of program 2. process of development 3. business processes The technology is compatible with Rational Unified Process Articles about Blueprint in english and ukrainian reveals the major moments of the using Blueprint technology. Examples of the using technology includes the blueprints of MultiText Editor, Blueprint Builder and Neutrino (Java library for text editing) The program costs $500. See Donate section for datails Requirement : Java 1.6
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
This is a fork of OpenBabel that provides a new DENR method for partial charges calculation.
Enterprise Architect Code Template for LotusScript allows for MDG of LotusScript Code from UML class diagrams. Generates module skelletions including parameter documentation.
Experimental framework to realise event based components
The concept is to reduce (eliminate) dependencies between classes. An EBC-Handler stores them all and realises the communication between the components via signals and slots. Have a look and try out this concept.
The ERIK Resource Integration Kit (ERIK) is a C++ toolkit for modeling resources and the interactions among them.
An editor for the specification of Graphol ontologies
Eddy is a graphical editor for the specification and visualization of Graphol ontologies. Eddy features a design environment specifically thought out for generating Graphol ontologies through ad-hoc functionalities. Drawing features allow designers to comfortably edit ontologies in a central viewport area, while two lateral docking areas contains specifically-tailored widgets for editing, navigating and inspecting open diagrams. Eddy is equipped with design-time syntax validation functionalities which prevents ontology designers from constructing invalid Graphol expressions: feedback on the validity of the expression is given through color coding diagram elements. Eddy also supports the standard profiles of OWL 2, i.e. OWL 2 QL, OWL 2 RL, and OWL 2 EL (to appear). Moreover, to support interaction with third-party tools such as OWL 2 reasoners and editors like Protégé, Eddy is able to export the produced Graphol ontology into an OWL 2 ontology.
Free software for generating understandable and accurate fuzzy systems
GUAJE stands for Generating Understandable and Accurate fuzzy models in a Java Environment. Thus, it is a free software tool (licensed under GPL-v3) with the aim of supporting the design of interpretable and accurate fuzzy systems by means of combining several preexisting open source tools, taking profit from the main advantages of all of them. It is a user-friendly portable tool designed and developed in order to make easier knowledge extraction and representation for fuzzy systems, paying special attention to interpretability issues. GUAJE lets the user define expert variables and rules, but also provide supervised and fully automatic learning capabilities. Both types of knowledge, expert and induced, are integrated under the expert supervision, ensuring interpretability, simplicity and consistency of the knowledge base along the whole process. Notice that, GUAJE is is an upgraded version of the free software called KBCT (Knowledge Base Configuration Tool).
Visualize Galois sub-hierarchy of 2d matrix
GSH builder is a free Galois Sub-Hierarchy visualization tool. The algorithm for calculating GSH is called Pluton and the present Java realization is based on two articles. "Efficiently computing a linear extension of the sub-hierarchy of a Concept Lattice" by Anne Berry, Marianne Huchard, Ross M. McConnell, Alain Sigayret and Jeremy P. Spinrad. "Performances of Galois Sub-hierarchy-building algorithms" by Gabriela Arevalo, Anne Berry, Marianne Huchard, Guillaume Perrot and Alain Sigayret In you're in need of other GSH algorithms or their realizations in C++, you might want to investigate a project called Galicia on sourceforge. This program is free software and is licensed under GNU General Public License as published by the Free Software Foundation. Only jre7 compliant at the moment.
The group "IS we MUST!", yet another group of Genua's SE
This project has the intention to support MVP with MVVM patterns in a new framework for desktop or web applications. This framework support an MVP or MVP-VM implementation. More info at http://javamvpvmframework.blogspot.com
Shows an unexpected exception handling design pattern concept, in Java
Java Throwability Design Pattern v1.3. This project serves to show the concept of the Throwability Design Pattern in Java. About the Throwability Design Pattern: 1. It is a design pattern suggested, and named, by Daniel Silva Ferreira Bruno. 2. It serves to handle, in a simple way, with unexpected errors, and exceptions, in a generic app (written in Java, for this project!). 3. It can to be done in any programming language that support it. 4. It serves for classes and interfaces, in Java. 5. It works with Java 6, Java 7, and Java 8, at least. Read more, from README file, in the files section of this project. This project is no longer active because I stopped playing with Java since a long time.
MIDE is an IDE for working with UML Class Diagram model. It extends the Eclipse UML2 Editor and provides *carrying out complex tasks in one click *query gui engine * and a pattern-matching engine for detecting design errors as soon as they are made
Moka, a 3D topological modeler
MOKA is a 3D geometrical modeler based on a topological kernel using generalized maps.
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
A project to put the focus on the model and the meta-model, instead of the code
cxUML is a UML/MDA platform for Microsoft Windows, licenced under a modified version of GNU GPL, mostly written in C++/Qt
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.
Java 2D & 3D visual entity relationship design & modeling (ERD,SQL) for Oracle,MSSQL,Postgres,MySQL,...,Database change&dictionary management, Swing Data Binding, Apache FOP Renderer for dot matrix printers,Sparx Enterprise Architect Reports + more
Utility converts the weights file of a MLP Breadboard into a formula
The NeuroSolutions: Formula Generator utility converts the weights file of a default MLP breadboard (1-hidden layer with a TanhAxon in the hidden layer and either a TanhAxon or BiasAxon in the output layer) into a usable formula that can be copied and pasted into your own programs to compute the output of the trained neural network.