Search Results for "contract++"

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

... and contrasting elements related to the purpose of the interview. Responses are progressively recorded and can, as required, be analysed for the purpose of constructing further compare and contract questions to gain more granularity. While the repertory grid interview can be carried out manually it is not possible to carry out dendritic analysis of the results on the fly without interrupting the flow of the interview. Enquire Within enables that.

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.

This mobile business game was developed at Massey University and AUT in Auckland New Zealand for use by students. As part of the funding contract with Ako Aoteroa the game is being made freely available for public use. The SourceForge site is a work in progress, but currently hosts two versions of the game, the original one that runs on Nokia S60 phones, and the current version, which runs on Android devices. Source code is provided for the Nokia version. The source for the Android version...

ROLE is a research project funded by the European Commission (Contract no. 231396) and aiming at delivering and testing prototypes of responsive and personal learning environments. This Sourceforge Repositoy contains the developments related to WP7.