Theses 

Formal Analysis of Component-Based Systems in View of Component Interactions – Mgr. Barbora Zimmerová, Ph.D.

česky | in English | slovensky

Agenda:
Změnit agendu. Adresa v ISu:

Mgr. Barbora Zimmerová, Ph.D.

Rigorózní práce

Formal Analysis of Component-Based Systems in View of Component Interactions

Formal Analysis of Component-Based Systems in View of Component Interactions

Abstract: With increasing use of component-based and service-oriented principles in practical software development process, new issues demanding application of formal methods in this domain arise. A great number of problems may be identified in a specific domain of component interactions (interconnection logic among components which cooperate together to deliver expected results). Let us name, for instance, the problems of component substitutability, assembly strategies, or component placement in distributed environment. This thesis overvies the area of component-interaction modelling and proposes directions for further research in the area. It discusses our preliminary solutions to the recognized issues, and includes a number of original papers summarizing our results in this research.

Keywords: Component-based systems, component interaction, formal analysis, component substitutability.

Jazyk práce: angličtina

Obhajoba závěrečné práce

  • Obhajoba proběhla 21. 4. 2008

Citační záznam

Citace dle ISO 690: LaTeX | HTML | text | BibTeX | Wikipedie

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Složka Odkaz na adresář do lokálního úložiště instituce
Jak jinak získat přístup k textu

Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 16. 7. 2019 03:08, 29. (lichý) týden

Soukromí

Kontakty: theses(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz