logo SBA

ETD

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

Tesi etd-05262015-114605

Link copiato negli appunti
Tipo di tesi
Tesi di dottorato di ricerca
URN
etd-05262015-114605
Titolo
A Theory of Interface Modeling of Component-Based Software
Settore scientifico disciplinare
INF/01 - INFORMATICA
Corso di studi
SCIENZE DI BASE "GALILEO GALILEI"
Parole chiave
  • component-based development
  • composition
  • coordination
  • Interface theory
  • refinement
Data inizio appello
23/07/2015
Consultabilità
Completa
Riassunto (Inglese)
Riassunto (Italiano)
Abstract,
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