• Produktbild: High-Level System Modeling
  • Produktbild: High-Level System Modeling
Band 4

High-Level System Modeling Specification and Design Methodologies

Fr. 191.00

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.01.1996

Herausgeber

Ronald Waxman + weitere

Verlag

Springer Us

Seitenzahl

192

Maße (L/B/H)

24.1/16/1.7 cm

Gewicht

476 g

Auflage

1996

Sprache

Englisch

ISBN

978-0-7923-9660-4

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.01.1996

Herausgeber

Verlag

Springer Us

Seitenzahl

192

Maße (L/B/H)

24.1/16/1.7 cm

Gewicht

476 g

Auflage

1996

Sprache

Englisch

ISBN

978-0-7923-9660-4

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: High-Level System Modeling
  • Produktbild: High-Level System Modeling
  • 1. A System Specification Model and Method.- 1.1. Introduction.- 1.2. Overview of the Development Process.- 1.3. Objective, Nature and Quality of a Specification.- 1.4. Related Models and Methods.- 1.5. Essential Concepts for Specification.- 1.6. Model for Functional Specification.- 1.7. Object and Data Modeling.- 1.8. Activity Modeling.- 1.9. Behavioral Modeling.- 1.10. Specification of Performance Constraints.- 1.11. Technological Specifications.- 1.12. Specification Method.- 1.13. Expressing Functional Specifications.- 1.14. Specification Method applied to an Example.- 1.15. Specific Features of the Specification Model.- 1.16. Conclusions.- 2. Adept: A Unified Environment for end-to-end System Design.- 2.1. Introduction.- 2.2. The ADEPT Environment.- 2.3. Examples and Results.- 2.4. Conclusions.- 3. The Design Cube: A Model for VHDL Designflow Representation and Its Application.- 3.1. Introduction.- 3.2. Design and Modeling.- 3.3 The Y-Chart Model and VHDL.- 3.4 The Design Cube.- 3.5 Nodes in the Design Cube.- 3.6. Arcs in the Design Cube.- 3.7. An extension of the model.- 3.8. Applying the Design Cube to the Current Synthesis Technology.- 3.9. Conclusion and Future Work.- 4. A Novel Approach to Guiding Incremental Specification.- 4.1. Introduction.- 4.2. Problem Formulation.- 4.3. Solution.- 4.4. Example.- 4.5. Results.- 4.6. Elaborate Theory for the Identification of Refining Edges.- 4.7. Conclusion.- 5. An Expert Assistant for Hardware Systems Specification.- 5.1 Introduction.- 5.2 The Module Manager and the MODES Environment.- 5.3 The Module Manager and the CSIF Format.- 5.4 The Module Manager Architecture.- 5.5 The Knowledge Representation of the Module Manager.- 5.6 Conclusion.- 6. Integrating Non-Functional Aspects into Lotos.- 6.1. Introduction.- 6.2. Non-Functional Extensions.- 6.3. An Example.- 6.4. Properties of the Annotations.- 6.5. Conclusion.