Search Results for "eclipse-jpf" - Page 18

gwt-html5-graph(GWT Diagram Library Components) based on: * Google gwt * html5-canvas: IE9/IE10/firefox/safari/opera/chrome * eclipse-gef: Graphical Editing Framework * eclipse-emf: eclipse Modeling framework< * eclipse-uml2: eclipse UML2 project gwt-html5-graph: html5-based technology, has successfully excellent graphics editing framework Eclipse GEF, model editing framework Eclipse EMF, and the Eclipse UML2 Eclipse EMF-based so successfully transplanted to the GWT platform. ...

Graphane is a solution to generate and deliver enterprise documents (PDF, ODT, RTF, HTML). Templates documents are designed with OpenOffice Writer. Any application being able to export data in XML format can submit these data to the Graphane Server.

SCOPE is a high-level coordination language which conforms to the BPMN 2.0 specification and is intended for architecture-centric model-driven software development. SCOPE differentiates between the space-based choreography of multiple concurrent process components and the orchestration of fine-grained activities within a single process component. The SCOPE workbench is based on the Xtext language framework.

ConsoleFx is an .NET framework for easily developing command-line interface (CLI) applications. It automates most of the work involved in creating a CLI application, like command line argument parsing, error handling and validations. ConsoleFx supports both fluent and declarative (using attributes) programming models. With ConsoleFx, you can say goodbye to lengthy cumbersome code to parse your command-line arguments. For detailed documentation, with getting started guides, advanced...

This project develops a graphical tool to support i* modelling and analysis of the stakeholder requirements. The main development site is at https://se.cs.toronto.edu/trac/ome

Maveryx is an innovative Test Automation Framework for Java GUI-based applications. It eliminates the GUI Maps dependency by providing a new dynamic GUI objects handling and an expert system detecting and managing AUT changes and defects at runtime.

Realignment fragment for JD-Eclipse host plug-in. This plug-in for Eclipse makes the decompiled code line numbers actually appropriate to the line numbers from the java-class file. As a result, it becomes possible debugging without source code.

Multimodal Collaboration Framework （MCOF） project aims to develop new collaboration framework for multimodal interactions to reduce the "digital divide".

The “RDB2RDF Mapper” is a Java based software desktop application which allows a user to create a mapping file between a relational database and an RDFS/OWL ontology via a graphical user interface. This project is ANDS-funded.

Automatic documentation of JPF components. This project is part of JPF Summer of Code. jpf-automatic-doc is coded as an extension of Java™ Pathfinder from the NASA Ames Research Center under the NOSA 1.3 Licence.

Feature Modeling Plug-in is a tool for modeling the features (requirements) of a product line and configuring products. Product configuration is supported by automatic choice propagation and conflict resolution. Visit Home Page for papers, demo, HOW-

Modelio-Open is a project hosting a set of open source extensions (SoaML, SysML and UML Testing Profile) for a previous version (1.2) of the Modelio Free tool . Currently, the lastest version (2.x) of Modelio modeling and generation tool is available at http://modelio.org/downloads/download-modelio.html. All extensions are downloadable at http://forge.modelio.org/projects.

JTreeMap is a Swing Component which represents a tree structure with rectangles (a TreeMap. See http://www.cs.umd.edu/hcil/treemap/). KTreeMap is the SWT component for treemapping (see http://en.wikipedia.org/wiki/Treemapping). It is an Eclipse plugin.

Co-op is a workbench for the definition and use of composition operators: abstractions that can encapsulate standard solutions such as coding idioms, design patterns and composition techniques, and can later be (re-) used just like library classes.

A plugin for the Eclipse IDE to generate control flow graphs and show coverage information. Supports node, edge, edge-pair and prime path coverage. Based on the Eclipse Control Flow Graph Generator (http://eclipsefcg.sourceforge.net/)

Limegreen is a cross platform java application template which streamlines the process of creating applications. It provides experience on each platform, including an .exe for Windows, .app and .dmg on Mac OSX and a .jar for others. The below link isn't

Atomic34 allows you to leverage the Selenium Testing framework for testing your site using a SiteDefinition DSL to generate objects representing your site. The generated code can then be used to write tests using strongly typed objects.

An eclipse plugin for ANTLRv3 grammars. Support for ANTLR 3.0.x/3.1.x/3.2.x

UDKEclipse is an Eclipse plugin by Ori Hanegby that enables UDK scripting support with many of the goodies that are offered by modern IDE's such as code completion, code navigation, syntax highlighting etc.

SqIRC is light IRC client written in java, with script control and plugin!

Capsule Framework is an actor based framework for event driven programming. The Capsule Framework simplifies the design and implementation of distributed and threaded applications and servers.

ceno is a set of eclipse plugins aimed to support collaborative work. The purpose of this toolkit is to avoid merging-conflicts while contributing artifacts to a central repository. It followes the ideas of pessimistic locking

Code Conjurer is a tool which seamlessly integrates into the Eclipse Java development environment and uses the merobase code search engine to recommend software components for reuse. Update site: http://codeconjurer.sourceforge.net/eclipse-update

Emonic (Eclipse-Mono-Integration) is a Eclipse-Plugin for C#. It provides color-highlighting, outline, word-completion and build mechanism via Ant or Nant. Tested on Linux and Windows with Mono and the Win-.net-framework.