Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction – RNDr. Barbora Zimmerová, Ph.D.
RNDr. Barbora Zimmerová, Ph.D.
Doctoral thesis
Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction
Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction
Abstract:
Vývoj bezchybných komponentových systémů je velice obtížný úkol z důvodu vysoké pravděpodobnosti konfliktů ve vzájemné interakci komponent, které jsou z principu komponentového vývoje vytvořeny nezávisle na sobě. Vzhledem k rostoucím možnostem výpočetní techniky se pro řešení tohoto úkolu nabízí využití automatizovaných formálních metod. Před samotnou aplikací formálních metod je však třeba vytvořit …moreAbstract:
Construction of flawless component-based systems is in principle a non-trivial task, due to a high possibility of discrepancies in interaction of components, caused by missing information about their deployment context at design time. At the same time, growing computational capacity of today's computers creates scope for automated formal analysis of large-scale systems, which could help to support …more
Language used: English
Date on which the thesis was submitted / produced: 23. 10. 2008
Identifier:
https://is.muni.cz/th/kg5h8/
Thesis defence
- Date of defence: 24. 10. 2008
- Supervisor: prof. Ing. Jiří Sochor, CSc.
- Reader: prof. Ing. František Plášil, DrSc., prof. Dr. Ralf Reussner
Citation record
ISO 690-compliant citation record:
ZIMMEROVÁ, Barbora. \textit{Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction}. Online. Doctoral theses, Dissertations. Brno: Masaryk University, Faculty of Informatics. 2008. Available from: https://theses.cz/id/k8mnec/.
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 informatikyMasaryk University
Faculty of InformaticsDoctoral programme / field:
Informatics (4-years) / Informatics
Theses on a related topic
-
Formal Analysis of Component-Based Systems in View of Component Interactions
Barbora Zimmerová -
Formal Analysis of Rule-Based Models in Systems Biology
Matej Troják -
Formal Analysis of Stochastic Discrete Event Systems
Jan Krčál -
Formal Analysis of Discrete-Event Systems with Hard Real-Time Bounds
Jan Krčál -
Boolean Matrix Factorization and Biclustering in Framework of Formal Concept Analysis
Roman VYJÍDÁČEK -
Two basic problems of incremental construction in Formal Concept Analysis
Martin KAUER -
Formal Analysis of Component-Based Systems in View of Component Interactions
Barbora Zimmerová -
Computational analysis and model integration of biorhythmic systems
Jakub Šalagovič