Search Results for "c source code" - Page 3

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

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)

Based on the features of the graphical editing software JaWE (Java Workflow Editor) and the required interpretation of a custom XML dialect, which could not be interpreted by Eclipse, the dotSource GmbH developed a interpreting workflow tool. This allows a time saving, easier application and therefore cost savings. The workflow tool is an extension for the open source Eclipse programming tool from IBM. This workflow tool has been integrated into the dotSource Studio. It consists of 8 individual Java projects, which together form the WorkFlow tool. They logically can be subdivided in core components and graphical elements. About dotSource Labs and Sourceforge, we provide the open source code to interested parties. ...

Modelio-Open is a project hosting a set of open source extensions (SoaML, SysML and UML Testing Profile) for a previous version (1.2) of the Modelio Free tool . Currently, the lastest version (2.x) of Modelio modeling and generation tool is available at http://modelio.org/downloads/download-modelio.html. All extensions are downloadable at http://forge.modelio.org/projects.

Mosquito is an open source Java library for parsing Power Designer PDM files and converting them to the in-memory structure based on object model provided by this library. It is quite useful for relational model based code generation.

components4oaw delivers workflow components which are commonly used within the MDSD framework openArchitectureWare.

Graphical Microcontroller Programming (GMP) is an expert-in-a-box solution which provides an intuitive user interface giving non-professionals the chance to easily create microcontroller programs by graphical means. Vienna University of Technology.

YAW is a tool to transform uml to source files and generate source files from templates. This allows a model driven development (MDA/MDD). YAW is written in java as a plugin for eclipse. Use and extend of YAW is simple and without complex configuration.

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.

NexJ Scheme is an open source project providing an efficient and powerful Scheme interpreter that executes in a Java Virtual Machine.

The "Architecture Visualizator" parses source code and analyze the object oriented structure as well as the control flow and logic aspects. After that it visualize the results for example as graphviz file.

Dresden OCLallows to query arbitrary EMF-based models. It provides an advanced OCL2 Editor, a Parser, an Interpreter, and a Codegenerator for Java and SQL. WE MOVED TO GITHUB. PLEASE VISIT https://github.com/dresden-ocl/dresdenocl

The Xholon project explores: software as systems of linked nodes, organized hierarchically. The Xholon toolkit supports this back-to-basics approach, and demonstrates practical benefits through examples from numerous domains.

HowTo make 3rdParty Libraries run (per ex. SLF4J, LogBack, Lilith and more) under Eclipse Equinox / OSGI Environments. Modeling and Code Generators: Eclipse Modeling with openArchitectureWare (MWE, Xpand, Xtend, Xtext), BlackBerry development ...

A library for rapid application development using the Apache Wicket framework and Domdrides.

Bluprint is an Agile-MDA code generator. It is a fuss-free tool supporting code generation from UML modelling tools. It supports model/code merging so engineers can easily extend and maintain generated code. Bluprint has been developed using itself.

"yes to nosql" is an eclipse tool for easy usage of several nosql databases in an osgi container based on the Eclipse Modeling Framework (XText, Xpand, ...)

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.

The power provided by OWL reasoning engines can be translated into Java applications and vice versas with this framework. A binding among OWL and Java concepts has been done in order to incorporate the semantic features of OWL into Java.

equanda is an tool to generate a J2EE application based on a XML description of the data and constraints. It generates the access objects, a powerful base user interfaces (with help for more powerful stuff) and support for web services with versioning.

This is a graphical editor and code generator for Live Sequence Charts (LSCs). The code generated follows a simple execution mechanism. It shows a possible execution path. We have added a new local action construct, i.e. a self method call.

Sugar4j generates code without the use of external text files, templates, JSP and the like. The static and the dynamic parts are both contained in the same Sugar4j java file. Everything is java. publicc().classs("Sugar4j").empty();

Eclipse EMF Build Manager

Extend the Alloy model checker (Java) to more natively support the OO concepts of dynamic dispatch and inheritance.