• GIMPLE Model Checker 

      Defence status: DEFENDED
      Krč-Jediný, Ondrej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
      Date of defense: 31. 1. 2011
      Název práce: GIMPLE Model Checker Autor: Ondrej Krč-Jediný Katedra (ústav): Katedra distribuovaných a spolehlivých systémů Vedoucí diplomové práce: RNDr. Ondřej Šerý Ph.D. e-mail vedoucího: Ondrej.Sery@mff.cuni.cz Abstrakt: ...
    • Interpretr stavových automatů popsaných jazykem SCXML 

      Defence status: DEFENDED
      Baláž, Ján (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
      Date of defense: 21. 6. 2010
      V súčasnosti vzniká potreba pristupovať ku rôznym programátorským úlohám alternatívnymi postupmi. Jedným z takýchto postupov je zápis pomocou stavových automatov. Ako riešenie sa ukazuje novo vznikajúci štandard W3 Consorcia, ...
    • Interpretr stavových automatů popsaných jazykem SCXML 

      Defence status: FAILED
      Baláž, Ján (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
      Date of defense: 10. 2. 2010
      V súčasnosti vzniká potreba pristupovať ku roznym programátorským úlohám alternatívnymi postupmi. Jedným z takýchto postupov je zápis pomocou stavových automatov. Ako riešenie sa ukazuje novo vznikajúci štandard W3 Consorcia, ...
    • Investment Strategies Simulator 

      Defence status: DEFENDED
      Helešic, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
      Date of defense: 9. 2. 2011
      Název práce: Simulátor obchodních strategií Autor: Tomáš Helešic Katedra (ústav): Katedra softwarového inženýrství Vedoucí bakalářské práce: RNDr. Ondřej Šerý e-mail vedoucího: ondrej.sery@d3s.mff.cuni.cz Abstrakt: Předmětem ...
    • Memory Representation for Model Checker of C/C++ 

      Defence status: DEFENDED
      Kouba, Jan (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
      Date of defense: 2. 2. 2010
      V předložené práci je popsán návrh a C++ implementace nově vytvořeného paměťového modulu, který bude použit k reprezentaci paměti zkoumaného programu v GIMPLE Model Checkeru (explicit state model checkeru). Modul se liší ...
    • Presenting results of software model checker via debugging interface 

      Defence status: DEFENDED
      Kohan, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)
      Date of defense: 3. 9. 2012
      Název práce: Prezentace výsledků kontroly softwarového modelu skrz ladící rozhraní Autor: Tomáš Kohan Katedra: Katedra softwarového inženýrství Vedoucí diplomové práce: RNDr. Ondřej Šerý, Ph.D., Katedra distribuovaných a ...
    • Presenting results of software model checker via debugging interface 

      Defence status: FAILED
      Kohan, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)
      Date of defense: 28. 5. 2012
      Název práce: Prezentace výsledků kontroly softwarového modelu skrz ladící rozhraní Autor: Tomáš Kohan Katedra: Katedra softwarového inženýrství Vedoucí diplomové práce: RNDr. Ondřej Šerý, Ph.D., Katedra distribuovaných a ...
    • Sewing pattern editor 

      Defence status: DEFENDED
      Černý, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
      Date of defense: 22. 6. 2009
      Konstrukce střihů je základní součástí oděvního návrhářství. Předmětem této práce je implementace editoru textilních střihů, který by vyhovoval potřebám nezávislých oděvních návrhářů a výrobců zakázkového šatstva. Práce v ...
    • Simulátor obchodních strategií 

      Defence status: FAILED
      Helešic, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
      Date of defense: 16. 9. 2010
      Předmětem této práce je vytvoření simulátoru obchodních strategií. Výsledný program umožňuje uživatelům stahovat aktuální i historická burzovní data, vizualizovat je pomocí grafů a implementovat na ně prostředky technické ...
    • Software pro rozvrhování operací a evidence nástrojů pro nemocniční zařízení 

      Defence status: DEFENDED
      Tupec, Pavel (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
      Date of defense: 17. 9. 2010
      V současné době je ve většině nemocničních zařízeních vytvářen denní rozvrh pro operační sály ručně, nebo jen s minimálním využitím softwarových nástrojů. Důsledkem toho je občasná neefektivita rozvrhů a hlavně značná ...
    • State Space Symmetry Reduction for TBP Analysis 

      Defence status: DEFENDED
      Černý, Ondřej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
      Date of defense: 5. 9. 2011
      Threaded Behavior Protocols (TBP) je specifikační jazyk pro modelování chování softwarových komponent. Tato práce se zaměřuje na analýzu TBP specifikací v rámci prostředí, která obsahují neomezené množšví replikovaných ...
    • Unit checking for Java IDE 

      Defence status: DEFENDED
      Kebrt, Michal (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
      Date of defense: 7. 9. 2009
      Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., veri cation of device drivers by SLAM), the code model checking tools are not widely used in general software ...

      © 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 560/5, 116 36 Praha 1; email: admin-repozitar [at] cuni.cz

      Za dodržení všech ustanovení autorského zákona jsou zodpovědné jednotlivé složky Univerzity Karlovy. / Each constituent part of Charles University is responsible for adherence to all provisions of the copyright law.

      Upozornění / Notice: Získané informace nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora. / Any retrieved information shall not be used for any commercial purposes or claimed as results of studying, scientific or any other creative activities of any person other than the author.

      DSpace software copyright © 2002-2015  DuraSpace
      Theme by 
      @mire NV