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