Search results

Create the page "Colin" on this wiki! See also the search results found.

• File:Translating SCXML Statecharts to iUML-B State-machines.pdf Translating SCXML Statecharts to iUML-B State-machines (Karla Morris and Colin Snook) (216 KB) - 20:50, 30 April 2020

• File:Extending Code Generation to Support Platform-Independent Event-B Models.pdf ...ort Platform-Independent Event-B Models (Asieh Salehi, Michael Butler, and Colin Snook) (68 KB) - 20:49, 30 April 2020

• File:Using Rodin and BMotionStudio for Public Engagement.pdf ...din and BMotionStudio for Public Engagement (Dana Dghaym, Asieh Salehi and Colin Snook) (329 KB) - 20:49, 30 April 2020

• Talk:UML-B notes for 0.4.4
  Hi Colin,
  131 bytes (21 words) - 09:09, 4 March 2009
• Talk:Tutorial
  Hello Colin,
  477 bytes (72 words) - 17:02, 6 July 2008
• Rodin Workshop 2014
  | || || Asieh Salehi, Colin Snook, Michael Butler | || || Toby Wilkinson, Michael Butler, John Colley, Colin Snook
  8 KB (1,073 words) - 06:13, 24 June 2014
• Rodin Workshop 2021
  * Scenario Checker: An Event-B tool for validating abstract models - ''Colin Snook, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym, Michael Butler' * Towards CamilleX 3.0 - ''Thai Son Hoang, Colin Snook, Asieh Salehi Fathabadi, Dana Dghaym, Michael Butler'' ([[Media:Rodin
  4 KB (595 words) - 09:41, 29 June 2021
• Rodin Workshop 2013
  '''13:00 - 14:45''' Colin Snook: ''UML-B tutorial'' *Colin Snook, Michael Butler: ''iUML-B Diagram Developments''
  4 KB (521 words) - 13:15, 13 June 2013
• Rodin Workshop 2016
  ...Platform-Independent Event-B Models - ''Asieh Salehi, Michael Butler, and Colin Snook'' ([[Media:Extending Code Generation to Support Platform-Independent ...and BMotionStudio for Public Engagement - ''Dana Dghaym, Asieh Salehi and Colin Snook'' ([[Media:Using Rodin and BMotionStudio for Public Engagement.pdf|pd
  5 KB (664 words) - 18:29, 6 June 2016
• EMF Compare Editor Investigation
  Colin's Notes
  4 KB (623 words) - 19:48, 24 September 2009
• User:Tommy/Collections/Deploy Deliverable D32
  :* Records (Colin Snook) :[[D32 UML-B|UML-B Improvements]] (Colin Snook, Vitaly Savicks)
  5 KB (699 words) - 14:52, 30 November 2010
• Rodin Workshop 2010
  ...-b.org/images/Rodin2010-sld-savicks_etal.pdf ''Records''], Vitaly Savicks, Colin Snook, Michael Butler ...f_SM_Animation.pdf'' Animation of UML-B State-machines''], Vitaly Savicks, Colin Snook, Michael Butler
  5 KB (716 words) - 09:28, 22 November 2010
• Rodin Workshop 2020
  Colin Snook, University of Southampton
  2 KB (303 words) - 14:32, 19 May 2020
• Rodin Workshop 2018 CFP
  Colin Snook, University of Southampton
  2 KB (294 words) - 09:58, 16 October 2017
• User:Tommy/Collections/Deploy Deliverable D45
  :*Team-based Development (Colin Snook, Vitaly Savicks) :*UML-B (Colin Snook, Vitaly Savicks)
  5 KB (732 words) - 08:31, 14 February 2012
• Rodin Workshop 2018
  ;Organisers: Colin Snook (University of Southampton) & Stefan Hallerstede (Aarhus University)
  2 KB (356 words) - 12:46, 24 May 2018
• Rodin Workshop 2009
  * Colin Snook, [http://wiki.event-b.org/images/An_EMF_framework_for_EventB.pdf An E
  5 KB (766 words) - 09:59, 21 September 2011
• User:Pascal/Collections/Deploy Deliverable D23
  :[[D23 UML-B|UML-B Improvements]] (Colin Snook)
  4 KB (576 words) - 16:01, 26 January 2010
• User:Nicolas/Collections/ADVANCE Deliverable D3.4
  :* UML-B Improvements (Colin Snook, Vitaly Savicks)
  5 KB (780 words) - 14:57, 6 October 2014
• ADVANCE D3.2 General Platform Maintenance
  ...UML-B plug-in and associated frameworks are developed and maintained by Dr Colin Snook at the University of Southampton. Significant contributions (to the l Savicks, Vitaly, Snook, Colin (2012) ''A Framework for Diagrammatic Modelling Extensions in Rodin'' in Ro
  20 KB (3,030 words) - 13:18, 18 July 2012

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)