Communicating sequential processes
Communicating sequential processes
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
The Z notation: a reference manual
The Z notation: a reference manual
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
Modeling in Event-B: System and Software Engineering
Modeling in Event-B: System and Software Engineering
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
An approach of requirements tracing in formal refinement
VSTTE'10 Proceedings of the Third international conference on Verified software: theories, tools, experiments
Alternating simulation and IOCO
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Applying Event-B atomicity decomposition to a multi media protocol
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Decomposition tool for event-B
Software—Practice & Experience
Applying atomicity and model decomposition to a space craft system in event-B
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Automatic flow analysis for event-B
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Changing system interfaces consistently: A new refinement strategy for CSP||B
Science of Computer Programming
Supporting reuse in event b development: modularisation approach
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Structured event-b models and proofs
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Refinement plans for informed formal design
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Relaxing b sharing restrictions within CSP||B
SC'12 Proceedings of the 11th international conference on Software Composition
Formal modelling for ada implementations: tasking event-b
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Behaviour-Based cheat detection in multiplayer games with event-b
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Refinement-Preserving translation from event-b to register-voice interactive systems
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Augmenting formal development of control systems with quantitative reliability assessment
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
A systematic approach to atomicity decomposition in event-b
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Model learning and test generation for event-b decomposition
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Formal development of wireless sensor-actor networks
Science of Computer Programming
| Hi-index | 0.00 |
Event-B provides a flexible approach to modelling and refinement of systems. In this paper we outline two important ways in which Event-B refinement can be augmented with additional structuring to support further the management of complex refinements. Firstly we show how event refinement diagrams can be used to structure refinement steps involving decomposition of atomicity. Secondly we outline a technique for decomposing models into sub-models to allow for independent refinement. We show how these two structuring techniques can be used together.