Search Results for "system tools"

...) • Offers ideological and conceptual integrity across all facilities. By adapting a new approach to CASE tool architecture (integration at repository level and developing a component-based CASE system instead of a monolithic tool) an entirely new species of tools can be brought into a useful existence – an integrated environment where all project-related activities can be performed efficiently.

itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools

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

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)

The Flexible Task Graphs programming model and supporting system for Java provides tools for very low latency real time programming in Java.

A Java library and supporting modelling/execution tools that combine Robin Milner's formal Bigraph model with the indirect communication abstraction of Gelernter's tuple-space, i.e. a coordination system based on bigraphs.

This is a modeling tool generating code from activity diagrams. The main goal is to achieve a good code generation. I would like to have different possibilities like HTML mapping from diagrams and Java code generation (maybe others) chosen by the user.

Metaquokka is a highly configurable xml editor, currently available as Gridsphere portlet. Besides the default format, there is suppoert for ESysXML, a simulation description scheme for a geodynamics framework. Supports Generic Mapping Tools rudimentary.

Buildap is a Visual Component Based Development framework. It is available as standalone tool as well as Netbeans and Eclipse plugins. SVG viewer/editor and Diagram Editor are also available. See Buildap powered project at http://e-records.buildap.com/.

Open Designer is a graphical Conceptual and Physical Data Modeler and a Code Generator either to create the database structure and genenate applications automatically.

EasyStruts provide advanced support for developing Struts web applications with Eclipse . keywords: MVC, Struts, Eclipse, Java

This project aims at providing Open Source tools for the development and the verification of SystemC/TLM (Transaction Level Modeling) IP models, and at promoting their use by embedded software developers on SoC (System-On-Chip).