skip to main content
Idioma:
Tipo de recurso Mostra resultados com: Mostra resultados com: Índice

B'98 recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings

International B Conference (2nd 1998 Montpellier, France) Didier Bert

Berlin Springer New York c1998

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1393 ) e outros locais(Acessar)

  • Título:
    B'98 recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings
  • Autor: International B Conference (2nd 1998 Montpellier, France)
  • Didier Bert
  • Assuntos: B method (Computer science) -- Congresses; Debugging in computer science -- Congresses; ENGENHARIA DE PROGRAMAS -- CONGRESSOS; COMPUTAÇÃO APLICADA (SISTEMAS CONGRESSOS); ENGENHARIA DE SOFTWARE
  • Notas: Includes bibliographical references and index
  • Descrição: 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 -- Costeffectiveness 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 -- Processcontrol 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 statemachines : 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
  • Editor: Berlin Springer New York
  • Data de criação/publicação: c1998
  • Formato: viii, 311 p. 24 cm.
  • Idioma: Inglês
Links
Voltar para lista de resultados

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.