Automatic Methods for the Refinement of System Models

From the Specification to the Implementation

Nonfiction, Science & Nature, Technology, Electronics, Circuits, Computers, Advanced Computing, Engineering, Computer Architecture
Cover of the book Automatic Methods for the Refinement of System Models by Julia Seiter, Robert Wille, Rolf Drechsler, Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Julia Seiter, Robert Wille, Rolf Drechsler ISBN: 9783319414805
Publisher: Springer International Publishing Publication: July 4, 2016
Imprint: Springer Language: English
Author: Julia Seiter, Robert Wille, Rolf Drechsler
ISBN: 9783319414805
Publisher: Springer International Publishing
Publication: July 4, 2016
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book HCI in Business, Government, and Organizations: Information Systems by Julia Seiter, Robert Wille, Rolf Drechsler
Cover of the book Reconsidering National Plays in Europe by Julia Seiter, Robert Wille, Rolf Drechsler
Cover of the book Theoretical Femtosecond Physics by Julia Seiter, Robert Wille, Rolf Drechsler
Cover of the book Cyber Deception by Julia Seiter, Robert Wille, Rolf Drechsler
Cover of the book Logistics Matters and the U.S. Army in Occupied Germany, 1945-1949 by Julia Seiter, Robert Wille, Rolf Drechsler
Cover of the book Urban Air Pollution Monitoring by Ground-Based Stations and Satellite Data by Julia Seiter, Robert Wille, Rolf Drechsler
Cover of the book Structured Object-Oriented Formal Language and Method by Julia Seiter, Robert Wille, Rolf Drechsler
Cover of the book Marketing at the Confluence between Entertainment and Analytics by Julia Seiter, Robert Wille, Rolf Drechsler
Cover of the book Achievements, History and Challenges in Geophysics by Julia Seiter, Robert Wille, Rolf Drechsler
Cover of the book Economics and Price Risks in International Pellet Supply Chains by Julia Seiter, Robert Wille, Rolf Drechsler
Cover of the book Twin Peaks for Europe: State-of-the-Art Financial Supervisory Consolidation by Julia Seiter, Robert Wille, Rolf Drechsler
Cover of the book University Cricket and Emerging Adulthood by Julia Seiter, Robert Wille, Rolf Drechsler
Cover of the book Family Urban Agriculture in Russia by Julia Seiter, Robert Wille, Rolf Drechsler
Cover of the book Modeling the Renewable Energy Transition in Canada by Julia Seiter, Robert Wille, Rolf Drechsler
Cover of the book International Handbook of Research in Statistics Education by Julia Seiter, Robert Wille, Rolf Drechsler
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy