Informační systém Masarykovy univerzity 

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

IS MU

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

Složka /th/207561/fi_b/  Archiv závěrečné práce Tomáš Janoušek FI B-AP BcAP /fi_b/
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.  Obsah 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.divine-2-snapshot-2010-05-23.tar.gzJanouš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.edsl.tar.gzJanouš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.thesis.tar.gzJanouš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:16, 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