Formal Verification of Component Interaction in Component-Based Systems – Mgr. Nikola Beneš, Ph.D.
Mgr. Nikola Beneš, Ph.D.
Rigorózní práce
Formal Verification of Component Interaction in Component-Based Systems
Formal Verification of Component Interaction in Component-Based Systems
Anotace:
V posledních letech se techniky komponentového vývoje stávají běžnou praxí při vytváření rozsáhlých softwarových systémů. Hlavní myšlenkou je vyvíjet systém tak, že jsou hierarchicky skládány autonomní komponenty. Přestože tento přístup má mnohé výhody, je zde potřeba zaručení správnosti a bezchybnosti těchto komponent. Protože každá komponenta je autonomní, má tento problém dvě části -- korektnost …víceAbstract:
Throughout the recent years, the techniques of component-based development are becoming a common practice in the area of large-scale software systems. The main idea is developing software systems by taking autonomous components, and composing them in a hierarchical way. Although this approach has many advantages, there is a need for ensuring correctness and faultlessness of such components. As every …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 12. 1. 2009
Identifikátor:
https://is.muni.cz/th/ur7d1/
Obhajoba závěrečné práce
- Obhajoba proběhla 12. 1. 2009
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
-
Component-based UI Web Development
Marcel Mráz -
ReactJS as a tool for component-based web applications development
Adam Peklák -
Formal Analysis of Component-Based Systems in View of Component Interactions
Barbora Zimmerová -
Interface-Based Software Development
Aziz Rais -
CTL Model Checking for Petri Nets and the Arithmetical Hierarchy
Jan Mačák -
Model Checking Based Parameter Synthesis of Dynamical Systems in Biology
Martin Demko -
Symbolic Model Checking of Hybrid CTL
Ondřej Huvar -
Automating Software Development with Explicit Model Checking
Petr Bauch