Tesi etd-05262015-114605 |
Link copiato negli appunti
Tipo di tesi
Tesi di dottorato di ricerca
Autore
DONG, RUZHEN
URN
etd-05262015-114605
Titolo
A Theory of Interface Modeling of Component-Based Software
Settore scientifico disciplinare
INF/01
Corso di studi
SCIENZE DI BASE "GALILEO GALILEI"
Relatori
tutor Prof. Liu, Zhiming
relatore Prof. Montangero, Carlo
relatore Prof. Montangero, Carlo
Parole chiave
- coordination
- composition
- Interface theory
- component-based development
- refinement
Data inizio appello
23/07/2015
Consultabilità
Completa
Riassunto
Abstract,
rCOS
Automata-based Model of Components,
Trace-based Model of Components
Coordination,
Conclusion and Futur Work
rCOS
Automata-based Model of Components,
Trace-based Model of Components
Coordination,
Conclusion and Futur Work
File
| Nome file | Dimensione |
|---|---|
| main.pdf | 929.51 Kb |
Contatta l’autore |
|