http://mobius.inria.fr/twiki/bin/view/Tools The Tools web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World. en-us Copyright 2010 by contributing authors Jorge Sacchini [Jorge-Luis.Sacchini@sophia.inria.fr] Jorge Sacchini [Jorge-Luis.Sacchini@sophia.inria.fr] TWiki TWiki.Tools http://mobius.inria.fr/twiki/bin/view/Tools http://mobius.inria.fr/twiki/pub/TWiki/TWikiLogos/twikiRobot46x50.gif http://mobius.inria.fr/twiki/bin/view/Tools/WebStatistics?t=2009-12-01T06:02Z Statistics for Tools Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Dec 2009 8 0 0 3 1 ... (last changed by TWikiGuest) 2009-12-01T06:02Z guest 1.1409 updated major http://mobius.inria.fr/twiki/bin/rdiff/Tools/WebStatistics http://mobius.inria.fr/twiki/bin/rdiff/Tools/WebStatistics http://mobius.inria.fr/twiki/bin/view/Tools/ComponentIndex?t=2008-02-11T15:45Z Subsystems Under Development BytecodeSubsystem SourcecodeSubsystem JmlSubsystem ExtendedStaticCheckerSubsystem AutomatedProverSubsystem InteractiveProverSubsystem ... (last changed by DermotCochran) 2008-02-11T15:45Z DermotCochran 1.7 updated major http://mobius.inria.fr/twiki/bin/rdiff/Tools/ComponentIndex http://mobius.inria.fr/twiki/bin/rdiff/Tools/ComponentIndex http://mobius.inria.fr/twiki/bin/view/Tools/ToolsSummary?t=2008-02-11T15:43Z Overview The Mobius Program Verification Environment (PVE) is used to design, program, test, and reason about (possibly concurrent) JML-annotated Java programs. The ... (last changed by DermotCochran) 2008-02-11T15:43Z DermotCochran 1.3 updated major http://mobius.inria.fr/twiki/bin/rdiff/Tools/ToolsSummary http://mobius.inria.fr/twiki/bin/rdiff/Tools/ToolsSummary http://mobius.inria.fr/twiki/bin/view/Tools/ToolsContacts?t=2008-02-11T15:39Z Partner Tool Development Contacts Each Mobius partner has a primary contact for tool development. INRIA France TLS Technologies Poland ETH Zurich Switzerland Radboud ... (last changed by DermotCochran) 2008-02-11T15:39Z DermotCochran 1.2 updated major http://mobius.inria.fr/twiki/bin/rdiff/Tools/ToolsContacts http://mobius.inria.fr/twiki/bin/rdiff/Tools/ToolsContacts http://mobius.inria.fr/twiki/bin/view/Tools/DownloadTools?t=2008-02-11T15:38Z Download The Mobius PVE can be downloaded as an Eclipse plugin at http://kind.ucd.ie/products/opensource/Mobius. See also: https://mobius.ucd.ie/wiki/ProgramVerificationEnvironment ... (last changed by DermotCochran) 2008-02-11T15:38Z DermotCochran 1.5 updated major http://mobius.inria.fr/twiki/bin/rdiff/Tools/DownloadTools http://mobius.inria.fr/twiki/bin/rdiff/Tools/DownloadTools http://mobius.inria.fr/twiki/bin/view/Tools/DocumentationAndCodingStandards?t=2007-07-04T11:49Z Coding Standards Mobius tool developer uses source, documentation, and specification coding standards. Such a standard should be described in plain English in a coding ... (last changed by JulienCharles) 2007-07-04T11:49Z jcharles 1.6 updated major http://mobius.inria.fr/twiki/bin/rdiff/Tools/DocumentationAndCodingStandards http://mobius.inria.fr/twiki/bin/rdiff/Tools/DocumentationAndCodingStandards http://mobius.inria.fr/twiki/bin/view/Tools/ComponentDetails?t=2007-06-23T13:57Z Here is a recapitulation of where are the components and what they do. Name What? Which repository? VerificationConditionAst BytecodeAnnotationAst BytecodeViewer BytecodeEditor ... (last changed by JulienCharles) 2007-06-23T13:57Z jcharles 1.1 updated major http://mobius.inria.fr/twiki/bin/rdiff/Tools/ComponentDetails http://mobius.inria.fr/twiki/bin/rdiff/Tools/ComponentDetails http://mobius.inria.fr/twiki/bin/view/Tools/WebLeftBar?t=2007-06-13T14:38Z INCLUDINGWEB Web Mobius Public Home Mobius Intranet INCLUDINGWEB Web Home Overview ToolsSummary ToolsContacts ComponentIndex RelatedTools DownloadTools Scientific ... (last changed by AleksySchubert) 2007-06-13T14:38Z AleksySchubert 1.3 updated major http://mobius.inria.fr/twiki/bin/rdiff/Tools/WebLeftBar http://mobius.inria.fr/twiki/bin/rdiff/Tools/WebLeftBar http://mobius.inria.fr/twiki/bin/view/Tools/BytecodeSubsystem?t=2007-06-13T14:32Z Mobius Bytecode Subsystem Overview Authors: Joseph Kiniry Version: 1 March 2006 Revision History 1 March 2006 Initial outline. Related Documents MobiusToolProjectOverview ... (last changed by AleksySchubert) 2007-06-13T14:32Z AleksySchubert 1.3 updated major http://mobius.inria.fr/twiki/bin/rdiff/Tools/BytecodeSubsystem http://mobius.inria.fr/twiki/bin/rdiff/Tools/BytecodeSubsystem http://mobius.inria.fr/twiki/bin/view/Tools/GforgePlugin?t=2007-03-27T18:01Z The GForge has been rewritten as the GForge AS (Advanced Server). Accompanying GForge AS is an Eclipse plugin that provides integrated task and feature tracking from ... (last changed by JosephKiniry) 2007-03-27T18:01Z JosephKiniry 1.1 updated major http://mobius.inria.fr/twiki/bin/rdiff/Tools/GforgePlugin http://mobius.inria.fr/twiki/bin/rdiff/Tools/GforgePlugin http://mobius.inria.fr/twiki/bin/view/Tools/MylarPlugin?t=2007-03-27T17:57Z Eclipse Mylar is a task-focused UI that reduces information overload and makes multi-tasking easy. Mylar does this by making tasks a first class part of Eclipse, and ... (last changed by JosephKiniry) 2007-03-27T17:57Z JosephKiniry 1.1 updated major http://mobius.inria.fr/twiki/bin/rdiff/Tools/MylarPlugin http://mobius.inria.fr/twiki/bin/rdiff/Tools/MylarPlugin http://mobius.inria.fr/twiki/bin/view/Tools/PmdPlugin?t=2007-03-27T16:41Z PMD is a static code analyzer that scans Java source code and looks for potential problems like: possible bugs empty try/catch/finally/switch statements dead code ... (last changed by JosephKiniry) 2007-03-27T16:41Z JosephKiniry 1.1 updated major http://mobius.inria.fr/twiki/bin/rdiff/Tools/PmdPlugin http://mobius.inria.fr/twiki/bin/rdiff/Tools/PmdPlugin http://mobius.inria.fr/twiki/bin/view/Tools/CheckStylePlugin?t=2007-03-27T15:26Z Checkstyle is a program that checks the programming style against a set of user-configured programming guidelines. Checkstyle is supported within Eclipse by the CheckClipse ... (last changed by JosephKiniry) 2007-03-27T15:26Z JosephKiniry 1.1 updated major http://mobius.inria.fr/twiki/bin/rdiff/Tools/CheckStylePlugin http://mobius.inria.fr/twiki/bin/rdiff/Tools/CheckStylePlugin http://mobius.inria.fr/twiki/bin/view/Tools/SubclipsePlugin?t=2007-03-27T15:15Z Subclipse is a subversion plugin for Eclipse. Subclipse is installed and preconfigured in the Mobius PVE. In the Mobius developer release the Mobius subversion repository ... (last changed by JosephKiniry) 2007-03-27T15:15Z JosephKiniry 1.1 updated major http://mobius.inria.fr/twiki/bin/rdiff/Tools/SubclipsePlugin http://mobius.inria.fr/twiki/bin/rdiff/Tools/SubclipsePlugin http://mobius.inria.fr/twiki/bin/view/Tools/FindBugsPlugin?t=2007-03-27T15:13Z The FindBugs tool statically analyses Java source code for common Java programming errors. The FindBugs Eclipse plugin is included, preconfigured, in the Mobius PVE ... (last changed by JosephKiniry) 2007-03-27T15:13Z JosephKiniry 1.1 updated major http://mobius.inria.fr/twiki/bin/rdiff/Tools/FindBugsPlugin http://mobius.inria.fr/twiki/bin/rdiff/Tools/FindBugsPlugin http://mobius.inria.fr/twiki/bin/view/Tools/JavaNCSSPlugin?t=2007-03-27T14:20Z JavaNCSS is a subsystem that performs static code analysis of Java software, computing standard metrics such as: NCSS (Non-Commenting Source Statements) CCN (Cyclomatic ... (last changed by JosephKiniry) 2007-03-27T14:20Z JosephKiniry 1.1 updated major http://mobius.inria.fr/twiki/bin/rdiff/Tools/JavaNCSSPlugin http://mobius.inria.fr/twiki/bin/rdiff/Tools/JavaNCSSPlugin