Search Results for "source code computer" - Page 2

EasyCP is a modern, user-friendly C++ library that lets you use constraint programming in a very natural way, taking advantage of its expressive power. Just model and let the CSP (Constraint Satisfaction Problem) solver do the job !

Deduced is used to edit and generate model classes. It also provides tools to implement code deduction patterns. It also simplifies data exchange and persistance.

NClass is a free tool to easily create UML class diagrams with full C# and Java language support.

This project will provide tools that leverage WS-CDL and Pi Calculus to build more robust Service Oriented Architectures (SOA). The tools are now released (and supported) through JBoss Tools (version > 3.2): http://www.jboss.org/tools

Unimozer intends to be a universal modelizer for Java™. It allows the user to draw UML diagrams and generates the relative Java™ code automatically and vice-versa.

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.

Some code collected from my old UML/Dot project with a view to submitting it to the Umple project. Just draws an UML class diagram using GraphViz.

...That is not really a feature :-) but to those of you able to cope with this news I suggest to read further; * Petri Nets are created with PetriNetExec by writing Java code and using the provided API; * PetriNetExec provides a simple yet powerful callback mechanism allowing you to actually do something when events are fired and the network status is changing. * PetriNetExec is embeddable into your Java application. This means that you can build your own application and add Petri Nets into it. * PetriNetExec is open-source.

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)

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.

PHPCallGraph generates static call graphs for PHP source code using the CodeAnalyzer of the InstantSVC project and the DOT tool. The graphs can be leveraged to gain a better understanding of large software systems or even to debunk design flaws in them.

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

A openArchitectureWare based Generator for deriving a WS-Agreement document from a formal description of a (Web-)Service and its associated assertions (SLO) to Quality Of Service (QoS). You can use predefined QoS parameters as well as introduce new ones.

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.

JPEd is a graphical editor for processes descriptions. It uses the XPDL 1.0 interchange format as specified by the WfMC.

Sigerar is a software requirements management tool. Currently available only in Brazilian Portuguese.

ServiceComposer is a tool to develop composite Web services using the Model-Driven Architecture principles and UML 2 modeling language. More precisely, the modeling language used in a UML 2 profile called UML-S (UML for Services engineering). A class

Knarvik is a table-oriented framework for C++. Knarvik generates source code for an in-memory database of your design.

The project is built with oaW (openArchitectureWare) maybe the most popular framework of MDSD now days. It provide a small DSL for modeling and can be extended (the code generated) through a cartridge mechanism. Give it a chance :) , feedback are welcome

Eclipse EMF Build Manager

This project aims to create an EMF Ecore metamodel, code templates and a workflow for automatically generating certain Typo3 extensions. It contains an example instance for the creation of a developer garden Typo3 extension.

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

The goal is to generate UML classes from an existing database. Connect to a database, read its schema and produce UML 2 classes with associations (conforming to Eclipse EMF). Prerequisite: - Eclipse 3.4 - MDT - EMF 2.4 / UML 2.0

Java reverse-engineering plug-in for Eclipse Modelling project. Depends on JDK and UML2 eclipse projects. Supports JKD5, including enums and generics.