Search Results for "design"

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

kodeWeave is a realtime coding playground for HTML, CSS and Javascript. Similar to JSFiddle and JSBin, but kodeWeave was made to work offline but also as a prototyping application to build applications for desktop operating systems while on mobile devices. (PhoneGap Build is recommended for mobile devices) kodeWeave similar to jsfiddle, jsbin, dabblet, liveweave, codepen, cssdeck, cssdesk, tinkerbin, d3 playground, plunker and pastebin, but allows you to export your web app as a desktop...

The GoodFET is an open source JTAG programmer based upon the Texas Instruments Flash Emulation Tool. While retaining partial compatibility with the TI design, the eventual goal of this project is standalone firmware with no proprietary components.

jContractor is a tool to provide Design by Contract support to the Java programming language. Contracts are specified by writing methods that follow jContractor's naming convention.

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 "Code Red" comes from our team name, the Red Team. Since the competition dictated a small team size, our professor split the class and gave each group a color. ...

JAVA Program to Sequence Diagram Generator. This tool tries to help on analysing and understanding the behavior of the code when developping JAVA applications by generating the respective Sequence Diagram automatically at program execution.

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.

KBOX is a MVC model2 frame work. It helps you create an extensible development environment for your application, based on published standards and proven design patterns.

ConSense is a singular "jack of all trades" web development console intended to ease all your bugtracking, testing and page architecture tasks. Its siblings, RedSand and SimpleClasses form a sound, dynamic, object oriented JavaScript/DHTML framework.

PHP class for developing with MySQL. Includes logging, debugging and query dump features.