Deploy Repository: No conditions. Results ordered -Date, Title.
http://deploy-eprints.ecs.soton.ac.uk/
OAI Site description has not been configured.
Wed, 17 Jan 2018 12:23:45 +0000Wed, 17 Jan 2018 12:23:45 +0000en Industrial deployment of system engineering methods providing high dependability and productivity.
http://deploy-eprints.ecs.soton.ac.uk/423/
Romanovsky, Alexander and Thomas, Martyn (2013) Industrial deployment of system engineering methods providing high dependability and productivity. Springer. (In Press) Mastering System Analysis and Design through Abstraction and Refinement
http://deploy-eprints.ecs.soton.ac.uk/459/
Butler, Michael (2012) Mastering System Analysis and Design through Abstraction and Refinement. [Teaching Resource] (Submitted) Tutorial: a Practical Introduction to using Event-B for Complex �Hardware and Embedded System Specification and Design
http://deploy-eprints.ecs.soton.ac.uk/457/
Colley, John (2012) Tutorial: a Practical Introduction to using Event-B for Complex �Hardware and Embedded System Specification and Design. [Teaching Resource] (Unpublished) Abstraction, Refinement and Decomposition for Systems Engineering
http://deploy-eprints.ecs.soton.ac.uk/458/
Butler, Michael (2012) Abstraction, Refinement and Decomposition for Systems Engineering. [Teaching Resource] (Unpublished) An Collaborative FAQ Approach for Collecting Evidence on Formal Method Industrial Usage
http://deploy-eprints.ecs.soton.ac.uk/376/
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). Deployment of Formal Methods in Industry: the Legacy of the FP7 ICT DEPLOY Integrated Project
http://deploy-eprints.ecs.soton.ac.uk/445/
Alexander, Romanovsky (2012) Deployment of Formal Methods in Industry: the Legacy of the FP7 ICT DEPLOY Integrated Project. ACM SIGSOFT Software Engineering Notes, 5 . Correct-by-Construction Development of Fault Tolerant Systems (Tutorial at FM 2011)
http://deploy-eprints.ecs.soton.ac.uk/319/
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] DEPLOY Training Evaluation Document
http://deploy-eprints.ecs.soton.ac.uk/314/
Räsänen, Tuomas and Nummila, Laura (2010) DEPLOY Training Evaluation Document. Technical Report. Space Systems Finland Ltd. (Unpublished) Slides on Event-B used for Deploy Associate Training
http://deploy-eprints.ecs.soton.ac.uk/264/
Butler, Michael (2010) Slides on Event-B used for Deploy Associate Training. [Teaching Resource] (Unpublished) Tutorial on the Flow plugin for Event-B
http://deploy-eprints.ecs.soton.ac.uk/261/
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. Tutorial on the modularization plugin for Event-B
http://deploy-eprints.ecs.soton.ac.uk/263/
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. Formal Methods: Practice and Experience
http://deploy-eprints.ecs.soton.ac.uk/161/
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. DEPLOY: Industrial Deployment of Advanced System Engineering Methods for High Productivity and Dependability
http://deploy-eprints.ecs.soton.ac.uk/68/
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. DEPLOY: Industrial Deployment of Advanced System Engineering Methods for High Productivity and Dependability
http://deploy-eprints.ecs.soton.ac.uk/27/
Romanovsky, Alexander (2008) DEPLOY: Industrial Deployment of Advanced System Engineering Methods for High Productivity and Dependability. ERCIM News (74). pp. 54-55. DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability
http://deploy-eprints.ecs.soton.ac.uk/65/
Romanovsky, Alexander (2008) DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability. SIGSOFT Software Engineering Notes, 33 (6). Easy Graphical Animation and Formula Visualisation for Teaching B
http://deploy-eprints.ecs.soton.ac.uk/47/
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. A Lecture on modularisation method and plugin: Introduction and Parking Lot Case Study
http://deploy-eprints.ecs.soton.ac.uk/227/
Iliasov, Alexei A Lecture on modularisation method and plugin: Introduction and Parking Lot Case Study. [Teaching Resource] (Unpublished) Efficient Reuse of Domain-Specific Test Knowledge: An Industrial Case in the Smart Card Domain
http://deploy-eprints.ecs.soton.ac.uk/381/
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) Slides on UML-B used for Deploy Associate Training
http://deploy-eprints.ecs.soton.ac.uk/265/
Snook, Colin Slides on UML-B used for Deploy Associate Training. [Teaching Resource] (Unpublished) Training materials on the flow tool (release - Jan 2011)
http://deploy-eprints.ecs.soton.ac.uk/268/
Iliasov, Alexei Training materials on the flow tool (release - Jan 2011). [Teaching Resource] (Unpublished)