Hlavní stránka > Výsledky hledání: Matalík, Štěpán
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.00 vteřin. 
Framework pro tvorbu a ověřování specifikačních modelů
 Matalík, Štěpán ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce se zabývá objektově orientovanými Petriho sítěmi (OOPN) a tvorbou nástroje pro tvorbu a ověřování specifikačních modelů popsaných OOPN. V první části práce jsou popsány formalismy existujících typů Petriho sítí, včetně OOPN. Další část se zabývá tvorbou editačního nástroje, který také umožňuje spouštění simulačních modelů na vzdáleném serveru. Výstupem editoru je jednak grafická podoba Petriho sítě a také simulační model popsaný jazykem PNtalk, což je konkrétní implementace OOPN založená na jazyku Smalltalk. Simulační modely jsou spouštěny na serveru v prostředí Pharo. Na závěr práce jsou ukázány příklady konkrétních simulací a možná rozšíření nástroje.
Úplný záznam
Framework pro tvorbu a ověřování specifikačních modelů
 Matalík, Štěpán ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce se zabývá objektově orientovanými Petriho sítěmi (OOPN) a tvorbou nástroje pro tvorbu a ověřování specifikačních modelů popsaných OOPN. V první části práce jsou popsány formalismy existujících typů Petriho sítí, včetně OOPN. Další část se zabývá tvorbou editačního nástroje, který také umožňuje spouštění simulačních modelů na vzdáleném serveru. Výstupem editoru je jednak grafická podoba Petriho sítě a také simulační model popsaný jazykem PNtalk, což je konkrétní implementace OOPN založená na jazyku Smalltalk. Simulační modely jsou spouštěny na serveru v prostředí Pharo. Na závěr práce jsou ukázány příklady konkrétních simulací a možná rozšíření nástroje.
Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English