The Resource 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.)

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.)

Label
B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings
Title
B'98
Title remainder
recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings
Statement of responsibility
Didier Bert (ed.)
Title variation
Recent advances in the development and use of the B method
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Index
index present
LC call number
QA76.9.B22
LC item number
I57 1998
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1998
http://bibfra.me/vocab/lite/meetingName
International B Conference
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
Bert, Didier
http://library.link/vocab/subjectName
  • B method (Computer science)
  • Debugging in computer science
  • méthodologie
  • langage spécification
  • spécification formelle
  • méthode B
  • méthode formelle
  • langage B
  • Méthode B (Informatique)
  • Mise au point (Informatique)
  • B method (Computer science)
  • Debugging in computer science
  • Programmatuurtechniek
  • Engenharia de programacao (software)
  • Débogage
  • Méthode B (informatique)
Label
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.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
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
Dimensions
24 cm.
Dimensions
unknown
Extent
viii, 311 pages
Isbn
9783540644057
Lccn
98018094
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Specific material designation
remote
System control number
  • (OCoLC)38964108
  • (OCoLC)ocm38964108
Label
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.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
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
Dimensions
24 cm.
Dimensions
unknown
Extent
viii, 311 pages
Isbn
9783540644057
Lccn
98018094
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Specific material designation
remote
System control number
  • (OCoLC)38964108
  • (OCoLC)ocm38964108

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...