default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. B 1998: Montpellier, France
- Didier Bert:
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 - 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 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 A. Schneider:
Test Case Preparation Using a Prototype. 293-311
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-06 20:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
