- Hauptmenü-

Katalogdatenanzeige

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

Kataloginformation Katalogdatensatz500243068 .

Kataloginformation
Feldname	Details
Vorliegende Sprache	eng
ISBN	978-3-319-41479-9
Name	Seiter, Julia
Name	Wille, Robert
Name ANZEIGE DER KETTE	Wille, Robert
Name	Drechsler, Rolf
T I T E L	Automatic Methods for the Refinement of System Models
Zusatz zum Titel	From the Specification to the Implementation
Verlagsort	Cham
Verlag	Springer
Erscheinungsjahr	2017
Erscheinungsjahr	2017
Umfang	Online-Ressource (VIII, 94 p. 30 illus., 5 illus. in color, online resource)
Reihe	SpringerBriefs in Electrical and Computer Engineering
Titelhinweis	Druckausg.ISBN: 978-3-319-41479-9
Titelhinweis	Printed editionISBN: 978-3-319-41479-9
ISBN	ISBN 978-3-319-41480-5
Klassifikation	TJFC
	TEC008010
	621.3815
	TK7888.4
Kurzbeschreibung	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
2. Kurzbeschreibung	Introduction -- Preliminaries -- Challenges in Model Refinement -- Verification of Vertical Refinement -- Extraction of a Relation for Vertical Refinement -- Verification of Horizontal Refinement -- Summary and Conclusions
SWB-Titel-Idn	480976961
Signatur	Springer E-Book
Bemerkungen	Elektronischer Volltext - Campuslizenz
Elektronische Adresse	$uhttp://dx.doi.org/10.1007/978-3-319-41480-5
Internetseite / Link	Volltext

ISBD-Anzeige Katalogdatensatz500243068

Kategorien-Anzeige Katalogdatensatz500243068

Titel zur Titelsammlung hinzufügen Katalogdatensatz500243068

Kataloginformation500243068 Datensatzanfang . Kataloginformation500243068 Seitenanfang .

Titel vormerken Katalogdatensatz500243068

Vollanzeige Katalogdaten

Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.

Im Bereich Kataloginformation werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.

Der Bereich Exemplarinformationen enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.