Search Results for "source code computer" - Page 3

As of 2014-07-18, this project may now be found at https://sourceforge.net/projects/sinvas/. SINVAS(StarUML NS) is re-developed by StarUML developers in Qt. As a newly launched project, StarUML NS has been mainly driven by developers who had created the StarUML. By strengthening the advantage of existing StarUML version and making up for the shortcoming of, the project’s goal wanted to be a modeling platform that could illustrate the modeling from possessed information, beyond UML...

NRL is a near-English, model-driven language for expression business constraints, actions and transformations. It works with diverse models, such as UML or XML Schema, and is designed to make it easy to translate to target languages like Java or XSLT

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.

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

JetSet is a (meta) tool that lets your quickly create model tranformator tools for instances of a given source meta model. For XML to XML transformations you can also specify a target XML schema and JetSet makes sure that your output conforms to this.

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 !

This tool can trace, capture, query and visualize the dependency provenance in NetLogo. It consists of four main components: a source code analyzer used to automatically add probes to the model's source code, a NetLogo extension for capturing the provenance traces generated from probes, a non-preprocessing (NP) provenance slicing technique for computing provenance slices using provenance traces, and a visualization component for visualizing the provenance slices. ...

Modeling existing Java code into UML diagrams, and generating code from UML diagrams

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.

This project is an eclipse plug-in aiming to link the eclipse UML2 tools to the eclipse JDT. The leading idea is to use the UML editors as code editors. With a reverse engineering functionality, avoiding a generation process allows to use easily UML

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

** 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 clusters from version 8.0 to 9.1. Please, let me know how the pgModeler is working on your computer! ...

Medea is a pragmatic code generation framework. It takes UML class and state diagrams in XMI format and uses XSLT templates to generate code for various technologies, tiers and complete applications: J2EE, CMP, Hibernate, JSP, Struts, JSF, jBPM, XSD

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.

The fast2armc program translates source code of a counter automata model for FAST(er) tool to the ARMC prolog syntax.

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.

O SIAL é um Framework criado e mantido pelo ICMBio que tem por objetivo o desenvolvimento de suas aplicações. Suas principais características são: * Estrutura bem definida * Forte delegação de responsabilidade entre as camadas * Flexibilidade para adoção e substituição de componentes externos * 100% coberto por testes unitário * Facilidade para detecção de erros * Concentração na abstração de soluções para problemas em comum * Otimização de recursos...

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

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.

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.

A Eclipse-based toolset for early verification and validation of goal-based requirements models for the KAOS methodology.