Disertační práce
Získaná ocenění: Ocenění děkana FI za vynikající disertační práci

Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction

RNDr. Barbora Zimmerová
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íce

Abstract

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

Klíčová slova
Component-based systems component interaction automata-based modelling formal analysis component equivalence substitutability.
Administrativní informace
Práce zkontrolována:
24. 10. 2008 06:17, (IS automaticky)
Plný text práce
1,5 MB / soubor PDF
Jazyk práce
angličtina angličtina
Termín obhajoby
24. 10. 2008
Práce byla úspěšně obhájena

Vedoucí

prof. Ing. Jiří Sochor, CSc.
KVI FI MU

Oponenti

prof. Ing. František Plášil, DrSc.
prof. Dr. Ralf Reussner
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Informatika (čtyřleté)
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce
 
Název
Vložil
Vloženo
Práva
Archiv závěrečné práce Barbora Zimmerová FI D-IN4 IN kg5h8/9
Zimmerová, B.
3. 6. 2008
Složky
Soubory
Anotace anglicky annotation_english.txt
Zimmerová, B.
3. 6. 2008
Anotace česky annotation.txt
Komárková, D.
23. 10. 2008
Klíčová slova keywords.txt
Zimmerová, B.
3. 6. 2008
posudek_oponenta.jpg
Komárková, D.
23. 10. 2008
posudek_oponenta_2.jpg
Komárková, D.
23. 10. 2008
posudek_oponenta_3.jpg
Komárková, D.
23. 10. 2008
posudek_oponenta_4.jpg
Komárková, D.
23. 10. 2008
thesis.pdf
Zimmerová, B.
3. 6. 2008

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.