1. Integrazione delle specifiche operative con la modellazione delle prestazioni. - 1. 1. Introduzione. - 1. 2. Metodologia di progettazione a supporto della continuità del modello. - 1. 3. Simulazione integrata di carte di stato e ADEPT. - 1. 4. Temporizzazione funzionale. - 1. 5. Annotazione delle prestazioni. - 1. 6. Conformità. - 1. 7. Risultati. - 1. 8. Riassunto e conclusioni. - Appendice A:. - Appendice B: ADEPT. - Appendice C: VHDL. - Appendice D: Implementazione della metodologia. - 2. Un modello e un metodo di prestazioni a livello di sistema. - 2. 1. Introduzione. - 2. 2. Obiettivo della modellazione delle prestazioni del sistema. - 2. 3. Opere correlate. - 2. 4. Presentazione del Metodo. - 2. 5. Criteri e qualità di un modello di performance. - 2. 6. Concetti principali del modello di performance MCSE. - 2. 7. Descrizione del modello strutturale. - 2. 8. Descrizione del modello comportamentale. - 2. 9. Processo di modellazione delle prestazioni: un esempio illustrativo. - 2. 10. Valutazione delle prestazioni con VHDL. - 2. 11. Confronto con altri modelli. - 2. 12. Vantaggi del nostro approccio. - 2. 13. Conclusioni. - 3. Una visione della modellazione dell'informazione. - 3. 1. Modellazione dell'informazione. - 3. 2. L'anatomia di un modello informativo. - 3. 3. Modellazione sintattica e semantica. - 3. 4. Problemi di modellazione. - 3. 5. Costruzione di un modello dello spazio euclideo 2D. - 3. 6. Convalida del modello. - 3. 7. Navigazione qualitativa e quantitativa. - 3. 8. Costruire un modello del tempo. - 3. 9. Prospettive di modellazione. - 3. 10. Gerarchie dei modelli. - 3. 11. Integrazione dei modelli. - 3. 12. Applicazioni. - 3. 13. Conclusioni. - Appendice A: Convalida del modello spaziale. - Appendice B: Validazione del modello temporale. - 4. Una metodologia per la specificazione delle trasformazioni tra modelli informativi. - 4. 1. Introduzione. - 4. 2. Lavoro correlato. - 4. 3. Espresso. - 4. 4. La metodologia del modello di base. - 4. 5. Modelli informativi di CFI e EDIF. - 4. 6. Un modello di base per EDIF e CFI. - 4. 7. Conclusioni. - 5. Modellazione dei dati di progettazione e dei processi di progettazione nel framework CAD PLAYOUT. - 5. 1. Introduzione. - 5. 2. Modello del prodotto. - 5. 3. Modello di attività. - 5. 4. Modello di flusso. - 5. 5. Combinare la gestione dei dati e dei processi. - 5. 6. Conclusioni. Lingua: Inglese