| Contents |
On B / Jean-Raymond Abrial -- The generalised substitution language extended to probabilistic programs / Carroll Morgan -- MÉTÉOR : an industrial success in formal development / Patrick Behm, Pierre Desforges, Jean-Marc Meynadier -- Cost effectiveness of formal methods in the development of avionics systems at AÉROSPATIALE / François Pilarski -- Well defined B / Patrick Behm, Lilian Burdy, Jean-Marc Meynadier -- Composition and refinement in the B-method / Marie-Laure Potet, Yann Rouzaud -- Formalisation of B in Isabelle/HOL / Pierre Chartier -- Introducing dynamic constraints in B / Jean-Raymond Abrial, Louis Mussat -- Retrenchment : an engineering variation on refinement / Richard H. Banach, Michael R. Poppleton -- Synthesizing structure from flat specifications / Brian Matthews, Brian Ritchie, Juan Bicarregui -- An object-based approach to the B formal method / Alexander Malioukov -- Graphical design of reactive systems / Emil Sekerinski -- Process control engineering : contribution to a formal structuring framework with the B method / Jean-François Pétin ... [et al.] -- Designing a B model for safety-critical software systems / Souâd Taouil-Traverson, Sylvie Vignes -- Abstract state machines : designing distributed systems with state machines and B / Bill Stoddart ... [et al.] -- Layering distributed algorithms wihin the B-method / Marina Waldén -- Two strategies to data-refine an equivalence to a forest / Philipp Heuberger -- Specification of an integrated circuit card protocol application using the B method and linear temporal logic / Jacques Julliand ... [et al.] -- Test case preparation using a prototype / H. Treharne, J. Draper, S. Schneider. |
