Search Results for "automatic"

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.

Quan is designed to model physical quantities in C++ programs. Advantages include automated dimensional analysis checking, automatic unit conversions, self documentation of code.

EiffelStudio is an Integrated Development Environment (IDE) that provides comprehensive facilities to programmers. It offers a comprehensive suite of tools that enable programmers to produce correct, reliable, and maintainable software while keeping control of the development process. If you want to create fast, robust, scalable applications, then EiffelStudio™ will offer you a cost-effective solution. Imagine being able to model your system as you think – capturing your requirements and...

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.

...Edward fuses three fields, Bayesian statistics and machine learning, deep learning, and probabilistic programming. Edward is built on TensorFlow. It enables features such as computational graphs, distributed training, CPU/GPU integration, automatic differentiation, and visualization with TensorBoard. Expectation-Maximization, pseudo-marginal and ABC methods, and message passing algorithms.

Automatic mesh generation of 3D cylinders is provided + automatic boundary conditions, all via Fortran and shell scripting.

Handle your db with magic features automatic schema adapting based on your php classses ** PROGECT NOW ON GITHUB ** GOTO: https://github.com/Javanile/SchemaDB

MOBIDICK (MOdular But IntegrateD applICation frameworK) is dedicated to gather as less as possible Java frameworks in order to complete full needs of large business application and allow regeneration of code, even when java frameworks change.

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

The BART (B Automatic Refinement Tool) project aims at developing an automatic refinement tool for B machines.

VisualPerspective is a modeling and diagram creation tool. It enables to create free diagrams but also semantic oriented ones (for instance UML diagrams), in order to run automatic processing (transformations, exports, parsing). There is currently no installer, so you should follow this procedure : http://enzweiler.info/visualperspective/002-installation.html You are very welcome to report any issue with VP.

Japrosim is a java library for both discrete event and continuous simulation. GUI for modeling and automatic code generation are offered. An explanation module is integrated. Models are described in XML and owl for interoperability.

...It has two main objectives: 1) The design of an application from an educative point of view, paying special attention to the documentation and design of classes. 2) The automatic generation of base code for software projects. vipera is a combination of basic tools for the design of applications in the early stages of development, allowing the creation of modules (libraries) and definition of their basic characteristics, such as classes, functions, records, constants and import modules. The design of classes is done graphically, by means of a code similar to UML. ...

Feature Modeling Plug-in is a tool for modeling the features (requirements) of a product line and configuring products. Product configuration is supported by automatic choice propagation and conflict resolution. Visit Home Page for papers, demo, HOW-

DIA plugin for automatic UML Class Diagrams generation out of Java source files.

ACMgen is an automatic code generator of Asynchronous Communications Mechanisms based on the generation of Petri nets models that can be formally verified against some properties and then transformed into a real implementation (e.g. C++ or Verilog).

Bogor-PubSub is a set of extensions to the Bogor model checker enabling accurate, automatic verification of Publish-Subscribe infrastructures.

Mangrovia is a tool for automatic complex multilayer topology generation in a compatible format with Network Simulator 2 (ns-2). Based on specs (in xml format), software creates an otcl script. Users can set Bandwidths, Distances, Linking Policies.

The project aims to create a web based database administration tool, with expansion into automatic code generation from the database schema. The code allows creation and removal of databases, tables and fields via a web browser.

Java Framework for automatic transformation of graph structured Process Models (incl. BPMN import) to block structured BPEL code. A graphical tool is provided for visualisation and testing.