Automatic Methods for the Refinement of System Models: From the Specification to the Implementation
(Part of the SpringerBriefs in Electrical and Computer Engineering Series)
No Customer Reviews
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.
Format:Paperback
Language:English
ISBN:3319414798
ISBN13:9783319414799
Release Date:July 2016
Publisher:Springer
Length:94 Pages
Weight:0.35 lbs.
Dimensions:0.2" x 6.1" x 9.2"
Customer Reviews
0 rating
Copyright © 2025 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
