Verwandte Artikel zu Abstract State Machines: A Method for High-Level System...

Abstract State Machines: A Method for High-Level System Design and Analysis - Softcover

 
9783642621161: Abstract State Machines: A Method for High-Level System Design and Analysis

Inhaltsangabe

Quelli che s'innamoran di pratica senza scienzia sono come 'l nocchieri ch'entra in navilio sanza timone o bussola, 1 che mai ha certezza dove si vada. - Leonardo da Vinci Ich habe oft bemerkt, dass wir uns durch allzuvieles Symbolisieren 2 die Sprache fu ¨r die Wirklichkeit untu ¨chtig machen. - Christian Morgenstern This is the place to express our thanks. First of all we thank all those who over the years have actively contributed to shaping the novel software design and analysis method explained in this book. They are too numerous to be mentioned here. They all appear in some way or the other on the following pages, in particular in the bibliographical and historical Chap. 9 which can be read independently of the book. We then thank those who have helped with detailed critical comments on the draft chapters to shape the way our arguments are presented in this book: M. B¨ orger (Diron Mu ¨nster), I. Craggs (IBMHursley),G. DelCastillo(SiemensMunc ¨ hen),U. Gl¨ asser(SimonFraser University, Vancouver,Canada),J. Huggins(Kettering University,Michigan, USA), B. Koblinger (IBM Heidelberg), P. Pa ¨ppinghaus (Siemens Munc ¨ hen), A. Preller (Universit´ e de Montpellier, France), M. -L. Potet (INP de Gre- ble, France),W. Reisig (Humboldt-Universit¨ at zu Berlin, Germany),H. Rust (Universit¨ at Cottbus, Germany), G. Schellhorn (Universit¨ at Augsburg, G- many), B. Thalheim (Universit¨ at Cottbus, Germany) and a dozen student generationsat Universita `di Pisa. We thankM. Barmet(ETH Zur ¨ ich)for her solutions of the exercises in Chap. 8. We also thank L.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Von der hinteren Coverseite

<p> </p><p>The systems engineering method proposed in this book, which is based on Abstract State Machines (ASMs), guides the development of software and embedded hardware-software systems seamlessly from requirements capture to actual implementation and documentation. The method bridges the gap between the human understanding and formulation of real-world problems and the deployment of their algorithmic solutions by code-executing machines. Within a single conceptual framework it covers design, verification by reasoning techniques, and validation by simulation and testing. ASMs improve current industrial practice by using accurate high-level modeling and by linking the descriptions at the successive stages of system development in an organic and efficiently maintainable chain of rigorous and coherent system models at stepwise-refined abstraction levels. In several industrial projects the ASM method has proven its superiority compared to the popular UML methodology when designing complex parallel or dynamic systems.<br>This book combines the features of a textbook and a handbook: the reader will find detailed explanations, proofs, and exercises as well as numerous examples and real-world case studies. Researchers will find here the most comprehensive description of ASMs available today and professionals will use it as a "modeling handbook for the working software engineer." As a textbook it supports self-study or it can form the basis of a lecture course. Even more information can be found on the related website maintained by the authors: http://www.di.unipi.it/AsmBook/</p>

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagSpringer
  • Erscheinungsdatum2013
  • ISBN 10 3642621163
  • ISBN 13 9783642621161
  • EinbandTapa blanda
  • SpracheEnglisch
  • Anzahl der Seiten452
  • Kontakt zum HerstellerNicht verfügbar

Gebraucht kaufen

Zustand: Wie neu
Like New
Diesen Artikel anzeigen

EUR 29,39 für den Versand von Vereinigtes Königreich nach Deutschland

Versandziele, Kosten & Dauer

Gratis für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

9783540007029: Abstract State Machines: A Method for High-Level System Design and Analysis

Vorgestellte Ausgabe

ISBN 10:  3540007024 ISBN 13:  9783540007029
Verlag: Springer, 2003
Hardcover

Suchergebnisse für Abstract State Machines: A Method for High-Level System...

Foto des Verkäufers

Egon Börger|Robert Stärk
ISBN 10: 3642621163 ISBN 13: 9783642621161
Neu Softcover

Anbieter: moluna, Greven, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers 5064538

Verkäufer kontaktieren

Neu kaufen

EUR 47,23
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Robert Stärk
ISBN 10: 3642621163 ISBN 13: 9783642621161
Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The systems engineering method proposed in this book, which is based on Abstract State Machines (ASMs), guides the development of software and embedded hardware-software systems seamlessly from requirements capture to actual implementation and documentation. The method bridges the gap between the human understanding and formulation of real-world problems and the deployment of their algorithmic solutions by code-executing machines. Within a single conceptual framework it covers design, verification by reasoning techniques, and validation by simulation and testing. ASMs improve current industrial practice by using accurate high-level modeling and by linking the descriptions at the successive stages of system development in an organic and efficiently maintainable chain of rigorous and coherent system models at stepwise-refined abstraction levels. In several industrial projects the ASM method has proven its superiority compared to the popular UML methodology when designing complex parallel or dynamic systems.This book combines the features of a textbook and a handbook: the reader will find detailed explanations, proofs, and exercises as well as numerous examples and real-world case studies. Researchers will find here the most comprehensive description of ASMs available today and professionals will use it as a 'modeling handbook for the working software engineer.' As a textbook it supports self-study or it can form the basis of a lecture course. Even more information can be found on the related website maintained by the authors: di.unipi.it/AsmBook/. Bestandsnummer des Verkäufers 9783642621161

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Robert Stärk
ISBN 10: 3642621163 ISBN 13: 9783642621161
Neu Taschenbuch
Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware - The systems engineering method proposed in this book, which is based on Abstract State Machines (ASMs), guides the development of software and embedded hardware-software systems seamlessly from requirements capture to actual implementation and documentation. The method bridges the gap between the human understanding and formulation of real-world problems and the deployment of their algorithmic solutions by code-executing machines. Within a single conceptual framework it covers design, verification by reasoning techniques, and validation by simulation and testing. ASMs improve current industrial practice by using accurate high-level modeling and by linking the descriptions at the successive stages of system development in an organic and efficiently maintainable chain of rigorous and coherent system models at stepwise-refined abstraction levels. In several industrial projects the ASM method has proven its superiority compared to the popular UML methodology when designing complex parallel or dynamic systems.This book combines the features of a textbook and a handbook: the reader will find detailed explanations, proofs, and exercises as well as numerous examples and real-world case studies. Researchers will find here the most comprehensive description of ASMs available today and professionals will use it as a 'modeling handbook for the working software engineer.' As a textbook it supports self-study or it can form the basis of a lecture course. Even more information can be found on the related website maintained by the authors: di.unipi.it/AsmBook/ 452 pp. Englisch. Bestandsnummer des Verkäufers 9783642621161

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Robert Stärk
ISBN 10: 3642621163 ISBN 13: 9783642621161
Neu Taschenbuch

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Neuware -Quelli che s¿innamoran di pratica senza scienzia sono come ¿l nocchieri ch¿entra in navilio sanza timone o bussola, 1 che mai ha certezza dove si vada. ¿ Leonardo da Vinci Ich habe oft bemerkt, dass wir uns durch allzuvieles Symbolisieren 2 die Sprache fu ¿r die Wirklichkeit untu ¿chtig machen. ¿ Christian Morgenstern This is the place to express our thanks. First of all we thank all those who over the years have actively contributed to shaping the novel software design and analysis method explained in this book. They are too numerous to be mentioned here. They all appear in some way or the other on the following pages, in particular in the bibliographical and historical Chap. 9 which can be read independently of the book. We then thank those who have helped with detailed critical comments on the draft chapters to shape the way our arguments are presented in this book: M. B¿ orger (Diron Mu ¿nster), I. Craggs (IBMHursley),G. DelCastillo(SiemensMunc ¿ hen),U. Gl¿ asser(SimonFraser University, Vancouver,Canada),J. Huggins(Kettering University,Michigan, USA), B. Koblinger (IBM Heidelberg), P. Pa ¿ppinghaus (Siemens Munc ¿ hen), A. Preller (Universit¿ e de Montpellier, France), M. -L. Potet (INP de Gre- ble, France),W. Reisig (Humboldt-Universit¿ at zu Berlin, Germany),H. Rust (Universit¿ at Cottbus, Germany), G. Schellhorn (Universit¿ at Augsburg, G- many), B. Thalheim (Universit¿ at Cottbus, Germany) and a dozen student generationsat Universita `di Pisa. We thankM. Barmet(ETH Zur ¿ ich)for her solutions of the exercises in Chap. 8. We also thank L.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch. Bestandsnummer des Verkäufers 9783642621161

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Börger, Egon; Stärk, Robert
Verlag: Springer, 2013
ISBN 10: 3642621163 ISBN 13: 9783642621161
Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Bestandsnummer des Verkäufers ria9783642621161_new

Verkäufer kontaktieren

Neu kaufen

EUR 61,53
Währung umrechnen
Versand: EUR 5,85
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Börger, Egon; Stärk, Robert
Verlag: Springer, 2013
ISBN 10: 3642621163 ISBN 13: 9783642621161
Neu Softcover

Anbieter: California Books, Miami, FL, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers I-9783642621161

Verkäufer kontaktieren

Neu kaufen

EUR 60,63
Währung umrechnen
Versand: EUR 8,66
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Borger, Egon
Verlag: Springer 2013-10, 2013
ISBN 10: 3642621163 ISBN 13: 9783642621161
Neu PF

Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783642621161

Verkäufer kontaktieren

Neu kaufen

EUR 68,17
Währung umrechnen
Versand: EUR 15,27
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 10 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

St?rk Robert B?rger Egon
Verlag: Springer, 2013
ISBN 10: 3642621163 ISBN 13: 9783642621161
Neu Softcover
Print-on-Demand

Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. PRINT ON DEMAND pp. 452. Bestandsnummer des Verkäufers 18142281797

Verkäufer kontaktieren

Neu kaufen

EUR 87,42
Währung umrechnen
Versand: EUR 2,30
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Robert St?rk Egon B?rger
Verlag: Springer, 2013
ISBN 10: 3642621163 ISBN 13: 9783642621161
Neu Softcover

Anbieter: Books Puddle, New York, NY, USA

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. pp. 452. Bestandsnummer des Verkäufers 26142281807

Verkäufer kontaktieren

Neu kaufen

EUR 83,97
Währung umrechnen
Versand: EUR 7,79
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Börger, Egon/ Stärk, Robert
ISBN 10: 3642621163 ISBN 13: 9783642621161
Neu Paperback

Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: Brand New. 452 pages. 9.00x6.10x1.20 inches. In Stock. Bestandsnummer des Verkäufers x-3642621163

Verkäufer kontaktieren

Neu kaufen

EUR 81,32
Währung umrechnen
Versand: EUR 11,76
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Es gibt 1 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen