Items where Subject is "Training"

Romanovsky, Alexander and Thomas, Martyn (2013) Industrial deployment of system engineering methods providing high dependability and productivity. Springer. (In Press)

Butler, Michael (2012) Mastering System Analysis and Design through Abstraction and Refinement. [Teaching Resource] (Submitted)

Colley, John (2012) Tutorial: a Practical Introduction to using Event-B for Complex �Hardware and Embedded System Specification and Design. [Teaching Resource] (Unpublished)

Butler, Michael (2012) Abstraction, Refinement and Decomposition for Systems Engineering. [Teaching Resource] (Unpublished)

Deprez, Jean-Christophe and Ponsard, Christophe (2012) An Collaborative FAQ Approach for Collecting Evidence on Formal Method Industrial Usage. In: DEPLOY Federated Event (Industry Day).

Alexander, Romanovsky (2012) Deployment of Formal Methods in Industry: the Legacy of the FP7 ICT DEPLOY Integrated Project. ACM SIGSOFT Software Engineering Notes, 5 .

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)

Devos, Nicolas and Ponsard, Christophe and Deprez, Jean-Christophe and Bauvin, Renaud and Moriau, Bénédicte and Anckaerts, Guy Efficient Reuse of Domain-Specific Test Knowledge: An Industrial Case in the Smart Card Domain. In: 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich. (In Press)

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)