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.
Polycrystalline evolution simulation library in Fortran 2008 coarrays
Cgpack is a Fortran 2008 library for simulating polycrystalline formation, deformation and fracture. The library uses coarrays and is suitable for HPC use. 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: 10.1098/rspa.2015.0039. The CGPACK library has been successfully linked with ParaFEM, https://sourceforge.net/projects/parafem/, http://parafem.org.uk - a BSD licensed highly scalable FE library. CGPACK can be used with Cray, Intel and GCC/OpenCoarrays, http://opencoarrays.org, compilers. If you are new to Fortran coarrays, have a look at our free coarrays course: http://coarrays.sf.net. CGPACK performance can be understood better with CrayPAT profiling and tracing tools on Cray systems, or with TAU: https://www.cs.uoregon.edu/research/tau/home.php
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
TRANSIMS is an integrated system of travel forecasting tools for modeling regional transport systems. For more information, visit http://code.google.com/p/transims/
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
Fortran library with the Abaqus user material subroutines UMAT/VUMAT
This library contains several of user material subroutines for implicit quasi-static (UMAT) and explicit dynamic (VUMAT) versions of the Abaqus solver. The Abaqus is a proprietary finite element (FE) code ( http://www.3ds.com/products-services/simulia/products/abaqus/). Users can write subroutines for use with the Abaqus. Linear elastic, isotropic hardening plasticity, Gurson-Tvergaard-Needleman (GTN), Rousselier constitutive models are provided. Quote this code as: A. Shterenlikht, N. A. Alexander, Levenberg-Marquardt vs Powell's dogleg method for Gurson-Tvergaard-Needleman plasticity model, Computer Methods in Applied Mechanics and Engineering 237-240:1-9 (2012). DOI: http://dx.doi.org/10.1016/j.cma.2012.04.018
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.
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
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.
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.
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.
ER Databese Model
Tool used to Database ER model
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.
Combinatorial Interaction Testing Laboratory
Although the research community around combinatorial interaction testing has been very active for several years, it has failed to find common solutions on some issues. First of all, there is not a common abstract nor concrete language to express combinatorial problems. Combinatorial testing generator tools are strongly decoupled making difficult their interoperability and the exchange of models and data. In this project, we propose an abstract and concrete specific language for combinatorial problems. It features and formally defines the concepts of parameters and types, constraints, seeds, and test goals. The language is defined by means of Xtext, a framework for the definition of domain-specific languages. Xtext is used to derive a powerful editor integrated with eclipse and with all the expected features of a modern editor. TO INSTALL CITLAB SEE THE DOWNLOAD IN WIKI SECTION <https://sourceforge.net/p/citlab/wiki/Download>
UML Modeling Tool for MDD-based Analysis/Design
SINVAS is a software engineering platform tool to support Full Life Cycle of software development, and is composed of five products. SINVAS acquires Traceability, recyclability and visibility of software development. It will help greatly to the improvement of productivity and product quality. If you send various proposals, functions and bugs of SINVAS to us, we will reflect in the ongoing product development. SINVAS Product Introduction 1) SINVAS REQ - Requirement Management : https://sourceforge.net/projects/sinvas-req/ 2) SINVAS UML - MDD-based analysis/design : https://sourceforge.net/projects/sinvas-uml/ 3) SINVAS DEV - Modeling-based development : https://sourceforge.net/projects/sinvas-dev/ 4) SINVAS TEST - Testing and Validation of software : https://sourceforge.net/projects/sinvas-test/ 5) SINVAS ALM - Management of software development projects and methodology Thank you for your continuous interest and encouragement.
Software Engineering Full Life Cycle Support Tool
SINVAS is a software engineering platform tool to support Full Life Cycle of software development, and is composed of five products. SINVAS acquires Traceability, recyclability and visibility of software development. It will help greatly to the improvement of productivity and product quality. If you send various proposals, functions and bugs of SINVAS to us, we will reflect in the ongoing product development. SINVAS Product Introduction 1) SINVAS REQ - Requirement Management : https://sourceforge.net/projects/sinvas-req/ 2) SINVAS UML - MDD-based analysis/design : https://sourceforge.net/projects/sinvas-uml/ 3) SINVAS DEV - Modeling-based development : https://sourceforge.net/projects/sinvas-dev/ 4) SINVAS TEST - Testing and Validation of software : https://sourceforge.net/projects/sinvas-test/ * SINVAS CRY - Cloud computing based online modeling tool : http://cry.sinvas.com/ Thank you for your continuous interest and encouragement.
FE simulation based automatic global optimisation in modern Fortran
A collection of Fortran 2003, 90 and 77 routines, modules and programs for automatic simulation based global constrained optimisation. The initial application is for FE simulation of elasto-plastic buckling of steel rods aimed at tuning the hardening model. Unix shell scripts are used extensively. High concurrency is achieved with parallel multi-start global search and with parallel MPI FE. Powell's BOBYQA or LINCOA are used (not included in this package). Automatic mesh generation of 3D cylinders is provided + automatic boundary conditions, all via Fortran and shell scripting.
Utility for software systems specifications
System Map is a utility for software developers that want to create well structured software products that are understood by all stakeholders from business to developer. It allows to: - Create "System Maps" to describe software products - Decompose systems deeply Also, it has some cool goodies: - Image viewer for linked wireframes - Track development progress - Trace the specification into the source code And it’s a team player: - System Maps can be exported to MS Word or as image - Freemind is very tightly integrated since it’s a great decomposer as well
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
This is a collection of tools and a code library to assist engineers who are developing SystemVerilog based verification environments. Components include utility libraries, scoreboard and shutdown manager implementation, register tool, etc.
Software developed for the analysis of Neutron Reflectivity data.
A modeling tool for software engineers (OO)
Object Graph Visualizer is a tool primarily meant to be used in CS courses to help new students understand the Object Oriented paradigm and patterns. Classes and objects - that can be part of a software project - are visualised in 3D: The classes stay In the xz-plane in form of an UML class diagram. Directly above in the y-axis objects can be instantiated as an object diagram. Classes can be connected with all sorts of relations (Associations, Compositions, Generalization, etc.), objects with object relations. Following additional functionality is provided: Attributes, Mulitplicities, Roles, Object Graph Mode, Coloring, Save and Load, XMI 1.1 Import from Enterprise Architect, Associations (undirected, directed, bidirected), Aggregations, Compositions, Dependency, Generalization, Multiple Virtual Inheritance (Developer Addendum: It shouldn't be too difficult to add an API for remote application control, e.g. visualize and debug a running programm. See class "ModelViewConnector".)