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 Ke Y? 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 Check Clipse? plugin
  • the PMD plugin
  • the Sub Version plugin
  • the Find Bugs? plugin

Revision: r1.1 - 01 Oct 2006 - 23:02 - JosephKiniry
Tools > Component Index > Bytecode Subsystem > Latest News > Project Status > ReviewingExistingTechnologies
Ideas, requests, problems regarding the Mobius site QUESTION?