Merkzettel Warenkorb
  • Produktbild: Languages for System Specification
  • Produktbild: Languages for System Specification

Languages for System Specification Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03

138,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.12.2010

Herausgeber

Christoph Grimm

Verlag

Springer Us

Seitenzahl

357

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

558 g

Auflage

Softcover reprint of hardcover 1st edition 2004

Sprache

Englisch

ISBN

978-1-4419-5457-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.12.2010

Herausgeber

Christoph Grimm

Verlag

Springer Us

Seitenzahl

357

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

558 g

Auflage

Softcover reprint of hardcover 1st edition 2004

Sprache

Englisch

ISBN

978-1-4419-5457-2

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
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: Languages for System Specification
  • Produktbild: Languages for System Specification
  • Preface. I: UML-Based System Specification and Design. Introduction; P. van der Putten. 1. UML-Based Co-Design; B. Steinbach, et al. 2. A Unified Approach to Code Generation from Behavioral Diagrams; D. Björklund, et al. 3. Platform-Independent Design for Embedded Real-Time Systems; Jinfeng Huang, et al. 4. Real-Time System Modeling with ACCORD/UML Methodology; Trung Hieu Phan, et al. 5. UML-Based Specification of Embedded Systems; M. Prevostini, et al. II: C-Based System Design. 6. SPACE: A Hardware/Software SystemC Modeling Platform Including an RTOS; J. Chevalier, et al. 7. LAERTE++: An Object Oriented High-Level TPG for SystemC Designs; A. Fin, F. Fummi. 8. A Case Study: SystemC-Based Design of an Industrial Exposure Control Unit; A.G. Braun, et al. 9. Modeling of CSP, KPN and SR Systems with SystemC; F. Herrera, et al. 10. On Hardware Description in ECL; L. Ribas, J. Saiz. III: Analog and Mixed-Signal Systems. Introduction; A. Vachoux. 11. Rules for Analog and Mixed-Signal VHDL-AMS Modeling; J. Haase. 12. A VHDL-AMS Library of Hierarchical Optoelectronic Device Models; F. Mieyeville, et al. 13. Towards High-Level Synthesis from VHDL-AMS Specifications; Hua Tang, et al. 14. Reliability Simulation of Electronic Circuits with VHDL-AMS; F. Marc, et al. 15. Extending SystemC to Analog Modeling and Simulation; G. Biagetti, et al. IV: Languages for Formal Methods. 16. Abstract State Machines; E.Börger. 17. A New Time Extension to &pgr;-Calculus Based on Time Consuming Transition Semantics; M. Fischer, et al. 18. Modeling CHP Descriptions in LTS for Asynchronous Circuit Validation; M. Boubekeur, et al. 19. Combined Formal Refinement and Model Checking for Real-Time Systems Verification; A. Krupp, et al. 20. Refinement of Hybrid Systems; J. Romberg, C. Grimm. V: Applications and New Languages. 21. Automotive Software Engineering; C. Salzmann, T. Stauner. 22. System Verilog; W. Ecker, et al.