Search Results for "ms-sys"

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

This is going to be a Java Swing Application that will be used as a quick reference for Java API names. It will feature incremental search and filtering so that searching efficiency is improved. It will be very simple and a good way to statistically analyze java api's.

Firebird 2.5 is required at least Monitor and trace Firebird activity on Windows and Linux. Let DBA to get the traces and send them to you when you can't access to production server. Watch query duration and plan.

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

Portable emulator for Pokémon-Mini. Last version: 0.60 (16 June 2015) Check Wiki for platform dependencies and other information.

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.

CxxTest is a unit testing framework for C++ that is similar in spirit to JUnit, CppUnit, and xUnit. CxxTest is easy to use because it does not require precompiling a CxxTest testing library, it employs no advanced features of C++ (e.g. RTTI) and it supports a very flexible form of test discovery.

Follow is a simple Java application which allows a user to monitor several log files concurrently. The source for this project is now being maintained at http://hallwaytech.github.com/follow

A C#, C++, Delphi, ActiveX ,javascript and Java trace framework and a trace viewer: Tail, outputDebugString, event log, Log4J, Log4Net, Microsoft EIF support and Pocket PC development (C++ and .NET)

Unit Test for C is a very useful and powerful software development tool for C and C++ programmers. It is designed to provide a great deal of functionality in a very small package and functions nearly identically on Windows and UNIX systems.

Disassembler for Windows(95-XP), currently supports PE, NE, MZ, COM and "unknown" executable formats. Includes also OS independent console version (but requires x86). Output syntax similar to NASM .

SPE is a python IDE with auto indentation&completion,call tips,syntax coloring&highlighting,uml viewer,class explorer,source index,todo list,pycrust shell,file browsers,drag&drop,Blender support.Spe ships with wxGlade,PyChecker and Kiki.

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.

NEmu is an emulator/simulator for exploring computer architecture. It provides a virtual machine, a debugger, and simulations of various cpus and hardware. NEmu is built on top of ALib, my own application framework.

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

Memory Supervision System (MSS) is a handy tool for debugging dynamic memory bugs and logging memory usage information.

To develop a plug-in for eclipse (eclipse.org) allowing for seamless Eiffel Development using the SmartEiffel (smarteiffel.loria.fr) compiler and the ELJ (elj.com) tools.

The goal of this project is to develop the OS-independent, obtrusive, customizable, extensible, generic logging and tracing software mechanism.

An IDE for java source files. Support syntax highlighting, debugging and proejct mangement.

jDiSeq is a recording facility for call sequences within any Java Virtual Machine. Typical usage is to generate UML (Unified Modeling Language) sequence diagrams of a running system - client or serverside.

CRDebug is a debugger application targeted primarily for developers of high-performance applications like games. It allows for data to be captured at run-time and analyzed at later stages using various visualization plugins CRDebug provides.

Assembler Laboratory (ALab) is an assembler IDE. At this moment it resembles a target for an archeological expedition.

Proshee is a Prolog type-inference system written in Prolog but depending on the banshee project in C (banshee.sourceforge.net). At present it manages very simple type-inference, but it has some problems with lists that need to be overcome.

Debugging library for .NET (written in C#). Log as plain text, xml and treeviews into console, debug window, files and eventlog. Covers pretty much all debugging needs.

Java AS400 RPG source code editor, debugger, IDE.