UML-B: Revision history

30 September 2020

• curprev 22:1222:12, 30 September 2020‎ Colin talk contribs‎ m 2,015 bytes +64‎ →‎Tutorials: remove i
• curprev 22:0922:09, 30 September 2020‎ Colin talk contribs‎ m 1,951 bytes +1‎ →‎Guidelines
• curprev 21:5621:56, 30 September 2020‎ Colin talk contribs‎ m 1,950 bytes −2‎ No edit summary
• curprev 21:5521:55, 30 September 2020‎ Colin talk contribs‎ m 1,952 bytes −4‎ remove some i
• curprev 21:5321:53, 30 September 2020‎ Colin talk contribs‎ m 1,956 bytes +1,343‎ move content of iUML-B page to this one
• curprev 21:4621:46, 30 September 2020‎ Colin talk contribs‎ m 613 bytes −386‎ revised to remove old UML-B and link to new website

10 December 2012

• curprev 15:0015:00, 10 December 2012‎ imported>Colin‎ 999 bytes −3,530‎ No edit summary
• curprev 14:5714:57, 10 December 2012‎ imported>Colin‎ 4,529 bytes +6‎ No edit summary
• curprev 14:5614:56, 10 December 2012‎ imported>Colin‎ 4,523 bytes +833‎ No edit summary

1 August 2011

• curprev 07:0107:01, 1 August 2011‎ imported>Mathieu‎ m 3,690 bytes +20‎ →‎Known bugs and workarounds

19 November 2010

• curprev 19:2919:29, 19 November 2010‎ imported>Colin‎ 3,670 bytes +78‎ →‎Migrating old UML-B models to the latest format
• curprev 19:2519:25, 19 November 2010‎ imported>Colin‎ 3,592 bytes −43‎ →‎Known bugs and workarounds
• curprev 19:1819:18, 19 November 2010‎ imported>Colin‎ 3,635 bytes −33‎ →‎What's new

17 October 2010

• curprev 19:4919:49, 17 October 2010‎ imported>Colin‎ 3,668 bytes +52‎ →‎What's new
• curprev 19:4119:41, 17 October 2010‎ imported>Colin‎ 3,616 bytes +44‎ →‎Known bugs and workarounds

21 July 2010

• curprev 16:2716:27, 21 July 2010‎ imported>Colin‎ 3,572 bytes +1‎ →‎Lectures
• curprev 16:2316:23, 21 July 2010‎ imported>Colin‎ 3,571 bytes +46‎ →‎Lectures
• curprev 16:1416:14, 21 July 2010‎ imported>Colin‎ 3,525 bytes +461‎ →‎Tutorials

15 July 2010

• curprev 22:1822:18, 15 July 2010‎ imported>Colin‎ 3,064 bytes +46‎ →‎Worked Examples
• curprev 21:5021:50, 15 July 2010‎ imported>Colin‎ 3,018 bytes +139‎ →‎Tutorials
• curprev 21:3921:39, 15 July 2010‎ imported>Colin‎ 2,879 bytes +71‎ →‎More detail about the various diagram types.

8 June 2010

• curprev 09:3509:35, 8 June 2010‎ imported>Colin‎ 2,808 bytes +85‎ →‎What's new

18 June 2009

• curprev 16:0516:05, 18 June 2009‎ imported>Colin‎ 2,723 bytes +42‎ →‎Tutorials

17 June 2009

• curprev 22:4422:44, 17 June 2009‎ imported>Colin‎ 2,681 bytes +2‎ No edit summary
• curprev 22:4422:44, 17 June 2009‎ imported>Colin‎ 2,679 bytes +93‎ →‎A simple tutorial, showing how to construct a UML-B model.

4 March 2009

• curprev 14:1614:16, 4 March 2009‎ imported>Colin‎ 2,586 bytes +68‎ No edit summary
• curprev 12:1612:16, 4 March 2009‎ imported>Colin‎ 2,518 bytes +44‎ →‎Known bugs and workarounds
• curprev 09:1009:10, 4 March 2009‎ imported>Mathieu‎ m 2,474 bytes +22‎ →‎Known bugs and workarounds

2 March 2009

• curprev 10:0410:04, 2 March 2009‎ imported>Colin‎ 2,452 bytes +2‎ →‎FAQ
• curprev 10:0310:03, 2 March 2009‎ imported>Colin‎ 2,450 bytes +885‎ No edit summary

13 November 2008

• curprev 12:0312:03, 13 November 2008‎ imported>Colin‎ 1,565 bytes +36‎ No edit summary
• curprev 11:3011:30, 13 November 2008‎ imported>Colin‎ 1,529 bytes +51‎ No edit summary

10 September 2008

• curprev 20:3120:31, 10 September 2008‎ imported>Mathieu‎ m 1,478 bytes 0‎ Robot: Changing Category:User Documentation

10 July 2008

• curprev 07:0307:03, 10 July 2008‎ imported>Mathieu‎ m 1,478 bytes 0‎ Category:UML-B
• curprev 06:5906:59, 10 July 2008‎ imported>Mathieu‎ m 1,478 bytes −1‎ Category:Uml-B

2 July 2008

• curprev 17:2117:21, 2 July 2008‎ imported>Mathieu‎ m 1,479 bytes +53‎ Category:User Documentation Category:Plugin

27 May 2008

• curprev 13:1913:19, 27 May 2008‎ imported>Colin‎ 1,426 bytes +6‎ change name of tutorial page
• curprev 12:5212:52, 27 May 2008‎ imported>Colin‎ 1,420 bytes +120‎ add tutorial page

3 April 2008

• curprev 12:3912:39, 3 April 2008‎ imported>Colin‎ 1,300 bytes −34‎ No edit summary
• curprev 12:3712:37, 3 April 2008‎ imported>Colin‎ 1,334 bytes +64‎ No edit summary
• curprev 11:4711:47, 3 April 2008‎ imported>Colin‎ 1,270 bytes +1,270‎ New page: UML-B provides a 'UML-like' graphical front end for Event-B. It adds support for class-oriented and state machine modelling but also provides visualisation of existing Event-B modelling co...