Ideas, requests, problems regarding the Mobius site 
| Topics in Tools web: | Changed: now 10:22 | Changed by: |
| ActiveComponentDevelopment | 27 Jun 2006 - 08:41 - NEW | JosephKiniry |
| The following components are under active development at the moment. The BML (Bytecode Modeling Language) Library Main.JosephKiniry 27 Jun 2006 | ||
| AprilOhSixSummary | 21 Jun 2006 - 10:24 - NEW | JosephKiniry |
| What follows is not a complete list of activities, but gives you a good idea as to what has been going on. Since then I/we (Joe UCD) have been: coordinating with Mobius ... | ||
| BytecodeModelingLanguage | 14 Sep 2006 - 11:09 - r1.2 | MariekeHuisman |
| -- Main.MariekeHuisman 03 Jul 2006 BML Specific Task Force Members Mariela Pavlova (INRIA) Marieke Huisman (INRIA) Robin Green (UCD) Erik Poll (RU) Jacek Chrz #261 ... | ||
| BytecodeSubsystem | 13 Jun 2007 - 14:32 - r1.3 | AleksySchubert |
| Mobius Bytecode Subsystem Overview Authors: Joseph Kiniry Version: 1 March 2006 Revision History 1 March 2006 Initial outline. Related Documents MobiusToolProjectOverview ... | ||
| CharlesKiniryAprilOhSixSummary | 24 Jul 2006 - 12:07 - NEW | JulienCharles |
| Worked on an Eclipse user interface for multiple provers. Its gforge site We began the work on the PVS part. It is due to be finished soon (as by the 24th of july ... | ||
| CheckStylePlugin | 27 Mar 2007 - 15:26 - NEW | JosephKiniry |
| 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 ... | ||
| ComponentDetails | 23 Jun 2007 - 13:57 - NEW | JulienCharles |
| Here is a recapitulation of where are the components and what they do. Name What? Which repository? VerificationConditionAst BytecodeAnnotationAst BytecodeViewer BytecodeEditor ... | ||
| ComponentIndex | 11 Feb 2008 - 15:45 - r1.7 | DermotCochran |
| Subsystems Under Development BytecodeSubsystem SourcecodeSubsystem JmlSubsystem ExtendedStaticCheckerSubsystem AutomatedProverSubsystem InteractiveProverSubsystem ... | ||
| CoordinationWithNonMobiusPartners | 01 Oct 2006 - 23:06 - NEW | JosephKiniry |
| Many Mobius partners work closely with non-Mobius partners on tool development projects. We must coordinate these efforts to ensure maximum utilization of development ... | ||
| DevelopmentSchedule | 21 Jun 2006 - 10:48 - NEW | JosephKiniry |
| The Mobius Development Schedule is summarised here. I'll be putting in a calendar of the schedule here soon. Main.JosephKiniry 21 Jun 2006 | ||
| DocumentationAndCodingStandards | 04 Jul 2007 - 11:49 - r1.6 | JulienCharles |
| Coding Standards Mobius tool developer uses source, documentation, and specification coding standards. Such a standard should be described in plain English in a coding ... | ||
| DownloadTools | 11 Feb 2008 - 15:38 - r1.5 | DermotCochran |
| 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 ... | ||
| ExampleProjectOverview | 04 Oct 2006 - 14:30 - NEW | JosephKiniry |
| Project Overviews TBD. Purpose and Intention TBD. Realization TBD. Maintenance TBD. Template Overview Here are templates that you can use to write new overviews in ... | ||
| FindBugsPlugin | 27 Mar 2007 - 15:13 - NEW | JosephKiniry |
| The FindBugs tool statically analyses Java source code for common Java programming errors. The FindBugs Eclipse plugin is included, preconfigured, in the Mobius PVE ... | ||
| GforgePlugin | 27 Mar 2007 - 18:01 - NEW | JosephKiniry |
| 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 ... | ||
| JavaNCSSPlugin | 27 Mar 2007 - 14:20 - NEW | JosephKiniry |
| Java NCSS? is a subsystem that performs static code analysis of Java software, computing standard metrics such as: NCSS (Non-Commenting Source Statements) CCN (Cyclomatic ... | ||
| LatestNews | 01 Oct 2006 - 22:46 - r1.2 | JosephKiniry |
| Arranged in Reversed Temporal Order Mobius Program Verification Environment releases 1 October 2006 2006 Yearly Meeting Summary April 2006 Tool Summary | ||
| MobiusBytecodeSubsystemOverview | 02 Mar 2006 - 13:31 - NEW | JosephKiniry |
| Mobius Bytecode Subsystem Overview Authors: Joseph Kiniry Version: 1 March 2006 Revision History 1 March 2006 Initial outline. Related Documents MobiusToolProjectOverview ... | ||
| MobiusToolProjectOverview | 21 Jun 2006 - 10:21 - r1.3 | JosephKiniry |
| ToolUpdates Main.JosephKiniry 18 Apr 2006 | ||
| MylarPlugin | 27 Mar 2007 - 17:57 - NEW | JosephKiniry |
| 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 ... | ||
| PmdPlugin | 27 Mar 2007 - 16:41 - NEW | JosephKiniry |
| 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 ... | ||
| ProjectStatus | 01 Oct 2006 - 22:52 - r1.2 | JosephKiniry |
| Currently Task 3.6 (Mobius Program Verification Environment) participants are currently performing the following top-level subtasks: ReviewingExistingTechnologies ... | ||
| RecentReleases | 04 Oct 2006 - 16:01 - r1.2 | JosephKiniry |
| Recent Release Updates 1 October 2006 The initial, Mobius partner-internal releases of several subsystems and components of the Mobius Program Verification Environment ... | ||
| RelatedTools | 21 Jun 2006 - 10:20 - NEW | JosephKiniry |
| The following tools are used for Mobius tool development. Each of the following pages gives you information about each tools' use in the Mobius project. Integrated ... | ||
| ReviewingExistingTechnologies | 01 Oct 2006 - 23:02 - NEW | JosephKiniry |
| 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 ... | ||
| SiteVisits | 24 Jul 2006 - 11:59 - r1.2 | JulienCharles |
| Tool Site Visits in Reverse Chronological Order Joseph Kiniry, Mikolas Janota, and Radu Grigore are visiting MIT in Summer/Fall 2006 Joseph Kiniry, Robin Green, and ... | ||
| SoftwareEngineeringTools | 09 Nov 2005 - 17:24 - NEW | JosephKiniry |
| The following tools are used for Mobius tool development. Each of the following pages gives you information about each tools' use in the Mobius project. Subversion ... | ||
| SubVersion | 09 Nov 2005 - 17:32 - NEW | JosephKiniry |
| Subversion is used as the version control system for Mobius development. Here are some important subversion resources: The main Subversion homepage psvn.el provides ... | ||
| SubclipsePlugin | 27 Mar 2007 - 15:15 - NEW | JosephKiniry |
| 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 ... | ||
| ToolUpdates | 18 Apr 2006 - 19:57 - NEW | JosephKiniry |
| What follows is not a complete list of activities, but gives you a good idea as to what has been going on. Since then I/we (Joe UCD) have been: coordinating with Mobius ... | ||
| ToolsContacts | 11 Feb 2008 - 15:39 - r1.2 | DermotCochran |
| Partner Tool Development Contacts Each Mobius partner has a primary contact for tool development. INRIA France TLS Technologies Poland ETH Zurich Switzerland Radboud ... | ||
| ToolsMeeting21June2006 | 27 Jun 2006 - 08:35 - NEW | JosephKiniry |
| Here are my detailed meeting notes: Madrid Meeting: Wed 21 June 2006 Randy: do we want full integration of the prover in the environment? Joe Julien: for first deliverable ... | ||
| ToolsMeeting22June2006 | 27 Jun 2006 - 08:36 - NEW | JosephKiniry |
| Here are my detailed meeting notes: Thursday 22 June Meeting in Madrid Agenda VCGen (do we use Benjamin's VCGen for now?) Peter: Benjamin and I discussed the fact ... | ||
| ToolsMeetings | 27 Jun 2006 - 08:34 - r1.2 | JosephKiniry |
| Arranged in Reversed Temporal Order 2006 Yearly Meeting Summary 1. First Tools Meeting, Wednesday 21 June 2006 2. First Tools Meeting, Thursday 22 June 2006 Main ... | ||
| ToolsPublications | 02 Oct 2006 - 12:37 - r1.2 | AlanMorkan |
| Mobius encourages tool-related publications, particularly case studies focusing on the use of Mobius components for Mobius component development. Tool-centric Papers ... | ||
| ToolsSummary | 11 Feb 2008 - 15:43 - r1.3 | DermotCochran |
| Overview The Mobius Program Verification Environment (PVE) is used to design, program, test, and reason about (possibly concurrent) JML-annotated Java programs. The ... | ||
| WebChanges | 16 Aug 2001 - 19:58 - NEW | PeterThoeny |
| INCLUDE{" TWIKIWEB .WebChanges"} | ||
| WebHome | 21 Jun 2006 - 09:58 - r1.6 | JosephKiniry |
| Welcome to the home of TWiki.Tools. This is a web-based collaboration area for coordianating Mobius tool development. Please see the toolbar on the lefthand side of ... | ||
| WebIndex | 24 Nov 2001 - 11:41 - r1.2 | PeterThoeny |
| SEARCH{"\. " scope "topic" regex "on" nosearch "on"} See also the faster WebTopicList | ||
| WebLeftBar | 13 Jun 2007 - 14:38 - r1.3 | AleksySchubert |
| INCLUDINGWEB Web Mobius Public Home Mobius Intranet INCLUDINGWEB Web Home Overview ToolsSummary ToolsContacts ComponentIndex RelatedTools DownloadTools Scientific ... | ||
| WebNotify | 28 Aug 2004 - 07:30 - r1.4 | PeterThoeny |
| This is a subscription service to be automatically notified by e-mail when topics change in this Tools web. This is a convenient service, so you do not have to come ... | ||
| WebPreferences | 07 Nov 2005 - 09:32 - r1.10 | JulienCharles |
| Tools Web Preferences The following settings are web preferences of the Tools web. These preferences overwrite the site-level preferences in TWIKIWEB . WIKIPREFSTOPIC ... | ||
| WebRss | 16 Aug 2004 - 03:27 - r1.2 | PeterThoeny |
| TWiki's Tools web SCRIPTURL /view SCRIPTSUFFIX /Tools The Tools web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World. INCLUDE{" TWIKIWEB ... | ||
| WebSearch | 08 Aug 2001 - 05:26 - NEW | PeterThoeny |
| INCLUDE{" TWIKIWEB .WebSearch"} | ||
| WebSearchAdvanced | 18 Jan 2004 - 10:52 - NEW | PeterThoeny |
| INCLUDE{" TWIKIWEB .WebSearchAdvanced"} | ||
| WebStatistics | 01 Dec 2009 - 06:02 - r1.1409 | TWikiGuest |
| 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 ... | ||
| WebTopicList | 24 Nov 2001 - 11:40 - NEW | PeterThoeny |
| TOPICLIST{" $name "} See also the verbose WebIndex. | ||