Designing reliable distributed systems: A formal methods approach based on executable modeling in maude / Peter Csaba Ölveczky.
Tipo de material: TextoEditor: London: Springer, 2017Descripción: xviii, 313 p.: il.,; 24 cmISBN: 9781447166863Tema(s): PROCESAMIENTO ELECTRÓNICO DE DATOS -- PROCESAMIENTO DISTRIBUIDO | REDES DE COMPUTADORESClasificación CDD: 621.3192 Resumen: Este libro de texto probado en clase proporciona una introducción accesible al diseño, modelado formal y análisis de sistemas informáticos distribuidos. El libro usa Maude, un lenguaje de reescritura basado en lógica y simulación y herramienta de verificación de modelos, que ofrece un formalismo de modelado simple e intuitivo que es adecuado para modelar sistemas distribuidos en un atractivo estilo de programación orientado a objetos y funcional. Temas y características: presenta la especificación algebraica clásica y la teoría de reescritura de términos, incluido el razonamiento sobre la terminación, la confluencia y las propiedades de ecuaciones; cubre el modelado orientado a objetos de sistemas distribuidos utilizando la lógica de reescritura, así como la lógica temporal para especificar los requisitos que un sistema debería satisfacer; proporciona una gama de ejemplos y estudios de casos de diferentes dominios, para ayudar al lector a desarrollar una comprensión intuitiva de los sistemas distribuidos y sus desafíos de diseño; los ejemplos incluyen sistemas clásicos distribuidos tales como protocolos de transporte, protocolos criptográficos y transacciones distribuidas, elección de líder y algoritmos de ejecución mutua; contiene una gran cantidad de ejercicios, incluidos ejercicios más grandes adecuados para los proyectos del curso, y proporciona código ejecutable y material complementario en un sitio web asociado. Este libro de texto independiente está diseñado para apoyar cursos de pregrado sobre métodos formales y sistemas distribuidos, y será invaluable para cualquier estudiante que busque una introducción fácil de leer a las especificaciones formales, lógicas y sistemas de inferencia, y técnicas automatizadas de verificación de modelos.Tipo de ítem | Ubicación actual | Colección | Signatura | Info Vol | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|---|
LIBRO - MATERIAL GENERAL | Biblioteca Jorge Álvarez Lleras Fondo general | Colección General | 621.3192 C958d (Navegar estantería) | Ej. 1 | 1 | Disponible | 028763 |
Navegando Biblioteca Jorge Álvarez Lleras Estantes, Ubicación: Fondo general, Código de colección: Colección General Cerrar el navegador de estanterías
621.3191 K853p Power system stability and control/ | 621.3191 S183p Power system dynamics and stability/ | 621.3191 Z638o Optimization of power system operation / | 621.3192 C958d Designing reliable distributed systems: | 621.3192 H426a Análisis de circuitos en ingeniería / | 621.3192 H878c Circuitos electricos CA/ enfoque integrado / Charles I. Hubert | 621.3192 I794a 5 ed Análisis básico de circuitos en ingeniería / |
Incluye índice
Este libro de texto probado en clase proporciona una introducción accesible al diseño, modelado formal y análisis de sistemas informáticos distribuidos. El libro usa Maude, un lenguaje de reescritura basado en lógica y simulación y herramienta de verificación de modelos, que ofrece un formalismo de modelado simple e intuitivo que es adecuado para modelar sistemas distribuidos en un atractivo estilo de programación orientado a objetos y funcional.
Temas y características: presenta la especificación algebraica clásica y la teoría de reescritura de términos, incluido el razonamiento sobre la terminación, la confluencia y las propiedades de ecuaciones; cubre el modelado orientado a objetos de sistemas distribuidos utilizando la lógica de reescritura, así como la lógica temporal para especificar los requisitos que un sistema debería satisfacer; proporciona una gama de ejemplos y estudios de casos de diferentes dominios, para ayudar al lector a desarrollar una comprensión intuitiva de los sistemas distribuidos y sus desafíos de diseño; los ejemplos incluyen sistemas clásicos distribuidos tales como protocolos de transporte, protocolos criptográficos y transacciones distribuidas, elección de líder y algoritmos de ejecución mutua; contiene una gran cantidad de ejercicios, incluidos ejercicios más grandes adecuados para los proyectos del curso, y proporciona código ejecutable y material complementario en un sitio web asociado.
Este libro de texto independiente está diseñado para apoyar cursos de pregrado sobre métodos formales y sistemas distribuidos, y será invaluable para cualquier estudiante que busque una introducción fácil de leer a las especificaciones formales, lógicas y sistemas de inferencia, y técnicas automatizadas de verificación de modelos.
No hay comentarios en este titulo.