![](/resources/circle.gif)
![](/resources/circle.gif)
![](/resources/circle.gif)
![](/resources/circle.gif)
![](/resources/circle.gif)
![](/resources/circle.gif)
![](/resources/circle.gif)
![](/resources/circle.gif)
![](/resources/circle.gif)
![](/resources/circle.gif)
Serving Software Downloads in 956 Categories, Downloaded 50.223.668 Times
This project aims at developing an Eclipse plugin for the Design by Contract library provided by the c4j project. It helps Eclipse developers to maintain their contracts together with their Java classes.
License: Freeware | Size: 299.42 KB | Download (48): C4J Eclipse Plugin Download |
ContractChecker is a small tool to provide support for some design by contract features to standard Java code.Internally, it is composed of an Ant task, which invokes a doclet to generate AspectJ and the AjcTask itself in order to compile it.
License: Freeware | Size: 28.42 KB | Download (52): ContractChecker Download |
ezContract contains a Java library and a Java bytecode instrumentor to support Design by Contract in the Java language.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 536 KB | Download (46): ezContract Download |
Manage subscriptions to the Moodle course, contract with students, educational services, the trajectory of learning, academic groups, individual and group training, student record-books, learning processes, milestones, current and final grades, etc.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 2.23 MB | Download (55): Free Dean's Office for MOODLE Download |
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.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 9.41 MB | Download (49): Java Modeling Language (JML) Download |
Java Fine Print is a Design by Contract (DbC) tool. Developers add @Invar, @Pre, and @Post annotations to their code. Java Fine Print uses these annotations to generate Java source code that tests for contract violations.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 29.84 KB | Download (51): Java Fine Print Download |
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.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 326.05 KB | Download (49): jContractor Download |
Kwok Information Server is an open source IT management system, providing IT asset tracking (hardware inventory and software license), issue tracking (helpdesk), service contract management, vendor contact management, and knowledge base.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 90.03 MB | Download (47): Kwok Information Server Download |
Design by Contract allows a programmer to document a function/class with statements describing behavior. Metacontract implements the PEP-0316 related to this feature for the Python language using meta classes.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 4.8 KB | Download (48): MetaContract Download |
Modern Jass is a Design by Contract implementation for Java which uses Java 5 annotations, the Pluggable Annotation Processing API (JSR 269), the Compiler API (JSR 199), and the Bytecode Instrumentation API.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 495.14 KB | Download (47): Modern Jass Download |
Design by Contract with seamless integration into the Spring Framework, based on Annotations, AOP and a pluggable Specification Language (supports Expression Language (EL) with Extensions, Groovy, OGNL out of the box).
Platforms: Windows, Mac, Linux
License: Freeware | Size: 7.29 MB | Download (49): SpringContracts Download |
This script implements class invariants, pre/postconditions in a way similar to PyDBC, but significantly better.
Platforms: Windows, Mac, *nix, Python, BSD Solaris
License: Freeware | Download (52): Yet another Design By Contract module Download |
This is a photo gallery program for sharing pictures and video from a digital camera with family and friends. It is a single PHP file that is easy to install on your own web server. A major goal with this project is to have a simple and intuitive interface that is easy for your whole family to...
Platforms: Windows, Mac, *nix, PHP, BSD Solaris
License: Freeware | Download (55): Ben's Picture Gallery Download |
These routines are the improved calculation routines for Mathieu functions with positive parameters based on Ben Barrowes' direct translation, performed using f2matlab, of the original FORTRAN-77 implementation of "Computation of Special Functions."The package includes the following...
Platforms: Matlab
License: Freeware | Size: 61.44 KB | Download (45): Mathieu classic functions with positive parameter Download |
This software has been realized by Ben Chandler at the CNS Technology Lab at Boston University (http://techlab.bu.edu/). The main author of the software is Ben Chandler ( http://www.neurdon.com/about-2/editors/ben-chandler/ )This is a one-dimensional stand-alone implementation of the Grossberg...
Platforms: Matlab
License: Freeware | Size: 7.99 MB | Download (43): Simple cells (visual cortex) Download |
The MLCOVR package provides XML-formatted output that is consistent with the Cobertura Java coverage tool. It uses the MATLAB profile tool along with custom scripts to evaluate lines covered, branches covered, branch types and complexity. It works on a directory and its subdirectories, collecting...
Platforms: Matlab
License: Freeware | Size: 10 KB | Download (45): mlcovr Package Download |
This file has been updated as of 12 March. I believe it is now more accurate and more flexible, but it's still not the real thing. JPMorgan's source code has been made available at www.cdsmodel.com, I have not yet compared my implementation with theirs.This program is still based on the paper by...
Platforms: Matlab
License: Freeware | Size: 10 KB | Download (45): CDS pricer Download |
At Tribute Media we required the ability to create a simple form that would redirect to a page from a form. In our case, we needed our clients to log into a page which requested a contract ID. Upon entering the contract ID, the user would then be redirected to a form built specially for that...
Platforms: PHP
License: Freeware | Size: 10 KB | Download (45): Node Redirect Download |
Special OfferWin a FREE 1-day Day Pass to Ben's Gigs by helping us in the feedback forum. Try out the plugin suggest features, report bugs, etc.All the Gigs Worth HavingAre you as tired as I am of having to scour all around the Internet just to sift through all the junk to find one or two...
Platforms: PHP
License: Freeware | Size: 716.8 KB | Download (39): bensgigs Download |
Nach einem ersten Start, erstellt das App eine Verbindung zu den PDF Workflow Optionen. Dadurch ist es M?*A*glich aus jedem Programm heraus, ein Dokument an die App zu senden, welche diese als PDF anzeigt und die Option anbietet, das gew?*A*hlte Dokument als Fax zu versenden. Sie ben?*A*tigen...
Platforms: Mac
License: Freeware | Size: 409.6 KB | Download (46): simple-fax.de Download |