Search Results for "uml-editor"

Marathon provides an integrated environment for test script creation and execution. Supported FW: Web, Java Swing/ Java FX. Currently, Marathon supports JRuby script models for recording the test scripts.Marathon test runner generates Allure test reports.Marathon allows for grouping of test cases.It also has an option of inserting modules while recording(in MarathonITE while recording). It allows tester to inset checklist while recording and also takes screen capture and annotate it in...

ATS4 AppModel is an application flow design tool supporting application specification work, model based testing and test script generation. It provides simple interface to manage complex models. ATS4 AppModel is part of Nokia ATS tool family.

This Mutation Systems defines operators for mutating UML and variability models. In UML it supports the following diagram types: state machines, classes, composite structures, In variability modeling it supports feature models and feature mapping models.

Jensor is a light-weight, low-overhead Java Profiler built using Java BCI. Jensor provides innovative analysis modules like JVM Replay, Pattern Analysis and Tagging Engine for technical as well as business analysis based on the same underlying data.

ESpin, a SPIN-based model checking plugin upon Eclipse. The editor has full support of the syntax rules of Promela, and also provides the function of real-time syntax feedback, keywords highlight, outline view, code folding, hinting and completion, greatly improving the modeling efficiency of complex models. Additionally, ESpin provides multiple operation mode and unique configuration interfaces, which simplifies the operation process of SPIN.

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

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.

JavaStates is a Java library designed to statically describe and animate the states of Java objects, while ensuring that the integrity of states is retained at all times. JavaStates brings OO Programming style to interface spec, design and coding.

A lightweight Approach for GUI Developing. The Main Goal of this Project is reducing costs of GUI Developing in Enterprise Applications. Its more than a technical Framwework. Its a also set of Rules to help Developers to handle complexity. Please visit

A Java-based system for doing Model-Based Testing. Nephila will use Finite State Machine based models to create language-independent tests.

STDProject (Simple Tree Driven Project) is a modeling tool for software development projects. It will let you build your project, watch its consistency, generate documentation and reuse work from one project to another.

RichNesse is a (mostly) WYSIWYG rich text editor for Fitnesse, utilizing a Fitnesse plugin written in Java and a configured version of the FCKEditor html rich text editor. All documentation is in the Wiki.

Xcarecrows4MDA provides a complete toolset to build models and check their behavior for standalone applications or whole systems with a hierarchical, state driven approach. A test component checks the safety of the model under various situations.

Dynject is a lightweight, data transformation and validation framework. Dynject uses Java annotations and requires no configuration.

Interactive Nullness Annotation Propagation Application - assists a developer with adding nullness annotations (i.e. JML) to Java source code. This makes it easier to use a checker like ESC/Java for statically identifying potential null pointer bugs.

Stylebase for Eclipse is a tooling environment for software architects and designers. Stylebase is a reuse repository for architectural styles and patterns and it assists in applying quality-driven architecture design (QADA) into software engineering.

ArchMapper is a Tool for mapping architecture descriptions of a program to a Java implementation. It offers two main functions: Generating Java source code stubs from an architecture and checking a Java implementation for conformance with an architecture

The SoSART (Software Static Analysis Reliability Toolkit) is intedned to aid developers in assessing the reliability of existing Java source code through the usage of Static Analysis.

Round Trip Engineering Objects. Reverse object oriented source code (Java, C#, PHP5) into XOL (XML Object Language) DOM repository.Validate syntax using XML Schema. XSLT for code refactoring & code generation. IDE Editors available (Eclipse plugin)

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

COMPAS J2EE is a non-intrusive performance instrumentation and monitoring toolkit for J2EE. It uses adaptive monitoring to automatically adjust the target coverage. COMPAS is completely portable across J2EE application servers and OSs.

This project provides a full set of Interfaces and Classes that naturally brings the developer to follow the "Gang of Four" Design Patterns while producing software

JLayerCheck checks package dependencies in Java projects to ensure that they match the desired architecture. Packages are grouped into modules and dependencies are specified. It can also find cycles and orphaned classes.