Search Results for "version 2"

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.

Not working yet. To deal with the Halting Problem, computing and data are navigated using debugger ops: linearForward and treeForward, which navigate an astronomically large bit string where 1 is ( and 0 is ). All pairs are derived from (). For example, true is represented as ((()())()), and false is (()(()())). It appears related to the church encoding of lambda where T chooses first parameter and F chooses second, of a pair. Continuations are nearly finished code and are represented as a...

Version 1.1.5 - Added: Added the ability to edit the EMV panel - You can change which tags show, and what order they are in - Added: Tag 9F10 (Issuer Application Data) to which also includes CVR (a subtag of 9F10) - Added: Menu link to the homepage (sourceforge) - Fixed: 9F07/AUC had the wrong tag details - Fixed: File>Close now saves notes and config updates before exiting - Fixed: Tag 95/TVR title had a spelling mistake - Fixed: Homepage wasn't populating EMV page names -...

Xun Bug is an application for debug and profiling javascript code. It is a powerful tool supports most of mobile browser such as iPhone,Android,BlackBerry,Windows Mobile and Symbian. There is no need to install plugins in your browser. With the debug tool of Xun bug,you can set breakpoint,watch call stacks,step and resume,watch expressions and so on. With the profile tool of Xun bug, you can get the javascript function call tree and every call's time ,you can also get the statistic of...

Java development tool for root cause analysis of software events, useful for software acceptance testing in early development.

An ant task that applies -g debug labels to classes that don't have them. The line number attributes are synchronized to a decompiled asm source view of the classes. The tool generates both the modified 'src' and classes.

A suite of source and binary programs to test the capabilities of code analysis tools. A reference implementation of x86 binary analysis in C# is also included.

The m6800 Simulator is a teaching tool to introduce students to microprocessors. It is based on a cut-down version of the M6800 chip, and a reduced instruction set. The simulator assembles and simulates execution of the users code on a GUI

ASGMemProf is an exact, bytecode instrumenting memory profiler for Java EE, relying on a novel scheme - memory accounts.

inspectorJ is a cross platform java profiler with a graphical client that allows for profiling remote jvms. inspectorj is pre-alpha and is currently under development.

JPDA-based integrated debugger for mixed-language applications. Contact: grisha@alum.mit.edu.

Utilities for diagnosing problems with JDBC connections

Distributed logging service for JADE agent framework, utilizing features of Log4j and Chainsaw projects.

NetworkTools has 2 components: A protocol analyzer which plays a TCP client or server or pipeline, which sits between a client and server and shows how they communicate. A port scanner can scan a range of IP addresses and ports. See screenshots.

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

Freebug is a collection of Eclipse plugin that visualizes runtime object and database relationships to help debug or understand code and data.

A java class assambler. This program assembles java byte code instructions for the JVM, like MASM for the CPU. Knowledge of the java byte code instruction is strongly required.

BT-Sim is a BlueTooth simulator on a HCI level. The project alows to develop and test BT applications without using real BT hardware. It works in particular with PalmSource's Palm OS Simulator.

Tools for enforcing projects architecture specifications. Identification of "patterns" based on nomenclature rules. Validation of conformance to architecture rules. Query-based investigation. Statistics. Metrics.

This is a remote-client programe based on MSN messenger. It can do many things for you.Such as file operation,db operation and chat robot.All these are based on MSN cha.

This community edition of the RPG Toolkit provides an unofficial advancement of the software; the initial goal is to rewrite the editor, followed in the future by a rewrite of the game engine. We aim to build on work done the community in developing

Fitster is a graphical front end to the open source Fit testing framework developed by Ward Cunningham. (fit.c2.org) Our goal is to create a platform independent interactive application aimed at testers to assist with the assembly and execution of Fit

The beSee-2-x architecture brings JVM wide instrumentation for AOP systems, independant from bytecode kit (BCEL, Javassist). A plugin is provided to instrument BEA WebLogic (v7) for tracing purpose (servlet->EJB->CMP->DB), with full JMX capabilities.

Binah is a tool that allows both real-time and off-line visualization of multi-threaded Java program execution to provide an additional perspective for understanding and debugging.

This project was intended to implement the Java(tm) Platform Debugger Architecture for JOS. It is currently inactive.