Search Results for "qgis-osgeo4w-2.6.1-1-setup" - Page 2

TextUML Toolkit is an IDE for UML that lets you create models at the same speed you write code by using a textual notation instead of the conventional graphical one. This project is now hosted on github. https://abstratt.github.io/textuml

E.N.M.L. means Environmental Noise Model Language. The target of the project is the definition of a XML specification model mainly devoted to electronic acoustic data exchange. ENML aims to format ANY kind of noise measurement.

The software resents an executable specification language based on deterministic finite automata, this allows the user to perform tests of word recognition in the state machines that are defined by it. Moreover, it’s possible for the user to assign snippets of code to be executed every transition automaton, these snippets can be described in Lua or PHP programming language. To test that were conducted in the language, was developed a compiler that recognizes words and generates object code.

... must provide his own shader programs. However, if there is no current shader program registered, a default one is used which will depict the mesh under simple lighting and texture map. The GLOB API is very simple and intuitive to use, providing opportunities for customization, including that of normal and texture mapping.

The Gateways Team of the Live-Virtual-Constructive Architecture Roadmap Implementation (LVCAR-I) effort is developing a set of tools that will support the gateway community. One of these tools is the Simulation Data Exchange Model (SDEM) Mapping Language (SML) Editor. The tool provides the ability to import two SDEMs in their native language and subsequently view the entities that need to be mapped between the two SDEMs. The SDEM Editor also allows the user to create these mappings and store...

Features 1. Data rows are stored in the process dictionary. 2. Unique and referencial constraints are enforced. 3. There can be more than one index per table. 4. One-to-many joins are fast and easy.

XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)

vipera is a designer of applications for the programming language Python. 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...

SEvents is a System of Event programming with random factor designed to accept a script file and execute it with using extra modules. One module - one object, which relate on changing of some variables.

MASyV (Multi-Agent System Visualization) enables one to write agent-based models/cellular automata, eg. in C, visualize them in real time & capture to movie file with MASyVs GUI & message passing lib. Includes examples: Hello World, ants, viral infection

This project has been forked to DoUML: Go to https://sourceforge.net/projects/douml/

The objective of this project is to provide the benefits of object-oriented modeling in projects developed using structured analysis and which will still be active for many years and require maintenance evolution.

The group "IS we MUST!", yet another group of Genua's SE

UML based development environment for C++. The main idea is to use graphic view of the project as much as possible (design, refactoring and so on) and go to code view when it is really required (implement function, fix bug and so on).

Qt based map editor for Warzone 2100 game.

System Designer is a software framework for domain specific languages based on model-driven generative programming. DSPE is one of the development environment based on System Designer. Audio n-Genie is a specialization of DSPE for the audio domain.

Generic System for Data Processing

Software Process Model Suite is a toolset for modeling and simulate software process models. Is composed by: 1. a simulator engine; 2. a modeling tool based on SPEM, that uses model transformation approach; 3. a visual graphical simulator.

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.

Anogram is a flow-based, dynamic system development environment.

CASE tool

C++ library for calculating the light propagation through large and very small structures (sub wavelength). The used method is the Fourier Modal Method. It can be solve one and two dimensional dielectric structures such as gratings, waveguides etc.

SfDT is a Eclipse plugin for the Symfony Framework. It provides a toolset for easier, faster and better developing process based on symfony framework.

Kodougu is an open source web-based modeling tool. This tool also has a web-based modeling-language designer.

OWL2XMI is a java project to facilitate the creation of classes UML diagrams. It generates a XMI file from one ontology, this XMI file can be imported using UML tools such as: StarUML, ArgoUML, among others. There are available online version, Visit Proj