Automatic Methods for the Refinement of System Models From the Specification to the Implementation /

• Κύριοι συγγραφείς: Seiter, Julia (Συγγραφέας), Wille, Robert (Συγγραφέας), Drechsler, Rolf (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Σειρά: SpringerBriefs in Electrical and Computer Engineering,
• Θέματα: Engineering.; Microprocessors.; Electronics.; Microelectronics.; Electronic circuits.; Circuits and Systems.; Processor Architectures.; Electronics and Microelectronics, Instrumentation.

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

Πίνακας περιεχομένων:

• Introduction
• Preliminaries
• Challenges in Model Refinement
• Verification of Vertical Refinement
• Extraction of a Relation for Vertical Refinement
• Verification of Horizontal Refinement
• Summary and Conclusions.