Cargando…

Automatic methods for the refinement of system models: from the specification to the implementation

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 precisio...

Descripción completa

Detalles Bibliográficos
Autores principales: Seiter, Julia, Wille, Robert, Drechsler, Rolf
Lenguaje:eng
Publicado: Springer 2017
Materias:
Acceso en línea:https://dx.doi.org/10.1007/978-3-319-41480-5
http://cds.cern.ch/record/2240275