Residue Component Synthesis for Handshake Composition – Mgr. Filip Štefaňák
Mgr. Filip Štefaňák
Bakalářská práce
Residue Component Synthesis for Handshake Composition
Residue Component Synthesis for Handshake Composition
Anotace:
Cieľom práce je prezentovať algoritmus pre syntézu komponenty väčšieho systému. Systém je vytvorený zložením z dvoch komponent špecifikovaných formálnym jazykom za použitia asynchrónnej, tzv. handshake kompozície. Vstupom algoritmu sú špecifikácie systému a jednej komponenty. Algoritmus vytvorí druhú komponentu tak, aby jej kompozícia s poskytnutou komponentou tvorila systém, ktorý vyhovuje špecifikácii …víceAbstract:
The objective of this thesis is to devise an algorithm for synthesis of a component for larger system. The system is composed of two components specified by a formal language using an asynchronous handshake composition. Inputs of the algorithm are specifications of the system and one component. The algorithm synthesizes the residue component so that their composition with the provided component yields …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 20. 5. 2010
Identifikátor:
https://is.muni.cz/th/jlht2/
Obhajoba závěrečné práce
- Obhajoba proběhla 23. 6. 2010
- Vedoucí: prof. RNDr. Ivana Černá, CSc.
- Oponent: RNDr. Vojtěch Řehák, Ph.D.
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 informatikyBakalářský studijní program / obor:
Informatika / Informatika
Práce na příbuzné téma
- Žádné práce na příbuzné téma.