Autor Seiter, Julia
|
|
Documentos disponibles escritos por este autor (1)
Hacer una sugerencia Refinar búsqueda
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, Autor ; Wille, Robert, Autor ; Drechsler, Rolf, Autor 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. 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 Ãndice Dewey: 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. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Automatic Methods for the Refinement of System Models : From the Specification to the Implementation [documento electrónico] / Seiter, Julia, Autor ; Wille, Robert, Autor ; Drechsler, Rolf, Autor . - 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.
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 Ãndice Dewey: 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. En lÃnea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
