Capa do artigo Automatic Methods For The Refinement Of System Models
10% OFF

Automatic Methods For The Refinement Of System Models eBook

From The Specification To The Implementation

by Rolf Drechsler, Julia Seiter e Robert Wille
language: english
Publisher: Springer International Publishing, July of 2016 ‧
59,61€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
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.

Automatic Methods For The Refinement Of System Models

From The Specification To The Implementation

by Rolf Drechsler, Julia Seiter e Robert Wille

Property Description
ISBN: 9783319414805
Publisher: Springer International Publishing
Release Date: July of 2016
Language: English
Format: eBook
File Format and Compatibility: PDF para ADE
Collection: Springerbriefs In Electrical And Computer Engineering
Categories: eBooks in English > Engineering > Electricity and Energy
EAN: 9783319414805

BOOKS FROM THE SAME COLLECTION

SEE MORE TITLES FROM THIS COLLECTION

ROLF DRECHSLER

SEE MORE TITLES BY THIS AUTHOR

ROBERT WILLE

SEE MORE TITLES BY THIS AUTHOR