Items where Subject is "Training"

Iliasov, Alexei and Laibinis, Linas and Troubitsyna, Elena and Romanovsky, Alexander (2011) Correct-by-Construction Development of Fault Tolerant Systems (Tutorial at FM 2011). [Teaching Resource]

Räsänen, Tuomas and Nummila, Laura (2010) DEPLOY Training Evaluation Document. Technical Report. Space Systems Finland Ltd. (Unpublished)

Butler, Michael (2010) Slides on Event-B used for Deploy Associate Training. [Teaching Resource] (Unpublished)

Iliasov, Alexei (2010) Tutorial on the Flow plugin for Event-B. In: Workshop on B Dissemination [WOBD] Satellite event of SBMF 2010 , November 8th-9th 2010, Natal, Brazil.

Iliasov, Alexei (2010) Tutorial on the modularization plugin for Event-B. In: Workshop on B Dissemination [WOBD] Satellite event of SBMF 2010, November 8th-9th 2010, Natal, Brazil.

Woodcock, Jim and Larsen, Peter Gorm and Bicarregui, Juan and Fitzgerald, John S. (2009) Formal Methods: Practice and Experience. ACM Computing Surveys, 41 (4). pp. 1-36.

Romanovsky, Alexander (2008) DEPLOY: Industrial Deployment of Advanced System Engineering Methods for High Productivity and Dependability. In: SERENE '08: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, November 17-19, 2008, Newcastle upon Tyne, Uk.

Romanovsky, Alexander (2008) DEPLOY: Industrial Deployment of Advanced System Engineering Methods for High Productivity and Dependability. ERCIM News (74). pp. 54-55.

Romanovsky, Alexander (2008) DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability. SIGSOFT Software Engineering Notes, 33 (6).

Leuschel, Michael and Samia, Mireille and Bendisposto, Jens and Samia, Mireille (2008) Easy Graphical Animation and Formula Visualisation for Teaching B. In: The B Method : From Research to Teaching, June 16, 2008, Nantes, France.

Iliasov, Alexei A Lecture on modularisation method and plugin: Introduction and Parking Lot Case Study. [Teaching Resource] (Unpublished)

Snook, Colin Slides on UML-B used for Deploy Associate Training. [Teaching Resource] (Unpublished)

Iliasov, Alexei Training materials on the flow tool (release - Jan 2011). [Teaching Resource] (Unpublished)