Vor Ort
Merkzettel Warenkorb
Produktbild: Formal Methods and Models for System Design

Formal Methods and Models for System Design A System Level Perspective

209,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

01.10.2004

Abbildungen

IX, 65 illus., schwarz-weiss Illustrationen

Herausgeber

Rajesh Gupta + weitere

Verlag

Springer Us

Seitenzahl

372

Maße (L/B/H)

24,6/16,3/2,2 cm

Gewicht

785 g

Auflage

2004 edition

Sprache

Englisch

ISBN

978-1-4020-8051-7

Beschreibung

Rezension

From the reviews:



"This book explores various formal methods and models that can be used to manage the complexity … . This quite readable and self-contained monograph demonstrates some of the recent efforts made to address a very important issue, that is how to effectively and efficiently practice system design … . This is certainly an excellent reference book for system design practitioners and a very good example for those applied mathematicians who look for ways to apply their knowledge to solve practical problems." (Zhizhang Shen, Zentralblatt MATH, Vol. 1061 (12), 2005)

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

01.10.2004

Abbildungen

IX, 65 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer Us

Seitenzahl

372

Maße (L/B/H)

24,6/16,3/2,2 cm

Gewicht

785 g

Auflage

2004 edition

Sprache

Englisch

ISBN

978-1-4020-8051-7

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Formal Methods and Models for System Design
  • Preface.
    I: Methods and Models for System Level Design. 1. Modular Hierarchies of Models for Embedded Systems; M. Broy. 2. Actor-oriented Models for Codesign; E.A. Lee, S. Neuendorffer. 3. Structural Component Composition for System-level Models; F. Doucet, et al. 4. Truly Heterogeneous Modeling with SystemC; H.D. Patel, S.K. Shukla. 5. MoDe: A Method for System-level Architecture Evaluation; J. Romberg, et al.
    II: Models and Methods for System Evaluation. 6. A Verification Methodology for Concurrent Software with Synchronous Communication; C. Sprenger, K. Worytkiewicz. 7. High-level Verification of Control Intensive Systems; E. Clarke, et al. 8. How to Compute the Refinement Relation for Parameterized Systems; F. Bellegarde, et al.
    III: Type Theoretic Models and Methods for System Design. 9. Algebraic Theory for Behavioral Type Inference; J.-P. Talpin, P. Le Guernic. 10. Behavioral Type Inference for Compositional System design; J.-P. Talpin, et al.
    IV: Optimizing System Models. 11. Optimizations for Faster Execution of Esterel Programs; D. Potop-Butucaru, R. de Simone. 12. Optimizing System Models for Simulation Efficiency; S.A. Sharad, S.K. Shukla. 13. Capturing Formal Specification into Abstract Models; D. Berner, et al.
    V: Post Production Formal Methods. 14. Engineering Changes in Field Modifiable Architectures; S. Komatsu, et al.