Search Results for "computer-aided software engineering"

A tool for reverse engineering 3rd party, closed, binary Android apps. It can decode resources to nearly original form and rebuild them after making some modifications. It also makes working with an app easier because of the project like file structure and automation of some repetitive tasks like building apk, etc. It is NOT intended for piracy and other non-legal uses. It could be used for localizing, adding some features or support for custom platforms, analyzing applications and much...

JAGS is Just Another Gibbs Sampler. It is a program for the statistical analysis of Bayesian hierarchical models by Markov Chain Monte Carlo.

Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt

Extracts dependencies and OO metrics from Java class files produced by most Java compilers. Computes API differences between versions. No source needed. Includes both Swing and command-line interfaces, with XSL stylesheets for formatting output.

This project is for the portable computer "Cambridge Z88", produced by Sir Clive Sinclair (of ZX Spectrum fame). We continue to support software development (ROM, 3rd party apps on memory cards and desktop applications). We have moved to https://cambridgez88.jira.com/wiki (development, source code and documentation). However, we continue to publish files for download here.

Introducing forks for existing plugins and also combining plugins for a set of build tools to be used with gradle.

The FXL Project Eclipse Plugin leverages the integration of DSLs, (meta-) modeling approaches, code generation and the development of software configuration tools (sw-component-configuration).

JinnIde is a plugin that allows using Jinni Prolog, now also hosted here on this site (with open source license!), within the confines of an IDE integrated in JEdit.

TICO is currently a part of ARASUITE!!!! Please, look for ARASUITE in Sourceforge!!!! https://sourceforge.net/projects/arasuite/ TICO is a tool for the design and execution of interactive communication boards. Communication boards are highly used in augmentative and alternative communication (AAC) environments.

Provide Eclipse plugins that support the CA Plex application development tool

Dataweb Project is a RAD (Rapid Application Development) written in java. It's a client/server framework that allows to develop and to use tables, forms, reports, modules, plugins, services, webservices and other from remote. See project web site.

With dp4j.jar in your project classpath you directly access private members in your tests, w/o Reflection API boilerplate code; It also generates Design Patterns code and compile-time validates implementations. And Compiler & Co work for you again!

This is a handy utility which monitors the status of Hudson or Jenkins (a Continuous Integration tool). It reads the RSS feeds, and sits in your system tray. Checkout http://hudsontracker.sourceforge.net/index.html for more info and screenshots.

Cca-forum unifies the Common Component Architecture tools and tutorial. It includes the CCA specifications, the Ccaffeine framework for HPC, and related tools. These support multilanguage scientific and parallel computing.

"Ant for PDE" allows Ant to build, test and deploy Eclipse plugins and features using Eclipse's native PDE build system.

T.140 Presentation Library is an implementation of the presentation routines described in ITU-T T.140.

A collection of open-source build and release tools, useful for creating and configuring software development, release, and QA production infrastructures.

GenGMF is a model driven generator framework for the Eclipse GMF graph and map models. It will generate large models from a small template model for you. It is based on Eclipse GMF, AspectJ and openArchitectureWare.

Software Engineering and Testing Suite is an integration of free, open-source Java testing and reporting tools integrated under Maven2. It enables you to set up a complete environment for a small to moderate sized Java development team in a few minutes.

The intention of this project is to provide a freely available application to create and perfom interactive comunication boards to be used by people with severe motor disabilities.

AntManager is a Java-based, multi-threading and easily extensible build engine using Apache ANT to manage the build process of a whole hierarchical software project structure. Enjoy your build with AntManager.

Our aim is to develop a tool that converts textual constraints written in the OCL 2.0 language into instances of the OCL 2.0 metamodel. We use as a conceptual modeling environment the einaGMC tool http://guifre.lsi.upc.edu/eina_GMC/

WIDE is a Web-based IDE that enables Java development on any computer with a browser.

RTP text/t140 Library is a reference implementation for RTP Payload Type for Text Conversation (RFC 4103). The library has source code for encoding and decoding RFC 4103 data, and may be used either as a plug-in to JMF or in a separate RTP sender/receive

Android Applications Manager is a third party software to manage applications from your Android mobile phone to your computer and from your computer to your mobile.