Informační systém Masarykovy univerzity 

Archiv závěrečné práce Tomáš Janoušek FI B-AP BcAP

česky | in English

Agenda:
Změnit agendu. Adresa v ISu:

Masarykova univerzita

Fakulta informatiky

bakalářský studijní program/obor:
Aplikovaná informatika/Aplikovaná informatika

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

Zobrazit popisek

Bc. Tomáš Janoušek

Návrh modelovacího jazyka nástroje DiVinE

Design of a modelling language for DiVinE

Anotace: Práce se zabývá návrhem nového modelovacího jazyka pro verifikační nástroj DiVinE. V teoretické části shrnuje několik již existujících jazyků a diskutuje, proč nejsou dostatečné. Zbytek práce se věnuje návrhu a implementaci nového jazyka, který je koncipován jako vnořené DSL do Haskellu. V závěrečné části jsou popsány mechanismy, jak modely v takovém jazyce zkompilovat a použít v nástroji DiVinE.

Abstract: The thesis deals with a design of new modelling language for the DiVinE toolset. Theoretical part summarizes a few existing modelling languages and discusses their limitations. The rest of the thesis focuses on the design and implementation of this new language which is a DSL embedded into Haskell. The final part describes the technology that enables models in this language to be compiled and used from within the DiVinE toolset.

DiVinE, Haskell, EDSL, ověřování modelů, model checker, modelovací jazyk

Zadání: Cílem bakalářské práce je porovnat stávající modelovací jazyk (DVE) verifikačního nástroje DiVinE s jiným, v praxi používaným, modelovacím jazykem (například Promelou), identifikovat nedostatky stávajícího jazyka, navrhnout rozšíření anebo jazyk nový, který tyto nedostatky odstraní, a toto následně implementovat. Výstup práce bude zahrnovat funkční interpret navrženého jazyka s možností vizualizace …více

Jazyk práce: čeština

  • Zadáno/změněno 22. 6. 2010 08:28, Eva Drštková
  • Záznam založen 26. 11. 2009 14:17, Jana Zemanová
  • Zveřejnit od 27. 5. 2010 14:43, Dušan Hrstka
  • Práce převzata 27. 5. 2010 14:43, Dušan Hrstka

Obhajoba bakalářské práce

  • Proběhla 21. 6. 2010, práce byla úspěšně obhájena.

Vedoucí:

  • doc. RNDr. Jiří Barnat, Ph.D., KTP FI MU

Oponent:

Plný text práce

Citační záznam

Citace dle ISO 690: LaTeX | HTML | text | BibTeX

Kontrola závěrečné práce

Práce zkontrolována: 28. 5. 2010 08:35, doc. RNDr. Jiří Barnat, Ph.D.


Nástroje.Seřadit vzestupně.Seřadit sestupně. Spočítat nepřečtené soubory ve složkách. Spočítat velikost složek. Zobrazit mapu souborů. Napřed složky, pak soubory.Seřadit vzestupně.Seřadit sestupně. Složka či souborSeřadit vzestupně.Seřadit sestupně. Vložil/aSeřadit vzestupně.Seřadit sestupně. VloženoSeřadit vzestupně.Seřadit sestupně. Expirace: Seřadit vzestupně.Expirace: Seřadit sestupně.
Nástroje.  Archiv závěrečné práce Tomáš Janoušek FI B-AP BcAP /fi_b/Janoušek, T.27.  5. 2010
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje./3Obsah CD /13610516/Janoušek, T.27.  5. 2010
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Anotace anglicky annotation_english.txtJanoušek, T.27.  5. 2010
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Anotace česky annotation.txtJanoušek, T.27.  5. 2010
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Klíčová slova keywords.txtJanoušek, T.27.  5. 2010
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje. posudek_oponenta.pdf posudek_oponenta.pdfRočkai, P.14.  6. 2010
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Soubor je nepřístupný.posudek_vedouciho.pdf posudek_vedouciho.pdfBarnat, J.14.  6. 2010
Číst smí:
• kdokoliv přihlášený v ISu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje. thesis.pdfJanoušek, T.27.  5. 2010
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Prohlédnout tuto složku po přihlášení do ISu (znáte-li svoje heslo do ISu, můžete zde vidět více souborů)

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 24. 5. 2012 15:14, 21. (lichý) týden

Kontakty: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, studijní odd., správci práv, is-technici, e-technici, IT podpora | Více o informačním systému