Automatic methods for the refinement of system models : from the specification to the implementation /: from the specification to the implementation. ([2016])

• Record Type: Book
• Further Information: Note: Julia Seiter, Robert Wille, Rolf Drechsler.
• Authors: Seiter, Julia; Wille, Robert; Drechsler, Rolf
• Contents: Introduction -- Preliminaries -- Challenges in Model Refinement -- Verification of Vertical Refinement -- Extraction of a Relation for Vertical Refinement -- Verification of Horizontal Refinement -- Summary and Conclusions.
• Publisher Details: Switzerland : Springer
• Publication Date: 2016
• Copyright Date: 2017
• Extent: 1 online resource (viii, 94 pages), illustrations (some color)
• Subjects: 004.2/4; Engineering; System design -- Data processing; COMPUTERS -- Computer Literacy; COMPUTERS -- Computer Science; COMPUTERS -- Data Processing; COMPUTERS -- Hardware -- General; COMPUTERS -- Information Technology; COMPUTERS -- Machine Theory; COMPUTERS -- Reference; System design -- Data processing; Computers -- Systems Architecture -- General; Technology & Engineering -- Electronics -- General; Computer architecture & logic design; Electronics engineering; Systems engineering; Computer science; Electronics; Technology & Engineering -- Electronics -- Circuits -- General; Circuits & components; Electronic books
• Languages: English
• ISBNs: 9783319414805; 3319414801; 3319414798; 9783319414799
• Related ISBNs: 9783319414799
• Notes: Note: Includes bibliographical references.; Note: Online resource; title from PDF title page (SpringerLink, viewed July 15, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.