ReviewExistingTechnologies

Several existing systems, either developed by non-Mobius partners, or older systems developed by Mobius partners but not in the core focus of Mobius, are under review for incorporation into the Mobius PVE. These systems include:

• the ESC/Java tool suite
• the KeY tool suite
• the JACK tool suite
• the Bogor tool suite
• the Indus program slicer
• the Isabelle interactive theorem prover (via the Proof General Toolkit)
• the Cadena component development environment
• the Daikon invariant generator
• and others

Many existing software engineering components are being integrated at the moment. These include:

• the CheckClipse plugin
• the PMD plugin
• the SubVersion plugin
• the FindBugs plugin

Version: 1 Time: Mon Sep 17 14:15:30 2007 Author: dcochran (dcochran) IP: 193.1.132.32