ProcessExplanation

Software developed within the MOBIUS project takes place using a variety of tools and processes. As the Mobius PVE has been under development during the first two years of the project, MOBIUS developers are now able to use the prototype Mobius PVE to verify existing and ongoing work. Likewise, software development processes change to accommodate new verification tools and related technologies as they become available. Most developers have used, to date, tools and processes which are related to the intent of the Mobius PVE, e.g. older versions of the JML tools or standard open source static checkers.

The core elements of any medium-to-large scale software development effort, a coding standard, a collaborative development environment, and a version control repository, were put in place very early in MOBIUS development.

A Mobius PVE development mailing list called mobius-tools also exists. It is currently hosted at INRIA but will be moved to UCD as well for better integration with the MOBIUS Trac server.

Version: 1 Time: Fri Mar 28 17:29:47 2008 Author: dcochran (dcochran) IP: 193.1.132.32