Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction – RNDr. Barbora Zimmerová, Ph.D.
RNDr. Barbora Zimmerová, Ph.D.
Disertační práce
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
Anotace:
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 …víceAbstract:
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 …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 23. 10. 2008
Identifikátor:
https://is.muni.cz/th/kg5h8/
Obhajoba závěrečné práce
- Obhajoba proběhla 24. 10. 2008
- Vedoucí: prof. Ing. Jiří Sochor, CSc.
- Oponent: prof. Ing. František Plášil, DrSc., prof. Dr. Ralf Reussner
Citační záznam
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyDoktorský studijní program / obor:
Informatika (čtyřleté) / Informatika
Práce na příbuzné téma
-
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č