Search Results for "software solution design"

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

Robust is an Android HotFix solution with high compatibility and high stability. Robust can fix bugs immediately without a reboot. Robust is an Android HotFix solution with high compatibility and high stability. Robust can fix bugs immediately without publishing apk. Support fixing at method level,including static methods. Support add classes and methods. Support ProGuard,including inline methods or changing methods' signature. AutoPatch will generate patch for Robust automatically. You...

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

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.

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.