| TÃtulo : |
Automatic Methods for the Refinement of System Models : From the Specification to the Implementation |
| Tipo de documento: |
documento electrónico |
| Autores: |
Seiter, Julia, ; Wille, Robert, ; Drechsler, Rolf, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2017 |
| Número de páginas: |
VIII, 94 p. 30 ilustraciones, 5 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-319-41480-5 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Idioma : |
Inglés (eng) |
| Palabras clave: |
Circuitos electrónicos Microprocesadores Arquitectura de Computadores Electrónica Circuitos y sistemas electrónicos Arquitecturas de procesador Electrónica y Microelectrónica Instrumentación |
| Clasificación: |
6.213.815 |
| Resumen: |
Este libro proporciona una descripción general completa del refinamiento automático de modelos, que ayuda a los lectores a cerrar la brecha entre la especificación textual inicial y su implementación deseada. Los autores permiten a los lectores seguir dos "direcciones" para el refinamiento: refinamiento vertical, para agregar detalles y precisión a una sola descripción para un modelo determinado, y refinamiento horizontal, que considera varias vistas en un nivel de abstracción, refinando la especificación del sistema mediante descripciones dedicadas para estructura o comportamiento. La discusión incluye varios métodos que apoyan a los diseñadores de sistemas electrónicos en este proceso de refinamiento, incluidos métodos de verificación para verificar automáticamente si un refinamiento se ha realizado según lo previsto. |
| Nota de contenido: |
Introduction -- Preliminaries -- Challenges in Model Refinement -- Verification of Vertical Refinement -- Extraction of a Relation for Vertical Refinement -- Verification of Horizontal Refinement -- Summary and Conclusions. |
| Tipo de medio : |
Computadora |
| Summary : |
This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two "directions" for refinement: Vertical refinement, for adding detail and precision to single description for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated descriptions for structure or behavior. The discussion includes several methods which support designers of electronic systems in this refinement process, including verification methods to check automatically whether a refinement has been conducted as intended. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
Automatic Methods for the Refinement of System Models : From the Specification to the Implementation [documento electrónico] / Seiter, Julia, ; Wille, Robert, ; Drechsler, Rolf, . - 1 ed. . - [s.l.] : Springer, 2017 . - VIII, 94 p. 30 ilustraciones, 5 ilustraciones en color. ISBN : 978-3-319-41480-5 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés ( eng)
| Palabras clave: |
Circuitos electrónicos Microprocesadores Arquitectura de Computadores Electrónica Circuitos y sistemas electrónicos Arquitecturas de procesador Electrónica y Microelectrónica Instrumentación |
| Clasificación: |
6.213.815 |
| Resumen: |
Este libro proporciona una descripción general completa del refinamiento automático de modelos, que ayuda a los lectores a cerrar la brecha entre la especificación textual inicial y su implementación deseada. Los autores permiten a los lectores seguir dos "direcciones" para el refinamiento: refinamiento vertical, para agregar detalles y precisión a una sola descripción para un modelo determinado, y refinamiento horizontal, que considera varias vistas en un nivel de abstracción, refinando la especificación del sistema mediante descripciones dedicadas para estructura o comportamiento. La discusión incluye varios métodos que apoyan a los diseñadores de sistemas electrónicos en este proceso de refinamiento, incluidos métodos de verificación para verificar automáticamente si un refinamiento se ha realizado según lo previsto. |
| Nota de contenido: |
Introduction -- Preliminaries -- Challenges in Model Refinement -- Verification of Vertical Refinement -- Extraction of a Relation for Vertical Refinement -- Verification of Horizontal Refinement -- Summary and Conclusions. |
| Tipo de medio : |
Computadora |
| Summary : |
This book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two "directions" for refinement: Vertical refinement, for adding detail and precision to single description for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated descriptions for structure or behavior. The discussion includes several methods which support designers of electronic systems in this refinement process, including verification methods to check automatically whether a refinement has been conducted as intended. |
| Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
|  |
Crear una solicitud de compra Refinar búsqueda
