Items related to Automatic Methods for the Refinement of System Models:...

Automatic Methods for the Refinement of System Models: From the Specification to the Implementation (SpringerBriefs in Electrical and Computer Engineering) - Softcover

 
9783319414799: Automatic Methods for the Refinement of System Models: From the Specification to the Implementation (SpringerBriefs in Electrical and Computer Engineering)

Synopsis

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.

"synopsis" may belong to another edition of this title.

About the Author

Julia Seiter currently works as a software architect at VEMAG Maschinenbau GmbH in Verden, Germany. She received the Diploma degree in computer science from the University of Bremen, Germany, in 2012. In 2015, she received her Dr.-Ing. degree, also from the University of Bremen, after having been with the Group of Computer Architecture for three years. Her research was focused on the design and verification of formal system models.

Robert Wille is a Full Professor at the Johannes Kepler University Linz. He received the Diploma and Dr.-Ing. degrees in computer science from the University of Bremen, Germany, in 2006 and 2009, respectively. He was with the Group of Computer Architecture at the University of Bremen and with the German Research Center for Artificial Intelligence (DFKI). Additionally, he worked as Lecturer at the University of Applied Science in Bremen, Germany, and as visiting professor at the University of Potsdam, Germany, and the Technical University Dresden, Germany. His research interests are in the design of circuits and systems for both conventional and emerging technologies with a focus in the domain of synthesis and verification.

Rolf Drechsler is head of Cyber-Physical Systems department at the German Research Center for Artificial Intelligence (DFKI) since 2011. Furthermore, he is a Full Professor at the Institute of Computer Science, University of Bremen, since 2001. Before, he worked for the Corporate Technology Department of Siemens AG, and was with the Institute of Computer Science, Albert-Ludwig University of Freiburg/Breisgau, Germany. Rolf Drechsler received the Diploma and Dr. Phil. Nat. degrees in computer science from the Goethe-University in Frankfurt/Main, Germany, in 1992 and, respectively, 1995. Rolf Drechsler focusses in his research at DFKI and in the Group for Computer Architecture, which he is heading at the Institute of Computer Science of the University of Bremen, on the development and design of data structures and algorithms with an emphasis on circuit and system design.


"About this title" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date2016
  • ISBN 10 3319414798
  • ISBN 13 9783319414799
  • BindingPaperback
  • LanguageEnglish
  • Edition number1
  • Number of pages102

Buy Used

Condition: As New
Unread book in perfect condition...
View this item

FREE shipping within United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

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

Featured Edition

ISBN 10:  331941481X ISBN 13:  9783319414812
Publisher: Springer, 2016
Softcover

Search results for Automatic Methods for the Refinement of System Models:...

Seller Image

Seiter, Julia; Wille, Robert; Drechsler, Rolf
Published by Springer, 2016
ISBN 10: 3319414798 ISBN 13: 9783319414799
New Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 26516797-n

Contact seller

Buy New

£ 49.51
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Seiter, Julia; Wille, Robert; Drechsler, Rolf
Published by Springer, 2016
ISBN 10: 3319414798 ISBN 13: 9783319414799
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783319414799_new

Contact seller

Buy New

£ 49.52
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Julia Seiter, Robert Wille, Rolf Drechsler
Published by Springer 2016-07-11, 2016
ISBN 10: 3319414798 ISBN 13: 9783319414799
New Paperback

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: New. Seller Inventory # 6666-IUK-9783319414799

Contact seller

Buy New

£ 47.33
Convert currency
Shipping: £ 2.49
Within United Kingdom
Destination, rates & speeds

Quantity: 10 available

Add to basket

Seller Image

Julia Seiter
ISBN 10: 3319414798 ISBN 13: 9783319414799
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 104 pp. Englisch. Seller Inventory # 9783319414799

Contact seller

Buy New

£ 46.42
Convert currency
Shipping: £ 9.27
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Julia Seiter
ISBN 10: 3319414798 ISBN 13: 9783319414799
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783319414799

Contact seller

Buy New

£ 46.42
Convert currency
Shipping: £ 11.79
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Seiter, Julia; Wille, Robert; Drechsler, Rolf
Published by Springer, 2016
ISBN 10: 3319414798 ISBN 13: 9783319414799
New Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 26516797-n

Contact seller

Buy New

£ 46.04
Convert currency
Shipping: £ 14.77
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Julia Seiter|Robert Wille|Rolf Drechsler
ISBN 10: 3319414798 ISBN 13: 9783319414799
New Softcover
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Provides a comprehensive introduction to automatic model refinementIncludes techniques to verify automatically the refinements conductedExplains key distinctions between horizontal and vertical refinementJulia Seiter currently wo. Seller Inventory # 122126055

Contact seller

Buy New

£ 41.98
Convert currency
Shipping: £ 21.06
From Germany to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Seiter, Julia; Wille, Robert; Drechsler, Rolf
Published by Springer, 2016
ISBN 10: 3319414798 ISBN 13: 9783319414799
New Softcover

Seller: California Books, Miami, FL, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # I-9783319414799

Contact seller

Buy New

£ 56.30
Convert currency
Shipping: £ 7.39
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Seiter, Julia/ Wille, Robert/ Drechsler, Rolf
Published by Springer Verlag, 2016
ISBN 10: 3319414798 ISBN 13: 9783319414799
New Paperback

Seller: Revaluation Books, Exeter, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Brand New. 104 pages. 9.00x6.00x0.25 inches. In Stock. Seller Inventory # x-3319414798

Contact seller

Buy New

£ 63.03
Convert currency
Shipping: £ 6.99
Within United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Julia Seiter
ISBN 10: 3319414798 ISBN 13: 9783319414799
New Taschenbuch

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 104 pp. Englisch. Seller Inventory # 9783319414799

Contact seller

Buy New

£ 46.42
Convert currency
Shipping: £ 29.49
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

There are 4 more copies of this book

View all search results for this book