Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007885318/catalog> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- catalog alternative "Recent advances in the development and use of the B method".
- catalog contributor b10920402.
- catalog contributor b10920403.
- catalog created "c1998.".
- catalog date "1998".
- catalog date "c1998.".
- catalog dateCopyrighted "c1998.".
- catalog description "Includes bibliographical references and index.".
- catalog description "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 [and others] -- 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 [and others] -- 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 [and others] -- Test case preparation using a prototype / H. Treharne, J. Draper, S. Schneider.".
- catalog extent "viii, 311 p. ;".
- catalog identifier "3540644059 (pbk. : alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 1393".
- catalog issued "1998".
- catalog issued "c1998.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "005.1/4 21".
- catalog subject "B method (Computer science) Congresses.".
- catalog subject "Debugging in computer science Congresses.".
- catalog subject "QA76.9.B22 I57 1998".
- catalog tableOfContents "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 [and others] -- 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 [and others] -- 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 [and others] -- Test case preparation using a prototype / H. Treharne, J. Draper, S. Schneider.".
- catalog 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 / Didier Bert (ed.).".
- catalog title "Recent advances in the development and use of the B method".
- catalog type "Conference proceedings. fast".
- catalog type "text".