Rigorózní práce

Formal Verification of Component Interaction in Component-Based Systems

Mgr. Nikola Beneš, učo 72525
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íce

Abstract

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

Klíčová slova
formal verification component-based development model checking component interaction
Administrativní informace
Práce zkontrolována:
2. 2. 2009 13:58, (IS automaticky)
Plný text práce
200,7 KB / soubor PDF
Jazyk práce
angličtina angličtina
Termín obhajoby
12. 1. 2009
Práce byla úspěšně obhájena

Oponenti

Autor posudku dosud neidentifikován.
Autor posudku dosud neidentifikován.
Citovat tuto práci
Masarykova univerzita Fakulta informatiky
Studijní program
Informatika
Obor

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

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

Podobné práce

  • 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.