Formal Analysis of Component-Based Systems in View of Component Interactions – Mgr. Barbora Zimmerová, Ph.D.
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, …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 21. 4. 2008
Identifikátor:
https://is.muni.cz/th/c42fz/
Obhajoba závěrečné práce
- Obhajoba proběhla 21. 4. 2008
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 informatikyRigorózní řízení / obor:
Informatika / Informatika
Práce na příbuzné téma
-
Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction
Barbora Zimmerová -
Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction
Barbora Zimmerová -
Formal Verification of Component Interaction in Component-Based Systems
Nikola Beneš -
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