Search Results for "java interface"

This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with binary downloads from https://github.com/OpenJML/OpenJML/releases/latest

Code Bubbles is a front end to Eclipse designed to simplify programming by making it easy for the programmer to define and use working sets. It provides compact function-based views of the code (all backed by the underlying files) that are displayed in bubbles and that are easily moved around and manipulated on the screen. The bubbles are fully editable. A large bubble area lets the programmer set up different working sets simultaneously and easily move between them.

YARI is a comprehensive tool suite to debug (layouts), spy, spider, inspect and navigate SWT and Eclipse based application GUIs (Workbench or RCP) at runtime.

The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.

ADBTool with user friendly UI is very helpful for QA Engineers to test and validate Android mobile apps faster. It reduces the test execution time by 40-50 percent. Installation: In order to use this tool you should install ANDROID SDK. And set Android SDK path in Environment variables as ANDROID_HOME. How to Run : Windows: By just double clicking on it. MAC or Linux: java -jar adbtool.jar Capturing and editing screenshot is one of the painful work for QA engineers. QA Engineers...

Testing tool for Semantic Bridges. Supports the evaluation of rule-based (SWRL) ontology mappings to provide trust in a distributed multi-actor environment with heterogeneous independent information models materialized in OWL ontologies. See QualiPSo.org

Java tool for searching classpath for resources such as class or files. Drag and drop interface for add new jars to your search path. Useful for resolving those class not found problem such as java.lang.ClassNotFoundException and java.lang.NoClassDefFoun

This project is a java web application developer toolbox. It is among other, a simple and powerful framework which does not require dealing with XML files. It also provides a lot of other features, such as a DB abstraction layer, a nice javadoc doclet, a

When testing using a database with rollback after each test, failing tests are very hard to resolve. Data Storm is a simple DB viewer directly launchable from within your test code to enable you to inspect the current state of the database.

An open plugin providing a full Python Debugging graphical interface and shell for either JEDIT editor or NETBEANS ide. Python\'s debugger backend is implemented as a networking debugger inheriting the standard dbd.py python debugging kernel ,frontend

This project aims to implement an LC2/LC3 assembler and simulator for the Linux and Windows platforms.

Jassda is a framework that extracts a sequence of method-invokations from a Java application during runtime using the Java Debug Interface (JDI). Jassda provides two modules that operate on the sequence: a logger and a trace-checker

XTC4y is a collection of testing utilities for Java Code. It currently provides classes to instanciate an abstract class for testing the implemented methods, an invocation stack tracing the calls on an interface and a LogClassLoader. NOTE: DEVELOPMENT ST

araSpect is a server side object inspector for web applications. Through a web interface you can drill down in your server side java beans. It is very easy to install and can be added to a deployed application. There is special support for Struts.

Debugging server allowing remote debug logging and access to the information via a web based interface.

xdProf is a tool that captures and analyzes stack traces sent at a fixed interval from Java Virtual Machines in a distributed system. The xdProf client uses a C/C++ Java Virtual Machine Profiling Interface (JVMPI) library and works on many platforms.

Swing Spy is java based Swing/AWT spy agent that prints the widget under the cursor (like Spy++ for Windows/MFC and SWT Spy for Java-SWT). Download from the homepage: http://www.nenoff.com/swingspy/