Formal Verification of Component Interaction in Component-Based Systems – Mgr. Nikola Beneš, Ph.D.
Mgr. Nikola Beneš, Ph.D.
Advanced ('rigorózní') thesis
Formal Verification of Component Interaction in Component-Based Systems
Formal Verification of Component Interaction in Component-Based Systems
Anotácia:
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 …viacAbstract:
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 …viac
Jazyk práce: English
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
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 informatikyMasaryk University
Faculty of InformaticsAdvanced ('rigorózní řízení') programme / odbor:
Informatics / Informatics
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