Contract Moodle

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.

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.

ezContract contains a Java library and a Java bytecode instrumentor to support Design by Contract in the Java language.


Platforms: Windows, Mac, Linux

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

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

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

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

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

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

Moocart is a collection of code for working with Moodle and Zencart. The primary project is Moocash: a Ruby Rails bridge between the two for automatic course enrollments.


Platforms: Windows, Mac, Linux

This authentication plug-in enables LDAP single sign-on's from web portal SSL forms and uses a modified standalone version of the core LDAP Authentication Plug-in. Currently supports MS-ADLS (AD), and OpenLDAP (RFC2307 compliant) Server back ends.


Platforms: Windows, Mac, Linux

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

This script implements class invariants, pre/postconditions in a way similar to PyDBC, but significantly better.


Platforms: Windows, Mac, *nix, Python, BSD Solaris

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

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

Campus Project is an Open Source middleware that allows web-based heterogeneous tools (Java, PHP and others) to be integrated and interact with an also heterogeneous Learning Management Systems (LMS) like Moodle and Sakai.It is a developing community within the area of e-learning. Campus Project...


Platforms: PHP

Parent Portal comunity edition, the open source version of the Dataview Parent Portal.Features of Parent Portal comunity edition:- SMS-LMS Interoperable - Link the school Student Management system to the Portal to display Attendance, Reports among many other things- Moodle Integration - Link your...


Platforms: PHP

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

The script helps with the installation process of well known CMSs.It supports Mambo, Joomla, PhpNuke, PhpBB, SMF, Oscommerce, Moodle, Atutor and WordPress.


Platforms: PHP

The C4J-Explorer plug-in for Eclipse facilitates the use of Design by Contract in the development process by automating the creation and synchronization of types and their contracts


Platforms: Mac