Deploy Repository: No conditions. Results ordered Title.
http://deploy-eprints.ecs.soton.ac.uk/
OAI Site description has not been configured.
Wed, 17 Jan 2018 12:22:46 +0000Wed, 17 Jan 2018 12:22:46 +0000en A Description of a Smallish Part of the BepiColombo (BC) MIXS/SIXS Onboard Instrument SW
http://deploy-eprints.ecs.soton.ac.uk/74/
Langbacka, Thomas (2008) A Description of a Smallish Part of the BepiColombo (BC) MIXS/SIXS Onboard Instrument SW. Documentation. N/A. (Unpublished) A dynamic coalitions workbench: Final Report
http://deploy-eprints.ecs.soton.ac.uk/182/
Bryans, Jeremy W. and Fitzgerald, John S. and Greathead, David and Jones, Cliff B and Payne, Richard (2008) A dynamic coalitions workbench: Final Report. Technical Report. Newcastle University , Newcastle upon Tyne . A Roadmap for the Rodin Toolset
http://deploy-eprints.ecs.soton.ac.uk/37/
Abrial, Jean-Raymond and Butler, Michael and Hallerstede, Stefan and Voisin, Laurent (2008) A Roadmap for the Rodin Toolset. In: Abstract State Machines, B and Z, First International Conference ABZ 2008. An Incremental Development of the Mondex System in Event-B
http://deploy-eprints.ecs.soton.ac.uk/38/
Butler, Michael and Yadav, Divakar (2008) An Incremental Development of the Mondex System in Event-B. Formal Aspects of Computing, 20 (1). pp. 61-77. Animation-based Validation of a Formal Model of Dynamic Virtual Organisations
http://deploy-eprints.ecs.soton.ac.uk/30/
Fitzgerald, John S and Bryans, Jeremy W and Greathead, David and Jones, Clifff B and Payne, Richard (2008) Animation-based Validation of a Formal Model of Dynamic Virtual Organisations. Electronic Workshops in Computing, http:/ . BepiColombo - Modelling Approach (Issue I)
http://deploy-eprints.ecs.soton.ac.uk/72/
Ilic, Dubravka and Latvala, Timo and Varpaaniemi, Kimmo (2008) BepiColombo - Modelling Approach (Issue I). N/A. (Unpublished) Declarative Programming for Verification: Lessons and Outlook
http://deploy-eprints.ecs.soton.ac.uk/42/
Leuschel, Michael (2008) Declarative Programming for Verification: Lessons and Outlook. In: Proceedings of PPDP'2008. ACM Press. Deliverable D8 D10.1 "Teaching Materials" --- Exercises
http://deploy-eprints.ecs.soton.ac.uk/55/
Abrial, Jean-Raymond and Hoang, Thai Son and Schmalz, Matthias (2008) Deliverable D8 D10.1 "Teaching Materials" --- Exercises. [DEPLOY Deliverable] Deliverable D8 D10.1 "Teaching Materials" --- Lecture Materials
http://deploy-eprints.ecs.soton.ac.uk/54/
Abrial, Jean-Raymond and Hoang, Thai Son and Schmalz, Matthias (2008) Deliverable D8 D10.1 "Teaching Materials" --- Lecture Materials. [DEPLOY Deliverable] Deliverable D8 D10.1 "Teaching Materials" --- Rodin Platform Archives
http://deploy-eprints.ecs.soton.ac.uk/56/
Abrial, Jean-Raymond and Hoang, Thai Son and Schmalz, Matthias (2008) Deliverable D8 D10.1 "Teaching Materials" --- Rodin Platform Archives. [DEPLOY Deliverable] Deliverable D8 D10.1 "Teaching Materials" --- Summary Materials
http://deploy-eprints.ecs.soton.ac.uk/53/
Abrial, Jean-Raymond and Hoang, Thai Son and Schmalz, Matthias (2008) Deliverable D8 D10.1 "Teaching Materials" --- Summary Materials. [DEPLOY Deliverable] 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). 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/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. Deployment in the Space Sector (Slides for DEPLOY Newcastle Kick-off Meeting)
http://deploy-eprints.ecs.soton.ac.uk/76/
Latvala, Timo (2008) Deployment in the Space Sector (Slides for DEPLOY Newcastle Kick-off Meeting). N/A. (Unpublished) Deployment in the Space Sector (WP3 Meeting in Newcastle)
http://deploy-eprints.ecs.soton.ac.uk/79/
Latvala, Timo (2008) Deployment in the Space Sector (WP3 Meeting in Newcastle). N/A. (Unpublished) 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. Engineering Fault Tolerant Systems (Special issue)
http://deploy-eprints.ecs.soton.ac.uk/67/
Guelfi, Nicolas and Muccini, Henry and Pelliccione, Patrizio and Romanovsky, Alexander (2008) Engineering Fault Tolerant Systems (Special issue). Computer Systems Science and Engineering, 23 (5). pp. 1-3. Experimenting with Exception Propagation Mechanisms in Service-Oriented Architectures
http://deploy-eprints.ecs.soton.ac.uk/32/
Gorbenko, Anatoliy and Kharchenko, Vyacheslav and Romanovsky, Alexander and Mikhaylichenko, Alexey (2008) Experimenting with Exception Propagation Mechanisms in Service-Oriented Architectures. In: 4th International Workshop on Exception Handling (WEH.08), at ACM SIGSOFT 2008/FSE 16, 14 November, 2008, Atlanta, USA. (In Press) Formal development of cooperative exception handling for mobile agent systems
http://deploy-eprints.ecs.soton.ac.uk/34/
Laibinis, Linas and Troubitsyna, Elena and Iliasov, Alexei and Romanovsky, Alexander (2008) Formal development of cooperative exception handling for mobile agent systems. In: 1st Int. workshop on Software Engineering for Resilient Systems - SERENE 2008, November 17-19, 2008, Newcastle upon Tyne (UK). (In Press) Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
http://deploy-eprints.ecs.soton.ac.uk/52/
Bryans, Jeremy W. and Fitzgerald, John S. and Alexander, Romanovsky and Andreas, Roth (2008) Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. Newcastle University, Newcastle University TR, accepted to appear in Proceedings of ICECCS 2009. (In Press) Formal Refinement Automation
http://deploy-eprints.ecs.soton.ac.uk/33/
Laibinis, Linas and Troubitsyna, Elena and Iliasov, Alexei and Romanovsky, Alexander (2008) Formal Refinement Automation. In: Eighth International Workshop on Automated Verification of Critical Systems, 30 September –1 October 2008, Glasgow. (Unpublished) From Rigorous Requirements Engineering to Formal System Design of Safety-Critical Systems
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 Incremental Design of Distributed Systems with Event-B
http://deploy-eprints.ecs.soton.ac.uk/49/
Butler, Michael (2008) Incremental Design of Distributed Systems with Event-B. In: Marktoberdorf Summer School 2008 Lecture Notes. IoS. (In Press) Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System using VDM
http://deploy-eprints.ecs.soton.ac.uk/28/
Macedo, Hugo Daniel and Larsen, Peter Gorm and Fitzgerald, John (2008) Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System using VDM. In: Formal Methods 2008, 28-30 May, 2008, Turku, Finland. La validation de modèles Event-B avec le plug-in ProB pour RODIN
http://deploy-eprints.ecs.soton.ac.uk/46/
Bendisposto, Jens and Leuschel, Michael and Ligot, Olivier and Samia, Mireille (2008) La validation de modèles Event-B avec le plug-in ProB pour RODIN. TSI . pp. 1065-1084. Link State Routing Development
http://deploy-eprints.ecs.soton.ac.uk/31/
Hoang, Thai Son and Basin, David and Kuruma, Hironobu and Abrial, Jean-Raymond (2008) Link State Routing Development. [Rodin Archive] Linking Event-B and Concurrent Object-Oriented Programs
http://deploy-eprints.ecs.soton.ac.uk/39/
Edmunds, Andrew and Butler, Michael (2008) Linking Event-B and Concurrent Object-Oriented Programs. In: Refine 2008 - International Refinement Workshop. Modelling and proof of a Tree-structured File System
http://deploy-eprints.ecs.soton.ac.uk/22/
Damchoom, Kriangsak and Butler, Michael and Abrial, Jean-Raymond (2008) Modelling and proof of a Tree-structured File System. In: ICFEM 2008. (In Press) On the Purpose of Event-B Proof Obligations
http://deploy-eprints.ecs.soton.ac.uk/26/
Hallerstede, Stefan (2008) On the Purpose of Event-B Proof Obligations. In: ABZ2008, September 2008, London. (In Press) Precise Steps for Choreography Modeling for SOA Validation and Verification
http://deploy-eprints.ecs.soton.ac.uk/41/
Wieczorek, S. and Roth, A. and Stefanescu, A. and Charfi, A. (2008) Precise Steps for Choreography Modeling for SOA Validation and Verification. In: Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, Dec 18-19, Jhongli, Taiwan. ProB gets Nauty: Effective Symmetry Reduction for B and Z Models
http://deploy-eprints.ecs.soton.ac.uk/45/
Spermann, Corinna and Leuschel, Michael (2008) ProB gets Nauty: Effective Symmetry Reduction for B and Z Models. In: Proceedings of TASE 2008. IEEE Press, pp. 15-22. ProB: An Automated Analysis Toolset for the B Method
http://deploy-eprints.ecs.soton.ac.uk/5/
Leuschel, Michael and Butler, Michael (2008) ProB: An Automated Analysis Toolset for the B Method. International Journal on Software Tools for Technology Transfer, 10 (2). pp. 185-203. Probing the Depths of CSP-M: A New FDR-Compliant Validation Tool
http://deploy-eprints.ecs.soton.ac.uk/44/
Leuschel, Michael and Fontaine, Marc (2008) Probing the Depths of CSP-M: A New FDR-Compliant Validation Tool. In: Proceedings of ICFEM 2008. Springer-Verlag, pp. 278-297. Problems in using RODIN platform in DEPLOY WP3
http://deploy-eprints.ecs.soton.ac.uk/75/
Varpaaniemi, Kimmo (2008) Problems in using RODIN platform in DEPLOY WP3. Discussion Paper. N/A. (Unpublished) 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 Reasoning about programes via operational semantics: Requirement for a support system.
http://deploy-eprints.ecs.soton.ac.uk/177/
Hughes, John R.D and Jones, Cliff B (2008) Reasoning about programes via operational semantics: Requirement for a support system. In: Automated Software Engineering. Springer. Refinement Patterns for Fault Tolerant Systems
http://deploy-eprints.ecs.soton.ac.uk/99/
Iliasov, Alexei and Romanovsky, Alexander (2008) Refinement Patterns for Fault Tolerant Systems. In: EDCC 7: the Seventh European Dependable Computing Conference (EDCC-7), May 7-9, 2008, Kaunas, Lithuania. Reflections on, and predictions for, support systems for the development of programs.
http://deploy-eprints.ecs.soton.ac.uk/178/
Jones, Cliff B (2008) Reflections on, and predictions for, support systems for the development of programs. In: ASE-08. Rigorous engineering of product-line requirements: a case study in failure management
http://deploy-eprints.ecs.soton.ac.uk/440/
Snook, Colin and Poppleton, Michael and Johnson, Ian (2008) Rigorous engineering of product-line requirements: a case study in failure management. Information and Software Technology, 50 (1-2). pp. 112-129. RODIN platform archive of SSF pilot (by SSF)
http://deploy-eprints.ecs.soton.ac.uk/73/
Ilic, Dubravka and Varpaaniemi, Kimmo (2008) RODIN platform archive of SSF pilot (by SSF). [Rodin Archive] 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 Some interdisciplinary observations about getting the ``right'' specification
http://deploy-eprints.ecs.soton.ac.uk/274/
Jones, Cliff B. (2008) Some interdisciplinary observations about getting the ``right'' specification. In: Verified Software: Theories, Tools, Experiments. Lecture Notes in Computer Science (4171). Springer, pp. 64-69. Splitting atoms with rely/guarantee conditions coupled with data reification.
http://deploy-eprints.ecs.soton.ac.uk/176/
Jones, Cliff B and Pierce, Ken G (2008) Splitting atoms with rely/guarantee conditions coupled with data reification. In: ABZ2008. Springer, LNCS, pp. 360-377. The connection between two ways of reasoning about partial functions
http://deploy-eprints.ecs.soton.ac.uk/29/
Fitzgerald, John S and Jones, Cliff B (2008) The connection between two ways of reasoning about partial functions. Information Processing Letters, 107 (3-4). pp. 128-132. The High Road to Formal Validation: Model Checking High-Level versus Low-Level Specifications
http://deploy-eprints.ecs.soton.ac.uk/43/
Leuschel, Michael (2008) The High Road to Formal Validation: Model Checking High-Level versus Low-Level Specifications. In: Proceedings ABZ'2008. Springer-Verlag, pp. 4-23. Towards Reuse with ``Feature-Oriented Event-B''
http://deploy-eprints.ecs.soton.ac.uk/436/
Poppleton, M. and Fischer, B. and Franklin, C. and Gondal, A. and Snook, C. and Sorge, J. (2008) Towards Reuse with ``Feature-Oriented Event-B''. In: McGPLE: Workshop on Modularization, Composition, and Generative Techniques for Product Line Engineering. Towards Rigorous Engineering of Resilient Pervasive Systems
http://deploy-eprints.ecs.soton.ac.uk/24/
Iliasov, Alexei and Laibinis, Linas and Romanovsky, Alexander and Sere, Kaisa and Troubitsyna, Elena (2008) Towards Rigorous Engineering of Resilient Pervasive Systems. In: Seventh European Dependable Computing Conference (EDCC-7), May 7-9, 2008, Kaunas, Lithuania. UML-B and Event-B: an integration of languages and tools
http://deploy-eprints.ecs.soton.ac.uk/3/
Snook, Colin and Butler, Michael (2008) UML-B and Event-B: an integration of languages and tools. In: The IASTED International Conference on Software Engineering - SE2008. (In Press) UML-B and Event-B: an integration of languages and tools
http://deploy-eprints.ecs.soton.ac.uk/438/
Snook, Colin and Butler, Michael (2008) UML-B and Event-B: an integration of languages and tools. In: The IASTED International Conference on Software Engineering - SE2008. UML-B Version of SSF Mini-pilot
http://deploy-eprints.ecs.soton.ac.uk/57/
Butler, Michael (2008) UML-B Version of SSF Mini-pilot. [Rodin Archive] UML-B: A plug-in for the Event-B tool set
http://deploy-eprints.ecs.soton.ac.uk/35/
Snook, Colin and Butler, Michael (2008) UML-B: A plug-in for the Event-B tool set. In: Abstract State Machines, B and Z, First International Conference ABZ 2008. UML-B: A plug-in for the Event-B tool set
http://deploy-eprints.ecs.soton.ac.uk/439/
Snook, Colin and Butler, Michael (2008) UML-B: A plug-in for the Event-B tool set. In: Abstract State Machines, B and Z, First International Conference ABZ 2008. Usability Assessment of a UML-based Formal Modelling Method Using Cognitive Dimensions Framework
http://deploy-eprints.ecs.soton.ac.uk/437/
Razali, Rozilawati and Snook, Colin and Poppleton, Michael and Garratt, Paul (2008) Usability Assessment of a UML-based Formal Modelling Method Using Cognitive Dimensions Framework. Human Technology: An Interdisciplinary Journal on Humans in ICT Environments .