Deploy Repository: No conditions. Results ordered -Date.
http://deploy-eprints.ecs.soton.ac.uk/
OAI Site description has not been configured.
Wed, 17 Jan 2018 12:23:52 +0000Wed, 17 Jan 2018 12:23:52 +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) Proceedings of the 11th workshop on Automated Verification of Critical Systems
http://deploy-eprints.ecs.soton.ac.uk/330/
Bendisposto, Jens and Jones, Cliff and Leuschel, Michael and Romanovsky, Alexander (2011) Proceedings of the 11th workshop on Automated Verification of Critical Systems. Newcastle University. Requirements, Traceability and DSLs in Eclipse with the Requirements Interchange Format (RIF/ReqIF)
http://deploy-eprints.ecs.soton.ac.uk/307/
Jastram, Michael and Graf, Andreas (2011) Requirements, Traceability and DSLs in Eclipse with the Requirements Interchange Format (RIF/ReqIF). Dagstuhl-Workshop MBEES: Model-Based Development of Embedded Systems . fortiss GmbH, München, Germany. 09381 Extended Abstracts Collection — Refinement Based Methods for the Construction of Dependable Systems
http://deploy-eprints.ecs.soton.ac.uk/187/
Abrial, Jean-Raymond and Butler, Michael and Joshi, Rajev and Troubitsyna, Elena and Woodcock, Jim C. P. (2010) 09381 Extended Abstracts Collection — Refinement Based Methods for the Construction of Dependable Systems. Dagstuhl Seminar Proceedings, 09381 (09381). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. Reflections on the work of C.A.R. Hoare
http://deploy-eprints.ecs.soton.ac.uk/256/
Jones, Cliff B and Roscoe, A W and Wood, Ken, eds. (2010) Reflections on the work of C.A.R. Hoare. Springer. ISBN 978-1-84882-911-4 Proc. of 3rd Workshop on Model-based Testing in Practice (MOTIP'10)
http://deploy-eprints.ecs.soton.ac.uk/273/
Bauer, Thomas and Eichler, Hajo and Wendland , Marc-Florian and Wieczorek, Sebastian, eds. (2010) Proc. of 3rd Workshop on Model-based Testing in Practice (MOTIP'10). CEA. Reflections on the work of C.A.R. Hoare
http://deploy-eprints.ecs.soton.ac.uk/275/
Jones, Cliff B. and Roscoe, A.W. and Wood, Kenneth R. (2010) Reflections on the work of C.A.R. Hoare. Springer. Methods, Models and Tools for Fault Tolerance
http://deploy-eprints.ecs.soton.ac.uk/89/
Butler, Michael and Jones, Cliff B and Romanovsky, Alexander and Troubitsyna, Elena (2009) Methods, Models and Tools for Fault Tolerance. LNCS, 5454 . Springer. Proceedings of the Fourth International Workshop on Exception Handling Co-located with the Sixteenth ACM SIGSOFT International Symposium on the Foundations of Software Engineering. Atlanta, USA
http://deploy-eprints.ecs.soton.ac.uk/71/
Dony, Christophe and Garcia, Alessandro and Kienzle, Joerg and Romanovsky, Alexander (2008) Proceedings of the Fourth International Workshop on Exception Handling Co-located with the Sixteenth ACM SIGSOFT International Symposium on the Foundations of Software Engineering. Atlanta, USA. ACM. ISBN 978-1-60558-229-0 SERENE '08: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems. Newcastle upon Tyne, United Kingdom
http://deploy-eprints.ecs.soton.ac.uk/69/
Guelfi, Nicolas and Muccini, Henry and Pelliccione, Patrizio and Romanovsky, Alexander (2008) SERENE '08: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems. Newcastle upon Tyne, United Kingdom. ACM, USA. ISBN 978-1-60558-275-7 Proceedings of the First Deploy Technical Workshop
http://deploy-eprints.ecs.soton.ac.uk/198/
Manuel , Mazzara Proceedings of the First Deploy Technical Workshop. Newcastle University.