ECU Libraries Catalog

B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings / Didier Bert (ed.).

Author/creator International B Conference 1998 : Montpellier, France)
Other author/creatorBert, Didier.
Format Book and Print
Publication InfoBerlin ; New York : Springer, ©1998.
Descriptionviii, 311 pages ; 24 cm
Subject(s)
Portion of title Recent advances in the development and use of the B method
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.
Bibliography noteIncludes bibliographical references and index.
LCCN 98018094
ISBN3540644059 (pbk. : alk. paper)

Available Items

Library Location Call Number Status Item Actions
Joyner General Stacks QA76.9.B22 I57 1998 ✔ Available Place Hold

Related Titles