Search Results for "qr code system"

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

A tool that inserts code into Java class files for logging. Possible logging points are class initialization, method entry and exit, and local variable assignment. Logging is based on java.util.logging.

A Finite State Machine Editor, written on QT. It allows to draw Finite State Machine with easy GUI and store it in XML file. There are Finite State Machine Compilers to translate this description to source code (technique like QT's UIC uses).

JRemoteRun allow execute snippets of java code in running JVM.

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

We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.

This is a student project designed to compete in the 2010 IEEE Computer Society Student Competition: http://www.computer.org/portal/web/competition/2010competition The Code Red architecture is designed for extremely lower power environments, like distributed sensor networks. Included is a design of that architecture, a Java-based simulator, an implementation (without vector instructions) designed as a Logisim circuit (http://ozark.hendrix.edu/~burch/logisim/), and more. The name...

pyringe is a powerful Python process “syringe” that attaches to a running interpreter and lets you introspect—and even execute code inside—that live process. It blends debugger-style attachment (via gdb/ptrace techniques) with Python-aware helpers so you can inspect threads, frames, locals, and heap objects without restarting the target. This is invaluable for post-mortem diagnosis of production daemons where reproducing a bug in a dev shell is impractical. pyringe can inject arbitrary Python into the target process, enabling on-the-spot logging, state dumps, or gentle patching to keep a system limping along while you gather evidence. ...

P6Spy is a framework that enables database data to be seamlessly intercepted and manipulated with no code changes to existing application. The P6Spy distribution includes P6Log, an application which logs all JDBC transactions for any Java application us

This is a simple, modular PHP class designed to record execution time benchmarks throughout different parts of a script. Compatible with virtually any PHP script, the code can be added/removed quickly and with ease. Accurate to the microsecond.

LOG4PLSQL is a PLSQL framework for logging in all PLSQL code this project was born from the log4J spirit (and use it). You have the possibility to log apart from transaction and use all LOG4J feature.

Glassbox is an automated troubleshooting and monitoring agent for Java apps that diagnoses common problems with one-click. Drop in a .war file from http://www.glassbox.com and find out what's wrong with your existing web apps, without any code chang

Plugins for Maven 1.x (http://maven.apache.org/maven-1.x/) - manage all aspects of your project (tests, docs, distribution) from a single project descriptor! This project provides plugins that are not bundled with Maven due to differing licenses.

The XPS is a scalable platform for meta-programming and domain engineering. It provides a virtual machine, compiler, and runtime library that make it possible to efficiently develop, debug, and run programs based on XPL (eXtensible Programming Language)

Perf::Stopwatch is a Perl Module that can be quickly added and removed from any existing code to debug/optimize portions of code. Example of use are: database calls, loop efficiency, total script time, and webpage timeouts.

Introspect on running programme, view and alter object fields and methods. Edit the code of any method at runtime; apply the changes to any combination of objects, such as an array, or a complete class. Complete rewrite underway available Jan 2007.

Zinc allows PHP developers to better debug and optimise their applications by providing detailed information on the execution path of the code in their scripts.

Cricket Cage automatically creates JUnit TestCases for repeatable bugs and test scenarios. Include Cricket Cage's AspectJ code to install a code generator, then run the program to generate the TestCase. Finally, add the test case to your build.xml.

ALF, The Automated Logging Framework, is a native logging framework for Java with the unique advantage of supporting automated method tracing. This platform-independent library allows developers to debug their applications quickly without adding code

Allows JDBC resources to be monitored. You can see when java.sql objects are being opened and closed and can see the line of code where a resource that is still open was originally opened.

The GDB (GNU debugger) RSP (remote serial protocol) allows remote debugging of embedded software. This project offers source code of monitors so the developer only needs to burn flash EPROMs once, then use serial communication to download/debug.

the omega xvi project is a javascript debugger written in javascript. it can debug code, execute blocks of code or entire applications, as well as detect variables. because of its javascript nature, it can be run through a webpage, online.

PHP Profiler is both a Zend extension and module capable of generating profiling information (function call statistics) for PHP applications on the server side. No PHP code has to be changed, although the profiler data is available to your scripts.