Search Results for "eclipse plugin code" - Page 15

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)

HOOPLE is a portable collection of C++ source code, featuring thread-safe objects for collections and event processing, RPC-style plugin-based encrypted networking (CROMP / octopus), bookmark collection management utilities, and a lot of other cool stuff. This is the project page for HOOPLE version 1, which was retired on September 25 2010. The code supposedly still builds on both Linux (with gnu gcc) and on Windows (with ms visual studio).

!Important! The code has moved to http://github.com/hampelratte . Lazy Bones is a plugin for the great EPG-software TV-Browser. With Lazy Bones you can control a VDR (by Klaus Schmidinger).

The Cobos Project is an Open Source initiative from Metrixware, dedicated to Mainframe COBOL CICS, DB2, IMS developments within the Eclipse Platform.

The plugin allows automatic highlighting of pathways in an easy and understandable manner.

Simple Forum Auto Poster is a program that automatically posts messages to forums. This program is for people active on multiple forums, but don't want to type and copy/paste the same message multiple times.

...The initial goal is have to complete read-only access to all the menus and values on a typical MikroTik router. In order to use the application you have to download the source code and get it working. I use Eclipse. If you have any problems with the application please log a ticket.

Lemansys LEWS (Lightweight Extensible Web Scripting) is alternative framework based on a very easy and "basic like" scripting language (Lemansys Server Pages ".lem" ) oriented also to "not pure" JSP developers (PHP, ASP,...); You can use Eclipse WTP for development (with provided plugin suite extensions) and Apache Tomcat Application Server 7.0 (fully compliant with Servlet API 3.0 ) for deployment and run. Start up Lemansys Server Pages development in 24 hours by following our "Lemansys Bonsai Guide" with more than 30 examples !!!

EclipseNSIS is a plugin for the Eclipse platform which enables editing, compiling and testing Nullsoft Installer (NSIS) scripts. The InstallOptions Editor plugin is for editing of InstallOptions files. (Requires Eclipse GEF http://www.eclipse.org/gef)

...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. Requirements: Java5/At least Eclipse version 3.3/GEF Draw2d More information on dotSource Labs!

ArchiLe is a graphical Editor to create Enterprise Architecture models based on the Archimate Framework. The Editor is realized as an Eclipse Plugin using the Eclipse Modeling Framework (EMF) and the Graphical Modeling Framework (GMF).

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

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

LARMcess is that "Linux Augmented Reality 3d Marker" . We will developing 3D Marker based on 2D Barcode(QR Code) on android OS. we can get the content's information from 2D barcode using android phone and display the content's 3D object and annou

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

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.

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.

components4oaw delivers workflow components which are commonly used within the MDSD framework openArchitectureWare.

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.

This is an android preprocessor derived from antenna. It is simpler and its intended to work as an eclipse plugin and as an standalone ant task, useful for console/hudson compiling.

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

YAW is a tool to transform uml to source files and generate source files from templates. This allows a model driven development (MDA/MDD). YAW is written in java as a plugin for eclipse. Use and extend of YAW is simple and without complex configuration.

Get/Put java VO & XML from SQL stmts in 1 line; No config mapping; Plugin-Arch support; Hibernate and ibatis benchmarked. Lightweight(24KB); Self healing pool; Code Generation for CRUD. Embedded Solr Search. More @ http://onelinejdbc.wiki.sourceforge.net

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.

gnuPaste: a small Eclipse plugin which allows you to post your code from Eclpise to web pages like rafb.net