2. B 1998: Montpellier, France

Didier Bert (Ed.): B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings. Lecture Notes in Computer Science 1393 Springer 1998, ISBN 3-540-64405-9

@proceedings{DBLP:conf/b/1998,
  editor    = {Didier Bert},
  title     = {B'98: Recent Advances in the Development and Use of the B Method,
               Second International B Conference, Montpellier, France, April
               22-24, 1998, Proceedings},
  booktitle = {B},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1393},
  year      = {1998},
  isbn      = {3-540-64405-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Jean-Raymond Abrial:
On B. 1-8

Invited Lectures

Carroll Morgan:
The Generalised Substitution Language Extended to Probabilistic Programs. 9-25
Patrick Behm, Pierre Desforges, Jean-Marc Meynadier:
MÉTÉOR : An Industrial Success in Formal Development. 26
François Pilarski:
Cost Effectiveness of Formal Methods in the Development of Avionics Systems at AÉROSPATIALE. 27-28

Theoretical Issues on B

Patrick Behm, Lilian Burdy, Jean-Marc Meynadier:
Well Defined B. 29-45
Marie-Laure Potet, Yann Rouzaud:
Composition and Refinement in the B-Method. 46-65
Pierre Chartier:
Formalisation of B in Isabelle/HOL. 66-82

B Extension Proposals

Jean-Raymond Abrial, Louis Mussat:
Introducing Dynamic Constraints in B. 83-128
Richard Banach, Michael Poppleton:
Retrenchment: An Engineering Variation on Refinement. 129-147

Methodological Issues

Brian Matthews, Brian Ritchie, Juan Bicarregui:
Synthesising Structure from Flat Specifications. 148-161
Alexander Malioukov:
An Object-Based Approach to the B Formal Method. 162-181
Emil Sekerinski:
Graphical Design of Reactive Systems. 182-197
Jean-François Pétin, Gérard Morel, Dominique Méry, Patrick Lamboley:
Process Control Engineering: Contribution to a Formal Structuring Framework with the B Method. 198-209
Souâd Taouil-Traverson, Sylvie Vignes:
Designing a B Model for Safety-Critical Software Systems. 210-225

Design of Distributed Systems

Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore:
Abstract State Machines: Designing Distributed Systems with State Machines and B. 226-242
Marina A. Waldén:
Layering Distributed Algorithms within the B-Method. 243-260

Case Studies and Industrial Applications

Philipp A. Heuberger:
Two Strategies to Data-Refine an Equivalence to a Forest. 261-272
Jacques Julliand, Bruno Legeard, Thierry Machicoane, Benoit Parreaux, Bruno Tatibouët:
Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic. 273-292
Helen Treharne, J. Draper, Steve Schneider:
Test Case Preparation Using a Prototype. 293-311

Last update Tue May 22 23:23:02 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page