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.