Imagen de portada de Amazon
Imagen de Amazon.com

Modeling in Event-B : system and software engineering / Jean-Raymond Abrial.

Por: Tipo de material: TextoTextoDetalles de publicación: Cambridge ; New York : Cambridge University Press, 2010.Descripción: xxvi, 586 pages : illustrations ; 26 cmISBN:
  • 9780521895569
Tema(s): Clasificación CDD:
  • 004.0151 22
Contenidos parciales:
Controlling cars on a bridge -- A nechanical press controller -- A simple file transfer protocol -- The event-B modeling notation and proof obligation rules -- Bounded re-transmission protocol -- Development of a concurrent program -- Development of electronic circuits -- Mathematical language -- Leader election on a ring-shapel network -- Synchronizing a tree-shaped network -- Routing algorithm for a mobile agent -- Leader election on a connected graph network -- Mathematical models for proof obligations -- Development of sequential programs -- A location Access controller -- Train system -- Problems
Resumen: "A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modeling and designing systems using an extension of the B formalism: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and, more generally, discrete systems, but this is all done with practice in mind. The numerous examples provided arise from various sources of computer system developments, including sequential programs, concurrent programs, and electronic circuits. The book also contains a large number of exercises and projects ranging in difficulty. Each of the examples included in the book has been proved using the Rodin Platform tool set, which is available free for download at www.event-b.org"--Provided by publisher.
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.
Valoración
    Valoración media: 0.0 (0 votos)
Existencias
Tipo de ítem Biblioteca actual Signatura Copia número Estado Fecha de vencimiento Código de barras Reserva de ítems
Colección general Colección general Biblioteca Yachay Tech 004.0151 A163m 2010 (Navegar estantería(Abre debajo)) Ej. 1 Disponible 002932
Colección general Colección general Biblioteca Yachay Tech 004.0151 A163m 2010 (Navegar estantería(Abre debajo)) Ej. 2 Disponible 002933
Colección general Colección general Biblioteca Yachay Tech 004.0151 A163m 2010 (Navegar estantería(Abre debajo)) Ej. 3 Disponible 002934
Total de reservas: 0

Includes bibliographical references and index.

Controlling cars on a bridge -- A nechanical press controller -- A simple file transfer protocol -- The event-B modeling notation and proof obligation rules -- Bounded re-transmission protocol -- Development of a concurrent program -- Development of electronic circuits -- Mathematical language -- Leader election on a ring-shapel network -- Synchronizing a tree-shaped network -- Routing algorithm for a mobile agent -- Leader election on a connected graph network -- Mathematical models for proof obligations -- Development of sequential programs -- A location Access controller -- Train system -- Problems

"A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modeling and designing systems using an extension of the B formalism: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and, more generally, discrete systems, but this is all done with practice in mind. The numerous examples provided arise from various sources of computer system developments, including sequential programs, concurrent programs, and electronic circuits. The book also contains a large number of exercises and projects ranging in difficulty. Each of the examples included in the book has been proved using the Rodin Platform tool set, which is available free for download at www.event-b.org"--Provided by publisher.

No hay comentarios en este titulo.

para colocar un comentario.

Ayuda

X

Correo: bibliotecayachaytech@yachaytech.edu.ec
Teléfono:+593 6299 9500 Ext. 2517

Horario de atención:

X

BIBLIOTECA UNIVERSIDAD YACHAY TECH

  • Área: Fondo Impreso
    Lunes a Viernes de 08h00 a 20h30
    Sábado de 08h00 a 16h30
  • Área: Ingenio
    Abierto 24 horas 7 días
  • Área: Bloque de Servicios, 2do. Piso
    Espacios de Estudio Grupal e Individual, abierto 24 horas 7 días

Recuerda que los espacios son compartidos por toda la comunidad, por lo que debes hacer un uso adecuado
del tiempo que los ocupes, mantenerlos limpios y evitar el daño a las instalaciones y bienes materiales.

También puedes usar nuestros canales de comunicación:

Correo: bibliotecayachaytech@yachaytech.edu.ec
Teléfono: +593 6299 9500 Ext. 2517
Ubicación: San Miguel de Urcuquí, Hacienda San José s/n y Proyecto Yachay

Video

X