D32 General Platform Maintenance - Revision history

imported>Tommy at 16:28, 14 November 2011

2011-11-14T16:28:21Z

← Older revision		Revision as of 16:28, 14 November 2011
Line 12:		Line 12:
	: The integration of mathematical extensions required a major rework of the deep internals of the platform (in particular all code related to the manipulation of mathematical formulas). See <ref>http://wiki.event-b.org/index.php/D32_Mathematical_Extensions</ref>.		: The integration of mathematical extensions required a major rework of the deep internals of the platform (in particular all code related to the manipulation of mathematical formulas). See <ref>http://wiki.event-b.org/index.php/D32_Mathematical_Extensions</ref>.
	* Documentation		* Documentation
	: Plug-in developers expressed their need to get a detailed documentation about Rodin extension ability. A dedicated tutorial<ref>http://wiki.event-b.org/index.php/Plug-in_Tutorial </ref><ref name="documentation">http://wiki.event-b.org/index.php/~~D23_General_Platform_Maintenance~~#Available_Documentation</ref> has been written accordingly, and was the support of a full-day tutorial session given at the Rodin User and Developer Workshop<ref>http://www.event-b.org/rodin10.html </ref> in Düsseldorf this year.		: Plug-in developers expressed their need to get a detailed documentation about Rodin extension ability. A dedicated tutorial<ref>http://wiki.event-b.org/index.php/Plug-in_Tutorial </ref><ref name="documentation">http://wiki.event-b.org/index.php/D32_General_Platform_Maintenance#Available_Documentation</ref> has been written accordingly, and was the support of a full-day tutorial session given at the Rodin User and Developer Workshop<ref>http://www.event-b.org/rodin10.html </ref> in Düsseldorf this year.
	: The user manual, user tutorial and other developer documentation on the wiki<ref>http://wiki.event-b.org</ref> are continuously, and collaboratively updated and enhanced. Moreover, as soon as a new feature is added to the platform, the corresponding user documentation is created on the Wiki.		: The user manual, user tutorial and other developer documentation on the wiki<ref>http://wiki.event-b.org</ref> are continuously, and collaboratively updated and enhanced. Moreover, as soon as a new feature is added to the platform, the corresponding user documentation is created on the Wiki.

Line 19:		Line 19:
	= Motivations =		= Motivations =
	The evolutive maintenance (resp. corrective maintenance) has its origin in the DEPLOY description of work, and the various requests (resp. bug reports) listed by WP1-4 partners, developers and users. Since the DEPLOY project inception, various streams have been used to request new features or track known bugs:		The evolutive maintenance (resp. corrective maintenance) has its origin in the DEPLOY description of work, and the various requests (resp. bug reports) listed by WP1-4 partners, developers and users. Since the DEPLOY project inception, various streams have been used to request new features or track known bugs:
	: - dedicated trackers<ref name="~~documentation~~">http://~~wiki~~.~~event-b~~.~~org~~/~~index.php~~/~~D23_General_Platform_Maintenance#Available_Documentation~~</ref>,		: - dedicated trackers<ref name="bugTracker">http://sourceforge.net/tracker/?group_id=108850&atid=651669</ref><ref name="frTracker">http://sourceforge.net/tracker/?group_id=108850&atid=651672</ref>,
	: - platform mailing lists <ref>http://sourceforge.net/mail/?group_id=108850</ref>		: - platform mailing lists <ref>http://sourceforge.net/mail/?group_id=108850</ref>
	: - DEPLOY WP9 mailing list.		: - DEPLOY WP9 mailing list.
Line 96:		Line 96:
	: When several plug-ins are installed, conflicts between them can arise. The cumbersome behaviour spawned by such incompatibilities leads to users' disappointment or can render the platform unusable. Special efforts will be made to identify the source of incompatibilities among plug-ins. Moreover, necessary corrective maintenance tasks and assignments will be coordinated and executed.		: When several plug-ins are installed, conflicts between them can arise. The cumbersome behaviour spawned by such incompatibilities leads to users' disappointment or can render the platform unusable. Special efforts will be made to identify the source of incompatibilities among plug-ins. Moreover, necessary corrective maintenance tasks and assignments will be coordinated and executed.

	===References===		== References ==
	<references/>		<references/>

	[[Category:D32 Deliverable]]		[[Category:D32 Deliverable]]

imported>Tommy: Reverted edits by Tommy (Talk); changed back to last version by Laurent

2011-11-14T16:25:39Z

Reverted edits by Tommy (Talk); changed back to last version by Laurent

← Older revision		Revision as of 16:25, 14 November 2011
Line 12:		Line 12:
	: The integration of mathematical extensions required a major rework of the deep internals of the platform (in particular all code related to the manipulation of mathematical formulas). See <ref>http://wiki.event-b.org/index.php/D32_Mathematical_Extensions</ref>.		: The integration of mathematical extensions required a major rework of the deep internals of the platform (in particular all code related to the manipulation of mathematical formulas). See <ref>http://wiki.event-b.org/index.php/D32_Mathematical_Extensions</ref>.
	* Documentation		* Documentation
	: Plug-in developers expressed their need to get a detailed documentation about Rodin extension ability. A dedicated tutorial<ref>http://wiki.event-b.org/index.php/Plug-in_Tutorial </ref><ref name="documentation">http://wiki.event-b.org/index.php/~~D32_General_Platform_Maintenance~~#Available_Documentation</ref> has been written accordingly, and was the support of a full-day tutorial session given at the Rodin User and Developer Workshop<ref>http://www.event-b.org/rodin10.html </ref> in Düsseldorf this year.		: Plug-in developers expressed their need to get a detailed documentation about Rodin extension ability. A dedicated tutorial<ref>http://wiki.event-b.org/index.php/Plug-in_Tutorial </ref><ref name="documentation">http://wiki.event-b.org/index.php/D23_General_Platform_Maintenance#Available_Documentation</ref> has been written accordingly, and was the support of a full-day tutorial session given at the Rodin User and Developer Workshop<ref>http://www.event-b.org/rodin10.html </ref> in Düsseldorf this year.
	: The user manual, user tutorial and other developer documentation on the wiki<ref>http://wiki.event-b.org</ref> are continuously, and collaboratively updated and enhanced. Moreover, as soon as a new feature is added to the platform, the corresponding user documentation is created on the Wiki.		: The user manual, user tutorial and other developer documentation on the wiki<ref>http://wiki.event-b.org</ref> are continuously, and collaboratively updated and enhanced. Moreover, as soon as a new feature is added to the platform, the corresponding user documentation is created on the Wiki.

Line 19:		Line 19:
	= Motivations =		= Motivations =
	The evolutive maintenance (resp. corrective maintenance) has its origin in the DEPLOY description of work, and the various requests (resp. bug reports) listed by WP1-4 partners, developers and users. Since the DEPLOY project inception, various streams have been used to request new features or track known bugs:		The evolutive maintenance (resp. corrective maintenance) has its origin in the DEPLOY description of work, and the various requests (resp. bug reports) listed by WP1-4 partners, developers and users. Since the DEPLOY project inception, various streams have been used to request new features or track known bugs:
	: - dedicated trackers<ref name="~~bugTracker~~">http://~~sourceforge~~.~~net/tracker/?group_id=108850&atid=651669</ref><ref name="frTracker">http:~~/~~/sourceforge~~.~~net/tracker~~/~~?group_id=108850&atid=651672~~</ref>,		: - dedicated trackers<ref name="documentation">http://wiki.event-b.org/index.php/D23_General_Platform_Maintenance#Available_Documentation</ref>,
	: - platform mailing lists <ref>http://sourceforge.net/mail/?group_id=108850</ref>		: - platform mailing lists <ref>http://sourceforge.net/mail/?group_id=108850</ref>
	: - DEPLOY WP9 mailing list.		: - DEPLOY WP9 mailing list.
Line 27:		Line 27:
	{{SimpleHeader}}		{{SimpleHeader}}
	\|-		\|-
	! scope=col \| Origin \|\| Maintenance Task \|\| Done in 2011		! scope=col \| Origin \|\| Maintenance Task \|\| Done in 2010 \|\| Scheduled in 2011
	\|-		\|-
	\| DoW / WP1-4 partners \|\| Prover efficiency and integrity \|\| x		\| DoW / WP1-4 partners \|\| Prover efficiency and integrity \|\| x \|\| x
			\|-
			\| Deliverable D25 \|\| Test reports and test coverage \|\| \|\| x
			\|-
			\| WP1-4 partners\|\| Updating fields of records \|\| x \|\|
			\|-
			\| WP1-4 partners\|\| Team work \|\| x \|\|
	\|-		\|-
	\| WP1-4 partners\|\| Edition \|\| \|\| x		\| WP1-4 partners\|\| Edition \|\| \|\| x
	\|-		\|-
	\| WP1-4 partners\|\| Increase platform stability \|\| \|\| x		\| WP1-4 partners\|\| Increase platform stability \|\| \|\| x
			\|-
			\| WP1-4 partners\|\| Comments everywhere <ref>https://sourceforge.net/tracker/index.php?func=detail&aid=3007797&group_id=108850&atid=651672</ref> \|\| \|\| x
			\|-
			\| WP1-4 partners\|\| Plug-in incompatibilities \|\| \|\| x
	\|-		\|-
	\| WP1-4 partners\|\| Search in goal window <ref>https://sourceforge.net/tracker/?func=detail&atid=651672&aid=3092835&group_id=108850</ref> \|\| \|\| x		\| WP1-4 partners\|\| Search in goal window <ref>https://sourceforge.net/tracker/?func=detail&atid=651672&aid=3092835&group_id=108850</ref> \|\| \|\| x
Line 39:		Line 49:
	\| WP1-4 partners\|\| Preferences for the automatic tactics <ref>http://sourceforge.net/tracker/index.php?func=detail&aid=1581775&group_id=108850&atid=651672</ref> \|\| \|\| x		\| WP1-4 partners\|\| Preferences for the automatic tactics <ref>http://sourceforge.net/tracker/index.php?func=detail&aid=1581775&group_id=108850&atid=651672</ref> \|\| \|\| x
	\|-		\|-
			\| WP1-4 partners\|\| Hierarchy / refinement view<ref>http://wiki.event-b.org/index.php/Project_Diagram</ref> \|\| x \|\| x
			\|-
			\| Plug-in developers\|\| API to extend the Pretty Printer view <ref>http://sourceforge.net/tracker/?func=detail&aid=2926238&group_id=108850&atid=651672</ref> \|\| x \|\|
			\|-
			\| Plug-in developers\|\| View the error log <ref>http://sourceforge.net/tracker/?func=detail&aid=2990974&group_id=108850&atid=651672</ref> \|\| x \|\|
			\|-
			\| Plug-in developers\|\| Prover API \|\| x \|\|
			\|-
			\| Plug-in developers\|\| A different update site for unstable plug-ins \|\| \|\| x
			\|-
			\| End Users\|\| 64-bit Rodin for Mac \|\| x \|\|
			\|-
			\| End Users\|\| Adding a replay proof command in the Event-B explorer <ref>http://sourceforge.net/tracker/?func=detail&aid=2949606&group_id=108850&atid=651672</ref> \|\| x \|\|
			\|-
			\| End Users\|\| Having auto-completion in proof control <ref>http://sourceforge.net/tracker/?func=detail&aid=2979367&group_id=108850&atid=651672</ref> \|\| x \|\|
			\|-
			\| End Users\|\| Displaying instantiated hypotheses <ref>http://sourceforge.net/tracker/?func=detail&aid=3008636&group_id=108850&atid=651672</ref> \|\| x \|\|
			\|-
	\| End Users \|\| Displaying the inherited elements \|\| \|\| x		\| End Users \|\| Displaying the inherited elements \|\| \|\| x
	\|}		\|}
Line 68:		Line 96:
	: When several plug-ins are installed, conflicts between them can arise. The cumbersome behaviour spawned by such incompatibilities leads to users' disappointment or can render the platform unusable. Special efforts will be made to identify the source of incompatibilities among plug-ins. Moreover, necessary corrective maintenance tasks and assignments will be coordinated and executed.		: When several plug-ins are installed, conflicts between them can arise. The cumbersome behaviour spawned by such incompatibilities leads to users' disappointment or can render the platform unusable. Special efforts will be made to identify the source of incompatibilities among plug-ins. Moreover, necessary corrective maintenance tasks and assignments will be coordinated and executed.

	== References ==		===References===
	<references/>		<references/>

	[[Category:D32 Deliverable]]		[[Category:D32 Deliverable]]

imported>Tommy: /* Motivations */

2011-11-14T16:23:59Z

Motivations

← Older revision		Revision as of 16:23, 14 November 2011
Line 30:		Line 30:
	\|-		\|-
	\| DoW / WP1-4 partners \|\| Prover efficiency and integrity \|\| x		\| DoW / WP1-4 partners \|\| Prover efficiency and integrity \|\| x
	\|-
	~~\| Deliverable D25 \|\| Test reports and test coverage \|\| \|\| x~~
	\|-		\|-
	\| WP1-4 partners\|\| Edition \|\| \|\| x		\| WP1-4 partners\|\| Edition \|\| \|\| x
	\|-		\|-
	\| WP1-4 partners\|\| Increase platform stability \|\| \|\| x		\| WP1-4 partners\|\| Increase platform stability \|\| \|\| x
	\|-
	~~\| WP1-4 partners\|\| Comments everywhere <ref>https://sourceforge.net/tracker/index.php?func=detail&aid=3007797&group_id=108850&atid=651672</ref> \|\| \|\| x~~
	\|-
	~~\| WP1-4 partners\|\| Plug-in incompatibilities \|\| \|\| x~~
	\|-		\|-
	\| WP1-4 partners\|\| Search in goal window <ref>https://sourceforge.net/tracker/?func=detail&atid=651672&aid=3092835&group_id=108850</ref> \|\| \|\| x		\| WP1-4 partners\|\| Search in goal window <ref>https://sourceforge.net/tracker/?func=detail&atid=651672&aid=3092835&group_id=108850</ref> \|\| \|\| x

imported>Tommy: /* Motivations */

2011-11-14T16:23:03Z

Motivations

← Older revision		Revision as of 16:23, 14 November 2011
Line 27:		Line 27:
	{{SimpleHeader}}		{{SimpleHeader}}
	\|-		\|-
	! scope=col \| Origin \|\| Maintenance Task \|\| Done ~~in 2010 \|\| Scheduled~~ in 2011		! scope=col \| Origin \|\| Maintenance Task \|\| Done in 2011
	\|-		\|-
	\| DoW / WP1-4 partners \|\| Prover efficiency and integrity ~~\|\| x~~ \|\| x		\| DoW / WP1-4 partners \|\| Prover efficiency and integrity \|\| x
	\|-		\|-
	\| Deliverable D25 \|\| Test reports and test coverage \|\| \|\| x		\| Deliverable D25 \|\| Test reports and test coverage \|\| \|\| x
	\|-
	~~\| WP1-4 partners\|\| Updating fields of records \|\| x \|\|~~
	\|-
	~~\| WP1-4 partners\|\| Team work \|\| x \|\|~~
	\|-		\|-
	\| WP1-4 partners\|\| Edition \|\| \|\| x		\| WP1-4 partners\|\| Edition \|\| \|\| x
Line 49:		Line 45:
	\| WP1-4 partners\|\| Preferences for the automatic tactics <ref>http://sourceforge.net/tracker/index.php?func=detail&aid=1581775&group_id=108850&atid=651672</ref> \|\| \|\| x		\| WP1-4 partners\|\| Preferences for the automatic tactics <ref>http://sourceforge.net/tracker/index.php?func=detail&aid=1581775&group_id=108850&atid=651672</ref> \|\| \|\| x
	\|-		\|-
	~~\| WP1-4 partners\|\| Hierarchy / refinement view<ref>http://wiki.event-b.org/index.php/Project_Diagram</ref> \|\| x \|\| x~~
	\|-
	~~\| Plug-in developers\|\| API to extend the Pretty Printer view <ref>http://sourceforge.net/tracker/?func=detail&aid=2926238&group_id=108850&atid=651672</ref> \|\| x \|\|~~
	\|-
	~~\| Plug-in developers\|\| View the error log <ref>http://sourceforge.net/tracker/?func=detail&aid=2990974&group_id=108850&atid=651672</ref> \|\| x \|\|~~
	\|-
	~~\| Plug-in developers\|\| Prover API \|\| x \|\|~~
	\|-
	~~\| Plug-in developers\|\| A different update site for unstable plug-ins \|\| \|\| x~~
	\|-
	~~\| End Users\|\| 64-bit Rodin for Mac \|\| x \|\|~~
	\|-
	~~\| End Users\|\| Adding a replay proof command in the Event-B explorer <ref>http://sourceforge.net/tracker/?func=detail&aid=2949606&group_id=108850&atid=651672</ref> \|\| x \|\|~~
	\|-
	~~\| End Users\|\| Having auto-completion in proof control <ref>http://sourceforge.net/tracker/?func=detail&aid=2979367&group_id=108850&atid=651672</ref> \|\| x \|\|~~
	\|-
	~~\| End Users\|\| Displaying instantiated hypotheses <ref>http://sourceforge.net/tracker/?func=detail&aid=3008636&group_id=108850&atid=651672</ref> \|\| x \|\|~~
	\|-
	\| End Users \|\| Displaying the inherited elements \|\| \|\| x		\| End Users \|\| Displaying the inherited elements \|\| \|\| x
	\|}		\|}

imported>Tommy at 16:42, 27 January 2011

2011-01-27T16:42:18Z

← Older revision		Revision as of 16:42, 27 January 2011
Line 12:		Line 12:
	: The integration of mathematical extensions required a major rework of the deep internals of the platform (in particular all code related to the manipulation of mathematical formulas). See <ref>http://wiki.event-b.org/index.php/D32_Mathematical_Extensions</ref>.		: The integration of mathematical extensions required a major rework of the deep internals of the platform (in particular all code related to the manipulation of mathematical formulas). See <ref>http://wiki.event-b.org/index.php/D32_Mathematical_Extensions</ref>.
	* Documentation		* Documentation
	: Plug-in developers expressed their need to get a detailed documentation about Rodin extension ability. A dedicated tutorial<ref>http://wiki.event-b.org/index.php/Plug-in_Tutorial </ref><ref name="documentation">http://wiki.event-b.org/index.php/~~D23_General_Platform_Maintenance~~#Available_Documentation</ref> has been written accordingly, and was the support of a full-day tutorial session given at the Rodin User and Developer Workshop<ref>http://www.event-b.org/rodin10.html </ref> in Düsseldorf this year.		: Plug-in developers expressed their need to get a detailed documentation about Rodin extension ability. A dedicated tutorial<ref>http://wiki.event-b.org/index.php/Plug-in_Tutorial </ref><ref name="documentation">http://wiki.event-b.org/index.php/D32_General_Platform_Maintenance#Available_Documentation</ref> has been written accordingly, and was the support of a full-day tutorial session given at the Rodin User and Developer Workshop<ref>http://www.event-b.org/rodin10.html </ref> in Düsseldorf this year.
	: The user manual, user tutorial and other developer documentation on the wiki<ref>http://wiki.event-b.org</ref> are continuously, and collaboratively updated and enhanced. Moreover, as soon as a new feature is added to the platform, the corresponding user documentation is created on the Wiki.		: The user manual, user tutorial and other developer documentation on the wiki<ref>http://wiki.event-b.org</ref> are continuously, and collaboratively updated and enhanced. Moreover, as soon as a new feature is added to the platform, the corresponding user documentation is created on the Wiki.

Line 19:		Line 19:
	= Motivations =		= Motivations =
	The evolutive maintenance (resp. corrective maintenance) has its origin in the DEPLOY description of work, and the various requests (resp. bug reports) listed by WP1-4 partners, developers and users. Since the DEPLOY project inception, various streams have been used to request new features or track known bugs:		The evolutive maintenance (resp. corrective maintenance) has its origin in the DEPLOY description of work, and the various requests (resp. bug reports) listed by WP1-4 partners, developers and users. Since the DEPLOY project inception, various streams have been used to request new features or track known bugs:
	: - dedicated trackers<ref name="~~documentation~~">http://~~wiki~~.~~event-b~~.~~org~~/~~index.php~~/~~D23_General_Platform_Maintenance#Available_Documentation~~</ref>,		: - dedicated trackers<ref name="bugTracker">http://sourceforge.net/tracker/?group_id=108850&atid=651669</ref><ref name="frTracker">http://sourceforge.net/tracker/?group_id=108850&atid=651672</ref>,
	: - platform mailing lists <ref>http://sourceforge.net/mail/?group_id=108850</ref>		: - platform mailing lists <ref>http://sourceforge.net/mail/?group_id=108850</ref>
	: - DEPLOY WP9 mailing list.		: - DEPLOY WP9 mailing list.

imported>Tommy: /* References */

2010-12-21T11:04:23Z

References

← Older revision		Revision as of 11:04, 21 December 2010
Line 96:		Line 96:
	: When several plug-ins are installed, conflicts between them can arise. The cumbersome behaviour spawned by such incompatibilities leads to users' disappointment or can render the platform unusable. Special efforts will be made to identify the source of incompatibilities among plug-ins. Moreover, necessary corrective maintenance tasks and assignments will be coordinated and executed.		: When several plug-ins are installed, conflicts between them can arise. The cumbersome behaviour spawned by such incompatibilities leads to users' disappointment or can render the platform unusable. Special efforts will be made to identify the source of incompatibilities among plug-ins. Moreover, necessary corrective maintenance tasks and assignments will be coordinated and executed.

	= References =		== References ==
	<references/>		<references/>

	[[Category:D32 Deliverable]]		[[Category:D32 Deliverable]]

imported>Tommy: /* References */

2010-12-21T10:52:58Z

References

← Older revision		Revision as of 10:52, 21 December 2010
Line 96:		Line 96:
	: When several plug-ins are installed, conflicts between them can arise. The cumbersome behaviour spawned by such incompatibilities leads to users' disappointment or can render the platform unusable. Special efforts will be made to identify the source of incompatibilities among plug-ins. Moreover, necessary corrective maintenance tasks and assignments will be coordinated and executed.		: When several plug-ins are installed, conflicts between them can arise. The cumbersome behaviour spawned by such incompatibilities leads to users' disappointment or can render the platform unusable. Special efforts will be made to identify the source of incompatibilities among plug-ins. Moreover, necessary corrective maintenance tasks and assignments will be coordinated and executed.

	===References===		= References =
	<references/>		<references/>

	[[Category:D32 Deliverable]]		[[Category:D32 Deliverable]]

imported>Tommy: Undo revision 8109 by Tommy (Talk)

2010-12-09T08:56:57Z

Undo revision 8109 by Tommy (Talk)

← Older revision		Revision as of 08:56, 9 December 2010
Line 77:		Line 77:
	: The Rodin platforms family is then composed of three executables : 32-bit platforms for Linux and Windows environments and a 64-bit platform for Mac computers.		: The Rodin platforms family is then composed of three executables : 32-bit platforms for Linux and Windows environments and a 64-bit platform for Mac computers.
	* Rodin sources		* Rodin sources
	: The sources of Rodin are ~~made available the same way as~~ the binary platform. It provides developers with a convenient alternative to the available sources<ref>http://wiki.event-b.org/index.php/Using_Rodin_as_Target_Platform</ref> on SourceForge.		: The sources of Rodin are now bundled together with the binary platform. It provides developers with a convenient alternative to the available sources<ref>http://wiki.event-b.org/index.php/Using_Rodin_as_Target_Platform</ref> on SourceForge.
	* Release notes		* Release notes
	: The release notes contain information about the released plug-ins and centralise the requirements or existing issues which could not be stated at the main platform release date. Thus, since Rodin 2.0 release, it has been chosen to link the contents of the release notes text file included in Rodin releases, with the contents of the dedicated Wiki page.		: The release notes contain information about the released plug-ins and centralise the requirements or existing issues which could not be stated at the main platform release date. Thus, since Rodin 2.0 release, it has been chosen to link the contents of the release notes text file included in Rodin releases, with the contents of the dedicated Wiki page.

imported>Tommy: /* Choices / Decisions */

2010-12-09T08:54:01Z

Choices / Decisions

← Older revision		Revision as of 08:54, 9 December 2010
Line 77:		Line 77:
	: The Rodin platforms family is then composed of three executables : 32-bit platforms for Linux and Windows environments and a 64-bit platform for Mac computers.		: The Rodin platforms family is then composed of three executables : 32-bit platforms for Linux and Windows environments and a 64-bit platform for Mac computers.
	* Rodin sources		* Rodin sources
	: The sources of Rodin are ~~now bundled together with~~ the binary platform. It provides developers with a convenient alternative to the available sources<ref>http://wiki.event-b.org/index.php/Using_Rodin_as_Target_Platform</ref> on SourceForge.		: The sources of Rodin are made available the same way as the binary platform. It provides developers with a convenient alternative to the available sources<ref>http://wiki.event-b.org/index.php/Using_Rodin_as_Target_Platform</ref> on SourceForge.
	* Release notes		* Release notes
	: The release notes contain information about the released plug-ins and centralise the requirements or existing issues which could not be stated at the main platform release date. Thus, since Rodin 2.0 release, it has been chosen to link the contents of the release notes text file included in Rodin releases, with the contents of the dedicated Wiki page.		: The release notes contain information about the released plug-ins and centralise the requirements or existing issues which could not be stated at the main platform release date. Thus, since Rodin 2.0 release, it has been chosen to link the contents of the release notes text file included in Rodin releases, with the contents of the dedicated Wiki page.

imported>Laurent: /* Motivations */ Fixed hyperlinks

2010-12-08T09:22:08Z

Motivations: Fixed hyperlinks

← Older revision		Revision as of 09:22, 8 December 2010
Line 20:		Line 20:
	The evolutive maintenance (resp. corrective maintenance) has its origin in the DEPLOY description of work, and the various requests (resp. bug reports) listed by WP1-4 partners, developers and users. Since the DEPLOY project inception, various streams have been used to request new features or track known bugs:		The evolutive maintenance (resp. corrective maintenance) has its origin in the DEPLOY description of work, and the various requests (resp. bug reports) listed by WP1-4 partners, developers and users. Since the DEPLOY project inception, various streams have been used to request new features or track known bugs:
	: - dedicated trackers<ref name="documentation">http://wiki.event-b.org/index.php/D23_General_Platform_Maintenance#Available_Documentation</ref>,		: - dedicated trackers<ref name="documentation">http://wiki.event-b.org/index.php/D23_General_Platform_Maintenance#Available_Documentation</ref>,
	: - platform ~~user [~~http://sourceforge.net/mail/?group_id=108850 ~~mailing list]~~		: - platform mailing lists <ref>http://sourceforge.net/mail/?group_id=108850</ref>
	: - DEPLOY WP9 mailing list.		: - DEPLOY WP9 mailing list.
	Maintenance tasks to perform are collected from the aforementioned streams and scheduled during WP9 meetings. These tasks are processed in the same way as the task planned in the description of work.		Maintenance tasks to perform are collected from the aforementioned streams and scheduled during WP9 meetings. These tasks are processed in the same way as the task planned in the description of work.
Line 31:		Line 31:
	\| DoW / WP1-4 partners \|\| Prover efficiency and integrity \|\| x \|\| x		\| DoW / WP1-4 partners \|\| Prover efficiency and integrity \|\| x \|\| x
	\|-		\|-
	\| Deliverable D25 \|\| Test reports and test coverage ~~<ref>http://bscw.cs.ncl.ac.uk/bscw/bscw.cgi/105531</ref>~~ \|\| \|\| x		\| Deliverable D25 \|\| Test reports and test coverage \|\| \|\| x
	\|-		\|-
	\| WP1-4 partners\|\| Updating fields of records \|\| x \|\|		\| WP1-4 partners\|\| Updating fields of records \|\| x \|\|