Topics in Tools web: | Changed: now 10:58 | Changed by: |
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 ... |
ComponentIndex | 11 Feb 2008 - 15:45 - r1.7 | DermotCochran |
Subsystems Under Development BytecodeSubsystem SourcecodeSubsystem JmlSubsystem ExtendedStaticCheckerSubsystem AutomatedProverSubsystem InteractiveProverSubsystem ... |
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 ... |
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 ... |
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 ... |
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 ... |
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 ... |
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 ... |
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 ... |
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 ... |
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, ... |
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 ... |
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 ... |
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 ... |
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 ... |
JavaNCSSPlugin | 27 Mar 2007 - 14:20 - NEW | JosephKiniry |
JavaNCSS is a subsystem that performs static code analysis of Java software, computing standard metrics such as: NCSS (Non-Commenting Source Statements) CCN (Cyclomatic ... |
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 ... |
ExampleProjectOverview | 04 Oct 2006 - 14:30 - NEW | JosephKiniry |
Project Overviews TBD. Purpose and Intention TBD. Realization TBD. Maintenance |
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 ... |
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 ... |
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 ... |
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 ... |
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 |
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 ... |
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 ... |
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 ... |
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 |
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 ... |
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 ... |
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 ... |
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 |
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 ... |
MobiusToolProjectOverview | 21 Jun 2006 - 10:21 - r1.3 | JosephKiniry |
ToolUpdates Main.JosephKiniry 18 Apr 2006 |
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 ... |
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 ... |
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 ... |
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 ... |
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 ... |
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 ... |
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 ... |
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 ... |
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 ... |
WebSearchAdvanced | 18 Jan 2004 - 10:52 - NEW | PeterThoeny |
INCLUDE{" TWIKIWEB .WebSearchAdvanced"} |
WebIndex | 24 Nov 2001 - 11:41 - r1.2 | PeterThoeny |
SEARCH{"\. " scope "topic" regex "on" nosearch "on"} See also the faster WebTopicList |
WebTopicList | 24 Nov 2001 - 11:40 - NEW | PeterThoeny |
TOPICLIST{" $name "} See also the verbose WebIndex. |
WebChanges | 16 Aug 2001 - 19:58 - NEW | PeterThoeny |
INCLUDE{" TWIKIWEB .WebChanges"} |
WebSearch | 08 Aug 2001 - 05:26 - NEW | PeterThoeny |
INCLUDE{" TWIKIWEB .WebSearch"} |