logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-05262015-114605


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
Parole chiave
  • component-based development
  • composition
  • coordination
  • Interface theory
  • 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
File