Search Results for "java-orm" - Page 3

This is the page for my MSc project, which concerns the convertion of some UML diagrams into UPPAAL timed automata, in order to apply model-checking.

Volta is a suite of development tools for distributed, hard real-time systems. It includes Cascade, a control flow analysis tool for Java, and Clepsydra, a worst-case execution time analyzer. Also included is a Clepsydra plug-in for jEdit.

Xuse manages requirements, use cases & other artefacts that drive software design. Xuse focuses on clear documentation & communication. It defines an XML data model for requirements & use cases with XSLT providing multiple derived views: HTML/SVG/PDF. Note there is no GUI for entering requirements, however another project (https://sourceforge.net/projects/xguse/) will provide a GUI.

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.

BundleParser is a Bouml plugout for modelling OSGi and Eclipse bundles .

The aim of ALIVE is to develop new approaches to the engineering of flexible, adaptable distributed service-oriented systems based on the adaptation of social coordination and organisation mechanisms.

The Coverage Simulator transforms test models. The satisfaction of a weaker coverage criterion on the target model corresponds to the satisfaction of a stronger coverage criterion on the source model. Thus, it supports many model-based test generators.

Extending Alloy with Dynamic Behaviour

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

Strandz is an API that enables developers to connect users with their data. It is the middle layer that connects a Java Swing UI with Data Objects, employing a strict Model/View/Controller structure to enable the rapid development of maintainable cod

RES is a pure Java based Open Source Cobol to Java translator. It creates maintainable Java code for a subset of VS Cobol syntax. It has been developed with JDK, JTB and Javacc.

It is a supplement of version control system to support software development. It helps programmers to track personal working time spending on source files, and to easily find experienced people who may help you to comprehend certain code fragment.

OpenSoul Metamodeler is a MOF 1.4 based metamodeling tool. It is built on Enki repository (originaly Netbeans MDR) and JGraph component.

RESOLVE is an integrated specification and programming language designed to develop component-based software that is fully specified and verified to be correct. It is one of the longest running software engineering projects in the USA.

ROMA want to change the way to do Web Applications. It's a Java framework totally POJO based and designed with the concepts taken from Ruby On Rails. The current release is full working and allows to build Ajax Web Apps with database and CRUD in minutes

Jefe is a Workflow Management Solution in a form of a web portal that unifies the enterprise information and applications in the domain of Software Development. It integrates CASE tools which are highly use in the industry of software engineering.

Lucarere de an la obiectul appoo. Implementare unui plugin ce ar permite crearea, modificarea diagramei de clase in IDE eclipse. Ca functionalitati de ar mai putea include generearea claselor, si reverce engineering.

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.

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.

The open source eclipse plugin providing UML 2.1 diagrams editor.

W3LVisualizer is a general Web-based visual editor. With its extension mechanism, it provides a framework for building custom editors easily. The frontend is writting entirely with HTML and Javascript using AJAX technologies.

GraphTK is a graph-generation toolkit. Providing a GUI frontend, it enables you to generate graphs describing build systems (Make, Ant) and API (Java APIs) dependencies. The generated graph data can be stored in common data formats like GraphML or GML. This project is no longer actively developed.

A simple visual editor for drawing OPJ models; these models represents an extension to the classic Petri-net diagram; they were developed before the unification of OO methodologies and the relative release of the first UML specification.

DKU is an embedded parallel language, or "piggy-back" language that uses function calls to invoke the language's execution model. It tunes task-size to the hardware while hiding hardware details for high performance portability of parallel code.

Extensible language for portable parallelism. Any visual element may be used to extend program syntax and a re-writing rule defined for it. Syntactic elements have properties attached, enabling symbolic manipulation to specialize to hardware.