Mgr. Barbora Zimmerová, Ph.D.

Advanced ('rigorózní') thesis

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, …more
 

Keywords

Component-based systems component interaction formal analysis component substitutability.
 
Language used: English
Date on which the thesis was submitted / produced: 21. 4. 2008
Identifier: https://is.muni.cz/th/c42fz/

Thesis defence

  • Date of defence: 21. 4. 2008

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution