Sciweavers

Share
45 search results - page 1 / 9
» Structuring Retrenchments in B by Decomposition
Sort
View
FM
2003
Springer
112views Formal Methods» more  FM 2003»
10 years 5 months ago
Structuring Retrenchments in B by Decomposition
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
Michael Poppleton, Richard Banach
IFM
2009
Springer
132views Formal Methods» more  IFM 2009»
10 years 6 months ago
Decomposition Structures for Event-B
Abstract. 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 w...
Michael Butler
FMCO
2009
Springer
203views Formal Methods» more  FMCO 2009»
9 years 9 months ago
Applying Event-B Atomicity Decomposition to a Multi Media Protocol
Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...
Asieh Salehi Fathabadi, Michael Butler
SBMF
2009
Springer
156views Formal Methods» more  SBMF 2009»
10 years 6 months ago
Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
Kriangsak Damchoom, Michael J. Butler
ICIP
2007
IEEE
10 years 6 months ago
Joint Optimization of Transform Coefficients for Hierarchical B Picture Coding in H.264/AVC
Coding of video sequences using hierarchical B pictures in the Joint Scalable Video Model (JSVM) for the scalability amendment of H.264/AVC has the benefit of improved rate distor...
Martin Winken, Heiko Schwarz, Detlev Marpe, Thomas...
books