Search Results for "computer system optimization"

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.

An integrated CASE system that: • Supports multiple views and stages of project development – from keeping track of reference documentation to analysis/design modelling, to project implementation, roll-out and tracking the project-related issues. • Supports distributed development of projects by multiple participants, while proactively enforcing access control rules and auditing changes. • Is available on all platforms where development takes place (Windows, Unix/Linux, MacOS,...

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...

Design/Reverse Engineer/Generate Scripts/Compare Versions of all major databases with "Apricot DB" ERD- tool "Apricot DB" is a database tool for design and analysis of the relational database structure. It represents the DB- structure in the form of editable Entity/Relationship Diagrams (ERD). "Apricot DB" allows to perform reverse engineering on the existing database, as well as to create a new database structure from scratch. Allows to generate the essential DDL- scripts for...

Pretty Damn Quick (PDQ) analytically solves queueing network models of computer and manufacturing systems, data networks, etc., written in conventional programming languages. Generic or customized reports of predicted performance measures are output.

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/

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 (https://store.modelio.org/). Need help or want to share experience with the Modelio community? Go to our...

The Object-Role Modeling (ORM) standard version 2, associated schemas and generation tools, and a reference implementation in the form of the Natural Object-Role Modeling Architect for Visual Studio (NORMA) product.

FiniteSatUSE is a tool that provides correctness methods for UML class diagrams. It uses the USE System syntax for specification of the class diagrams.

** ATTENTION ** THIS PROJECT HAS MOVED TO: https://github.com/pgmodeler/pgmodeler New releases only will be available on GitHub. PostgreSQL Database Modeler, or simply pgModeler is an open source project of a CASE tool for modeling PostgreSQL that merges the classical concepts of modeling using entity-relationship diagrams with specific features that only PostgreSQL implements. The pgModeler translates the models created by the user to SQL code and apply them onto database...

Trike is a platform-independent tool for systematic, computer-assisted threat modeling, from requirements through deployment. We are developing Trike v2 on GitHub (https://github.com/octotrike/trike). Our mailing lists are still here on SourceForge, and we're leaving the old code repository & releases up for archival purposes. Plus you probably want to use something while you're waiting for v2.

JNOMO is a Jean Plugin for providing more expresiveness in its rule language. This plugin allows for retracting or priorizing rules, removing facts as a rule consecuence or even asking for the "unspecified" information into Knowledge Base.

MyBPMN is the free BPM(BPMN) Solution that will enable you to model, execute and improve your business processes through a graphic environment and without the need of programming.

An alternative to the page-chapter-paragraph documentation approach. LivCos allows you to teach the computer the structure of your content, so it can support you in various contexts. Pages will be generated as one of many views on the actual content.

JRequisite is an agile requirement management tool. Its main goal is to give the developer community a free, user friendly, and powerfull tool for requirement analysis and change management.

A RAID tool for developing enterprise applications based in a XML model for the applications and different runners, (rich-clients in swing, web-clients, etc,...), independent of the architecture (WebServices, J2EE, two-layers,..)

Buildap is a Visual Component Based Development framework. It is available as standalone tool as well as Netbeans and Eclipse plugins. SVG viewer/editor and Diagram Editor are also available. See Buildap powered project at http://e-records.buildap.com/.

EasyStruts provide advanced support for developing Struts web applications with Eclipse . keywords: MVC, Struts, Eclipse, Java