IUML-B - Revision history

imported>Colin: /* Lectures */

2016-06-30T17:34:24Z

Lectures

← Older revision		Revision as of 17:34, 30 June 2016
Line 7:		Line 7:
	==Lectures==		==Lectures==

	* [[Media:iUML-BClassDiagramsLecture.pdf \| iUML-B Class-diagrams Lecture]] : Lecture slides on the use of iUML-B Class-diagrams ~~(NOT YET AVAILABLE).~~		* [[Media:iUML-BClassDiagramsLecture.pdf \| iUML-B Class-diagrams Lecture]] : Lecture slides on the use of iUML-B Class-diagrams

	* [[Media:iUML-BStatemachinesLecture.pdf \| iUML-B State-machines Lecture]] : Lecture slides on the use of iUML-B State-machines.		* [[Media:iUML-BStatemachinesLecture.pdf \| iUML-B State-machines Lecture]] : Lecture slides on the use of iUML-B State-machines.

2015-06-26T14:54:56Z

← Older revision		Revision as of 14:54, 26 June 2015
Line 16:		Line 16:

	* [[iUML-B State-machines Tutorial]] : A tutorial on the use of iUML-B State-machines.		* [[iUML-B State-machines Tutorial]] : A tutorial on the use of iUML-B State-machines.

			==Guidelines==

			* [[iUML-B Modelling a control system]] : Some guidelines on modelling styles for a control system

2014-12-15T13:35:40Z

Lectures

← Older revision		Revision as of 13:35, 15 December 2014
Line 7:		Line 7:
	==Lectures==		==Lectures==

	* [[~~File~~:~~IUML~~-BClassDiagramsLecture.pdf] iUML-B Class-diagrams Lecture] : Lecture slides on the use of iUML-B Class-diagrams (NOT YET AVAILABLE).		* [[Media:iUML-BClassDiagramsLecture.pdf \| iUML-B Class-diagrams Lecture]] : Lecture slides on the use of iUML-B Class-diagrams (NOT YET AVAILABLE).

	* [[Media:iUML-BStatemachinesLecture.pdf] iUML-B State-machines Lecture] : Lecture slides on the use of iUML-B State-machines.		* [[Media:iUML-BStatemachinesLecture.pdf \| iUML-B State-machines Lecture]] : Lecture slides on the use of iUML-B State-machines.

	==Tutorials==		==Tutorials==

2014-12-15T13:29:08Z

Lectures

← Older revision		Revision as of 13:29, 15 December 2014
Line 7:		Line 7:
	==Lectures==		==Lectures==

	* [~~http://wiki.event-b.org/index.php/~~File:IUML-~~BStatemachinesLecture~~.pdf iUML-B Class-diagrams Lecture] : Lecture slides on the use of iUML-B Class-diagrams (NOT YET AVAILABLE).		* [[File:IUML-BClassDiagramsLecture.pdf] iUML-B Class-diagrams Lecture] : Lecture slides on the use of iUML-B Class-diagrams (NOT YET AVAILABLE).

	* [~~http~~:~~//wiki.event-b.org/images/~~iUML-BStatemachinesLecture.pdf iUML-B State-machines Lecture] : Lecture slides on the use of iUML-B State-machines.		* [[Media:iUML-BStatemachinesLecture.pdf] iUML-B State-machines Lecture] : Lecture slides on the use of iUML-B State-machines.

	==Tutorials==		==Tutorials==

2014-12-15T13:26:56Z

Lectures

← Older revision		Revision as of 13:26, 15 December 2014
Line 7:		Line 7:
	==Lectures==		==Lectures==

	* [http://wiki.event-b.org/~~images~~/~~iUML~~-~~BClassdiagramsLecture~~.pdf iUML-B Class-diagrams Lecture] : Lecture slides on the use of iUML-B Class-diagrams (NOT YET AVAILABLE).		* [http://wiki.event-b.org/index.php/File:IUML-BStatemachinesLecture.pdf iUML-B Class-diagrams Lecture] : Lecture slides on the use of iUML-B Class-diagrams (NOT YET AVAILABLE).

	* [http://wiki.event-b.org/images/iUML-BStatemachinesLecture.pdf iUML-B State-machines Lecture] : Lecture slides on the use of iUML-B State-machines.		* [http://wiki.event-b.org/images/iUML-BStatemachinesLecture.pdf iUML-B State-machines Lecture] : Lecture slides on the use of iUML-B State-machines.

2014-12-15T13:14:23Z

Tutorials

← Older revision		Revision as of 13:14, 15 December 2014
Line 4:		Line 4:

	* [[Image:IUMLB.png]] [[Event-B Classdiagrams\| Class diagrams]] a class diagram editor which can be used to define data entities and their relationships and to lift behaviour based on data sets.		* [[Image:IUMLB.png]] [[Event-B Classdiagrams\| Class diagrams]] a class diagram editor which can be used to define data entities and their relationships and to lift behaviour based on data sets.

			==Lectures==

			* [http://wiki.event-b.org/images/iUML-BClassdiagramsLecture.pdf iUML-B Class-diagrams Lecture] : Lecture slides on the use of iUML-B Class-diagrams (NOT YET AVAILABLE).

			* [http://wiki.event-b.org/images/iUML-BStatemachinesLecture.pdf iUML-B State-machines Lecture] : Lecture slides on the use of iUML-B State-machines.

	==Tutorials==		==Tutorials==

	* [[iUML-B Class-diagrams Tutorial]] A tutorial on the use of iUML-B Class diagrams.		* [[iUML-B Class-diagrams Tutorial]] : A tutorial on the use of iUML-B Class-diagrams.

	* [[iUML-B State-machines Tutorial]] A tutorial on the use of iUML-B State-machines.		* [[iUML-B State-machines Tutorial]] : A tutorial on the use of iUML-B State-machines.

2012-12-10T15:47:32Z

← Older revision		Revision as of 15:47, 10 December 2012
Line 7:		Line 7:
	==Tutorials==		==Tutorials==

	[[iUML-B Class-diagrams Tutorial]] A tutorial on the use of iUML-B Class diagrams.		* [[iUML-B Class-diagrams Tutorial]] A tutorial on the use of iUML-B Class diagrams.

	[[iUML-B State-machines Tutorial]] A tutorial on the use of iUML-B State-machines.		* [[iUML-B State-machines Tutorial]] A tutorial on the use of iUML-B State-machines.

2012-12-10T15:47:17Z

Tutorials

← Older revision		Revision as of 15:47, 10 December 2012
Line 8:		Line 8:

	[[iUML-B Class-diagrams Tutorial]] A tutorial on the use of iUML-B Class diagrams.		[[iUML-B Class-diagrams Tutorial]] A tutorial on the use of iUML-B Class diagrams.

	[[iUML-B State-machines Tutorial]] A tutorial on the use of iUML-B State-machines.		[[iUML-B State-machines Tutorial]] A tutorial on the use of iUML-B State-machines.

2012-12-10T15:46:45Z

← Older revision		Revision as of 15:46, 10 December 2012
Line 4:		Line 4:

	* [[Image:IUMLB.png]] [[Event-B Classdiagrams\| Class diagrams]] a class diagram editor which can be used to define data entities and their relationships and to lift behaviour based on data sets.		* [[Image:IUMLB.png]] [[Event-B Classdiagrams\| Class diagrams]] a class diagram editor which can be used to define data entities and their relationships and to lift behaviour based on data sets.

			==Tutorials==

			[[iUML-B Class-diagrams Tutorial]] A tutorial on the use of iUML-B Class diagrams.
			[[iUML-B State-machines Tutorial]] A tutorial on the use of iUML-B State-machines.

2012-12-10T15:09:58Z

← Older revision		Revision as of 15:09, 10 December 2012
Line 3:		Line 3:
	* [[Image:IUMLB.png]] [[Event-B Statemachines\| State-machine diagrams]] a hierarchical state-machine diagram editor which can be used to impose sequential ordering to your events. An animator is also provided to visualise the progress of the state-machine.		* [[Image:IUMLB.png]] [[Event-B Statemachines\| State-machine diagrams]] a hierarchical state-machine diagram editor which can be used to impose sequential ordering to your events. An animator is also provided to visualise the progress of the state-machine.

	* [[Image:IUMLB.png]] [[Event-B Classdiagrams\| Class diagrams]] a class diagram editor which can be used to define data entities and their relationships and to lift behaviour based on data sets~~. An animator is also provided to visualise the progress of the state-machine~~.		* [[Image:IUMLB.png]] [[Event-B Classdiagrams\| Class diagrams]] a class diagram editor which can be used to define data entities and their relationships and to lift behaviour based on data sets.