http://deploy-eprints.ecs.soton.ac.uk/ OAI Site description has not been configured. http://deploy-eprints.ecs.soton.ac.uk/images/sitelogo.gif http://deploy-eprints.ecs.soton.ac.uk/ Wed, 17 Jan 2018 12:23:10 +0000 Wed, 17 Jan 2018 12:23:10 +0000 en Wed, 18 Jul 2012 08:41:55 +0100 http://deploy-eprints.ecs.soton.ac.uk/423/ 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) Thu, 15 Mar 2012 09:44:07 +0000 http://deploy-eprints.ecs.soton.ac.uk/378/ http://deploy-eprints.ecs.soton.ac.uk/378/ Ponsard, Christophe and Deprez, Jean-Christophe and Delandtsheer, Renaud (2012) Is my Formal Method Tool Ready for the Industry ? In: AVOCS 2011, 12-14 September 2011, Newcastle, UK. Thu, 15 Mar 2012 09:44:44 +0000 http://deploy-eprints.ecs.soton.ac.uk/376/ 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). Tue, 10 Jan 2012 11:33:53 +0000 http://deploy-eprints.ecs.soton.ac.uk/362/ http://deploy-eprints.ecs.soton.ac.uk/362/ Varpaaniemi, Kimmo (2012) Some NuSMV Experiments on the Mode Synchronization Protocol in DSAOCSS. Space Systems Finland Ltd. (Unpublished) Thu, 26 Jul 2012 15:19:17 +0100 http://deploy-eprints.ecs.soton.ac.uk/445/ 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 . Fri, 27 Apr 2012 14:42:34 +0100 http://deploy-eprints.ecs.soton.ac.uk/386/ http://deploy-eprints.ecs.soton.ac.uk/386/ Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander and Varpaaniemi, Kimmo and Ilic, Dubravka and Latvala, Timo (2012) Developing Mode-Rich Satellite Software by Refinement in Event-B. Science of Computer Programming. Accepted. In press . (In Press) Fri, 10 Jun 2011 09:31:21 +0100 http://deploy-eprints.ecs.soton.ac.uk/309/ http://deploy-eprints.ecs.soton.ac.uk/309/ Varpaaniemi, Kimmo (2011) DEPLOY Work Package 3 Software Requirements Document for a Distributed System for Attitude and Orbit Control for a Single Spacecraft (DEP-RP-SSF-R-006, Issue 1.3). Documentation. Space Systems Finland Ltd. (Unpublished) Fri, 02 Sep 2011 12:08:44 +0100 http://deploy-eprints.ecs.soton.ac.uk/331/ http://deploy-eprints.ecs.soton.ac.uk/331/ Varpaaniemi, Kimmo (2011) Event-B Projects DSAOCSSv002 and DSAOCSSV003 with Special Files for ProB Classic. [Rodin Archive] Fri, 06 May 2011 13:17:45 +0100 http://deploy-eprints.ecs.soton.ac.uk/303/ http://deploy-eprints.ecs.soton.ac.uk/303/ Edmunds, Andrew and Butler, Michael (2011) Tasking Event-B: An Extension to Event-B for Generating Concurrent Code. In: PLACES 2011. Wed, 08 Jun 2011 16:03:20 +0100 http://deploy-eprints.ecs.soton.ac.uk/306/ http://deploy-eprints.ecs.soton.ac.uk/306/ Jastram, Michael and Graf, Andreas (2011) Requirement Traceability in Topcased with the Requirements Interchange Format (RIF/ReqIF). In: FIRST TOPCASED DAYS TOULOUSE 2011, 2 Feb - 4 Feb 2011, Toulouse, France. Wed, 08 Jun 2011 16:03:54 +0100 http://deploy-eprints.ecs.soton.ac.uk/307/ 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. Thu, 16 Dec 2010 19:11:10 +0000 http://deploy-eprints.ecs.soton.ac.uk/266/ http://deploy-eprints.ecs.soton.ac.uk/266/ Varpaaniemi, Kimmo (2010) DEPLOY Work Package 3 Attitude and Orbit Control System Software Requirements Document (DEP-RP-SSF-R-005, Issue 1.0). Documentation. Space Systems Finland Ltd. (Unpublished) Tue, 26 Oct 2010 06:07:54 +0100 http://deploy-eprints.ecs.soton.ac.uk/245/ http://deploy-eprints.ecs.soton.ac.uk/245/ Jastram, Michael (2010) ProR, an Open Source Platform for Requirements Engineering based on RIF. In: Systems Engineering Infrastructure Conference, 19 Oct 2010, Munich, Germany. Fri, 01 Jul 2011 10:55:19 +0100 http://deploy-eprints.ecs.soton.ac.uk/314/ 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) Thu, 23 Sep 2010 16:32:37 +0100 http://deploy-eprints.ecs.soton.ac.uk/244/ http://deploy-eprints.ecs.soton.ac.uk/244/ Varpaaniemi, Kimmo (2010) Event-B Project BepiColombo_Models_v6.4. [Rodin Archive] Sun, 03 Jan 2010 13:18:28 +0000 http://deploy-eprints.ecs.soton.ac.uk/168/ http://deploy-eprints.ecs.soton.ac.uk/168/ Varpaaniemi, Kimmo (2010) Event-B Project DepSatSpec015Model000. [Rodin Archive] Sun, 03 Jan 2010 13:06:18 +0000 http://deploy-eprints.ecs.soton.ac.uk/167/ http://deploy-eprints.ecs.soton.ac.uk/167/ Väisänen, Pauli and Varpaaniemi, Kimmo (2010) DEPLOY Satellite (an Attitude and Orbit Control System) Specification, Version 15. Space Systems Finland Ltd. (Unpublished) Sun, 03 Jan 2010 12:42:29 +0000 http://deploy-eprints.ecs.soton.ac.uk/166/ http://deploy-eprints.ecs.soton.ac.uk/166/ Väisänen, Pauli and Varpaaniemi, Kimmo (2010) DEPLOY Satellite (an Attitude and Orbit Control System) Specification, Version 15 without statement numbering. Space Systems Finland Ltd. (Unpublished) Thu, 14 Jan 2010 17:31:53 +0000 http://deploy-eprints.ecs.soton.ac.uk/187/ 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. Mon, 12 Jul 2010 08:22:17 +0100 http://deploy-eprints.ecs.soton.ac.uk/237/ http://deploy-eprints.ecs.soton.ac.uk/237/ Bryans, Jeremy and Wei , Wei (2010) Formal Analysis of BPMN Models using Event-B. In: Formal Methods for Industrial Critical Systems 2010. (In Press) Thu, 21 Oct 2010 10:03:34 +0100 http://deploy-eprints.ecs.soton.ac.uk/248/ http://deploy-eprints.ecs.soton.ac.uk/248/ Bryans, Jeremy W. and Wei , Wei (2010) Formal Analysis of BPMN Models Using Event-B. Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems . pp. 33-49. Wed, 14 Jul 2010 12:58:15 +0100 http://deploy-eprints.ecs.soton.ac.uk/239/ http://deploy-eprints.ecs.soton.ac.uk/239/ Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander and Varpaaniemi, Kimmo and Väisänen, Pauli and Ilic, Dubravka and Latvala, Timo (2010) Verifying Mode Consistency for On-Board Satellite Software. In: The 29th International Conference on Computer Safety, Reliability and Security (Safecomp 2010), 14 - 17 September 2010, Vienna, Austria. Sun, 03 Jan 2010 12:30:33 +0000 http://deploy-eprints.ecs.soton.ac.uk/165/ http://deploy-eprints.ecs.soton.ac.uk/165/ Laibinis, Linas and Troubitsyna, Elena (2009) Event-B Project Modes_v2. [Rodin Archive] Sun, 25 Oct 2009 17:47:31 +0000 http://deploy-eprints.ecs.soton.ac.uk/160/ http://deploy-eprints.ecs.soton.ac.uk/160/ Bicarregui, J. C. and Fitzgerald, J. S. and Larsen, P. G. and Woodcock, J. C. P. (2009) Industrial Practice in Formal Methods: a Review. FM 2009: Formal Methods, LNCS 5 . (In Press) Tue, 14 Jul 2009 17:21:23 +0100 http://deploy-eprints.ecs.soton.ac.uk/136/ http://deploy-eprints.ecs.soton.ac.uk/136/ Ilic, Dubravka and Varpaaniemi, Kimmo (2009) Event-B Project BepiColombo_Models_v5.0. [Rodin Archive] Sun, 25 Oct 2009 17:48:19 +0000 http://deploy-eprints.ecs.soton.ac.uk/161/ 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. Sat, 06 Jun 2009 10:52:07 +0100 http://deploy-eprints.ecs.soton.ac.uk/110/ http://deploy-eprints.ecs.soton.ac.uk/110/ Bryans, Jeremy W. and Fitzgerald, John S. and Romanovsky, Alexander and Roth, Andreas (2009) Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. Proceedings 14th IEEE International Conference on Engineering of Complex Computer Systems ICECCS 2009. . pp. 68-77. Mon, 19 Jan 2009 10:50:44 +0000 http://deploy-eprints.ecs.soton.ac.uk/68/ 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. Thu, 16 Oct 2008 20:31:13 +0100 http://deploy-eprints.ecs.soton.ac.uk/40/ http://deploy-eprints.ecs.soton.ac.uk/40/ Ponsard, Christophe and Dallons, Gautier and Philippe, Massonet (2008) From Rigorous Requirements Engineering to Formal System Design of Safety-Critical Systems. ERCIM News (75). pp. 22-23. ISSN ISSN 0926-4981 Fri, 11 Jul 2008 13:09:31 +0100 http://deploy-eprints.ecs.soton.ac.uk/27/ 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. Mon, 19 Jan 2009 10:05:52 +0000 http://deploy-eprints.ecs.soton.ac.uk/65/ 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). Tue, 20 Mar 2012 10:32:31 +0000 http://deploy-eprints.ecs.soton.ac.uk/381/ 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) Fri, 06 May 2011 13:18:02 +0100 http://deploy-eprints.ecs.soton.ac.uk/304/ http://deploy-eprints.ecs.soton.ac.uk/304/ Edmunds, Andrew Event-B Project Archives, for Tasking Event-B Tutorial. University of Southampton. (Unpublished) Fri, 29 Jan 2010 22:37:57 +0000 http://deploy-eprints.ecs.soton.ac.uk/198/ http://deploy-eprints.ecs.soton.ac.uk/198/ Manuel , Mazzara Proceedings of the First Deploy Technical Workshop. Newcastle University. Wed, 14 Oct 2009 10:25:46 +0100 http://deploy-eprints.ecs.soton.ac.uk/159/ http://deploy-eprints.ecs.soton.ac.uk/159/ Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander and Varpaaniemi, Kimmo and Ilic, Dubravka and Latvala, Timo Supporting Reuse in Event B Development: Modularisation Approach. Aabo Akademi, Finland. (Unpublished)