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

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.

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.