High-Level System Modeling

1. En systemspecifikationsmodel og -metode. - 1. 1. Introduktion. - 1. 2. Oversigt over udviklingsprocessen. - 1. 3. En specifikations objektive natur og kvalitet. - 1. 4. Relaterede modeller og metoder. - 1. 5. Væsentlige koncepter for specifikation. - 1. 6. Model til funktionel specifikation. - 1. 7. Objekt- og datamodellering. - 1. 8. Aktivitetsmodellering. - 1. 9. Adfærdsmodellering. - 1. 10. Specifikation af ydeevnebegrænsninger. - 1. 11. Teknologiske specifikationer. - 1. 12. Specifikationsmetode. - 1. 13. Udtryk af funktionelle specifikationer. - 1. 14. Specifikationsmetode anvendt på et eksempel. - 1. 15. Specifikke funktioner ved specifikationsmodellen. - 1. 16. Konklusioner. - 2. Adept: Et samlet miljø til end-to-end systemdesign. - 2. 1. Introduktion. - 2. 2. ADEPT-miljøet. - 2. 3. Eksempler og resultater. - 2. 4. Konklusioner. - 3. Designkuben: En model til VHDL Designflow-repræsentation og dens anvendelse. - 3. 1. Introduktion. - 3. 2. Design og modellering. - 3. 3 Y-diagrammodellen og VHDL. - 3. 4 Designkuben. - 3. 5 Noder i designkuben. - 3. 6. Buer i designkuben. - 3. 7. En udvidelse af modellen. - 3. 8. Anvendelse af designkuben på den nuværende synteseteknologi. - 3. 9. Konklusion og fremtidigt arbejde. - 4. En ny tilgang til at vejlede inkrementel specifikation. - 4. 1. Introduktion. - 4. 2. Problemformulering. - 4. 3. Løsning. - 4. 4. Eksempel. - 4. 5. Resultater. - 4. 6. Uddyb teori til identifikation af raffineringskanter. - 4. 7. Konklusion. - 5. En ekspertassistent til specifikation af hardwaresystemer. - 5. 1 Introduktion. - 5. 2 Moduladministratoren og MODES-miljøet. - 5. 3 Moduladministratoren og CSIF-formatet. - 5. 4 Moduladministratorens arkitektur. - 5. 5 Moduladministratorens vidensrepræsentation. - 5. 6 Konklusion. - 6. Integration af ikke-funktionelle aspekter i Lotos. - 6. 1. Introduktion. - 6. 2. Ikke-funktionelle udvidelser. - 6. 3. Et eksempel. - 6. 4. Egenskaber ved annotationerne. - 6. 5. Konklusion. Sprog: Engelsk