| Número de páginas: |
VIII, 94 p. 30 ilustraciones, 5 ilustraciones en color. |
| 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. |
Automatic Methods for the Refinement of System Models
