Search Results for "eclipse terminal" - Page 2

Replicross synchronizes two databases of similar structure. Rules written in an XML/EMF model describe how data must be updated from one base to the other. Another functionality is to propagate incrementally the structure of one database to the other.

PizzaFactory is a distribution package for embedded software development based on Eclipse. The fullset of PizzaFactory is a commercial product. Here is a OSS version (subset but enough useful for hobby users.)

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)

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

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 framework and runtime environment for exploring agent-based models designed to support the definition of models using an expressive, high-level and extensible Java API and to support the exploration of these models in both interactive and batch mod

espeak-tswana is a branch of espeak project implementing Setswana (A Southern African Bantu speaking language) .

Another logging framework for Java. I try to balance flexibility, usabilty and performance using OOP. Currently the framework is usable but it lacks a lot of functionality.

This software supports live schema updates in relational databases. Developed by Preetika Tyagi as part of the DUOSS project led by Dr. Rida Bazzi.

The Model Operations Processing System (MOPS) has been designed to assist operations on model railroads. It has the look and feel of mainframe systems that would have been in used in the late 20th century.

Agile development with Java. JAVA EE Rich Internet Application Generator for jBoss Seam Framework. jGenUI produces java code integrated with Seam, Richfaces and Hibernate. More information at http://www.jgenui.org

Collection of files for development on Ubuntu Linux machines, specially designed by your friendly neighborhood CL4P-TP.

PIP on GT.M is a mature and proven complete FOSS stack for developing transaction processing database applications with superb scalability, transaction throughput & unique functionality for extreme levels of business continuity.

A comprehensive business framework to enable sophisticated enterprise workflows. Define, simulate and deploy cross-platform workflows while being able to enrich and customize the core services on demand.

Framework: Project for Evolutionary Predator Prey Algorithms, used to implement an evolutionary scheme based on the developement by van Laumanns. Implement testproblems, special behaviours, environments, and other yet not known features.

tool collection to manage files and stuffs on a filesystem

QC4J is an automated, specification-based testing framework, based on QuickCheck for Haskell. It makes it easy to test referentially transparent code, by creating test data automatically through user-defined generators.

QVT-Rel2Op translates QVT-Relations model-transformation specifications to the imperative QVT Operational Mappings language. It is based on EMF, openArchitectureWare, ANTLR and the QVT-Parser project.

QVT-Parser parses QVT-Relations model-transformation specifications from textual syntax into EMF QVT-models. QVT defines a language for expressing model-to-model transformations. The parser is is built using ANTLR and EMF.

PGA (Petit Generateur entre amis : little generator betwenn friends in french) is a generation kernel to load, manipulate emf models (eclipse) with ATL, and practice code generation with several templating technologies like JSP2, Velocity, Jet.

Signs is a development environment for hardware designs in VHDL and other hardware description languages. It provides synthesis and simulation tools which are fully integrated in an Eclipse plugin including graphical netlist and waveform viewers.

TrueZIP is a Java based virtual file system (VFS) which enables client applications to perform CRUD (Create, Read, Update, Delete) operations on archive files as if they were virtual directories, even with nested archive files in multithreaded environments.

A Java API for using suffix trees with natural language and an Eclipse/SWT-based GUI for suffix tree visualization using Graphviz.

Recon-Calc is a source code feature location tool based on the Software Reconnaissance technique. It allows you to name features of your system and then, based on coverage profiles gathered, you can find where they are implemented in the source code.

SshView is an ssh terminal for the Eclipse IDE. Be advised: The latest release appears to require Eclipse 3.2 (build M20060629-1905) aka the Callisto release. Contact me if you're interested in lending a hand with the project.