Práce na příbuzné téma (mají shodná klíčová slova):

refactoring, sequence chart studio, local actions, formal methods, conditions, message sequence chart

Klíčová slova abecedně | Klíčová slova dle četnosti

1.
Babica, Jindřich
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Informatika
Obhajoba diplomové práce: Message Sequence Chart Properties and Checking Algorithms | Práce na příbuzné téma Zobrazit popisek

2.
Farmadin, Adrian
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Rozšíření Sequence Chart Studia o exportní filtr do LaTeXu | Práce na příbuzné téma

3.
Madzin, Matúš
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Načítání MSC diagramů z textové podoby ITU-T Z.120 | Práce na příbuzné téma

4.
Malota, Milan
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Layout Configuration for Message Sequence Charts | Práce na příbuzné téma

5.
Márton, Tomáš
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Počítačové systémy a zpracování dat
Obhajoba bakalářské práce: Časově závislé rozvržení MSC | Práce na příbuzné téma

6.
Vacek, Václav
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: New checkers for Sequence Chart Studio | Práce na příbuzné téma

7.
Abaffy, Marek
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Optimalizace dlouhodobého IT projektu mobilní aplikace s akcentem na udržitelnost | Práce na příbuzné téma

8.
Beneš, Nikola
Fakulta: Fakulta informatiky
Rok: 2012, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Informatika (čtyřleté) / Informatika
Obhajoba disertační práce: Disjunctive Modal Transition Systems | Práce na příbuzné téma

9.
Bízik, Vladimír
Fakulta: Fakulta sociálních studií
Rok: 2024, studium úspěšně absolvováno, udělen titul: Ph.D.
Program/obor Mezinárodní vztahy a evropská politika / Mezinárodní vztahy a evropská politika
Obhajoba disertační práce: Paths to Pacification: Long-Term Conditions for Global Peace | Práce na příbuzné téma

10.
Borza, Viktor
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Tvorba MSC diagramů ze síťového provozu | Práce na příbuzné téma

11.
Červená, Jarmila
Fakulta: Filozofická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Pedagogika / Pedagogika
Obhajoba diplomové práce: Podmínky pro vzdělávání žáků se zdravotním postižením na základních školách | Práce na příbuzné téma

12.
Greplová, Michaela
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Ing.
Program/obor Softwarové inženýrství / Návrh a vývoj softwarových systémů
Obhajoba diplomové práce: Dealing with Legacy systems and Software Redesign | Práce na příbuzné téma

13.
Grohová, Radka
Fakulta: Pedagogická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Předškolní a mimoškolní pedagogika / Učitelství pro mateřské školy
Obhajoba bakalářské práce: Využití podmínek lesní mateřské školy při tvořivých činnostech | Práce na příbuzné téma

14.
Grossmannová, Petra
Fakulta: Pedagogická fakulta
Rok: 2012, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba diplomové práce: Podmínky inkluzivního vzdělávání žáků se sluchovým postižením | Práce na příbuzné téma

15.
Hamplová, Marcela
Fakulta: Pedagogická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Předškolní a mimoškolní pedagogika / Učitelství pro mateřské školy
Obhajoba bakalářské práce: Možnosti a meze utváření vztahu dětí k přírodě | Práce na příbuzné téma

16.
Hlaváčková, Tereza
Fakulta: Pedagogická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Předškolní pedagogika / Předškolní pedagogika
Obhajoba diplomové práce: Podmínky pro vzdělávání dětí od dvou do tří let v mateřské škole | Práce na příbuzné téma

17.
Hocková, Lenka roz. Martináková
Fakulta: Fakulta sportovních studií
Rok: 2018, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Učitelství tělesné výchovy pro základní a střední školy (kombinace/zaměření: Kondiční trenér)
Obhajoba diplomové práce: Vliv tréninkových podmínek v přípravě předních evropských zápasnic v kvalifikaci na Olympijské hry 2016 | Práce na příbuzné téma

18.
Hradecká, Pavla
Fakulta: Filozofická fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Francouzský jazyk a literatura
Obhajoba bakalářské práce: Caractérisation du témoignage indirect en bande dessinée à partir de trois exemples portant sur la Seconde Guerre mondiale | Práce na příbuzné téma

19.
Hudák, Frederik
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Umělá inteligence a zpracování přirozeného jazyka
Obhajoba bakalářské práce: Revize aplikace Výpůjčky | Práce na příbuzné téma

20.
Chmelík, Martin
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Deciding Non-local Choice in High-level Message Sequence Charts | Práce na příbuzné téma

21.
Chriašteľ, Peter
Fakulta: Fakulta informatiky
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Verifikace kryptografických vlastností platebního protokolu | Práce na příbuzné téma

22.
Jašek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2018, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba bakalářské práce: Improvements of reaching definitions analysis in Symbiotic | Práce na příbuzné téma

23.
Jašek, Tomáš
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Verification of Memory Safety with Predator and Symbiotic | Práce na příbuzné téma

24.
Kohut, Michal
Fakulta: Fakulta informatiky
Rok: 2013, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: OpenIMS Modelling for Performance Analysis | Práce na příbuzné téma

25.
Korenčiak, Ľuboš
Fakulta: Fakulta informatiky
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Paralelní a distribuované systémy
Obhajoba diplomové práce: Effective Algorithms for Time Relation Checking in Message Sequence Charts | Práce na příbuzné téma

26.
Kovaříková, Martina
Fakulta: Filozofická fakulta
Rok: 2013, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Ruský jazyk a literatura
Obhajoba bakalářské práce: Vyjádření podmínky v ruském a českém jazyce | Práce na příbuzné téma

27.
Kratochvíl, Jakub
Fakulta: Právnická fakulta
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Právní úprava právních úkonů v pracovněprávních vztazích | Práce na příbuzné téma

28.
Krištof, Lukáš
Fakulta: Pedagogická fakulta
Rok: 2010, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Specializace v pedagogice / Pedagogické asistentství matematiky pro základní školy, Pedagogické asistentství technické a informační výchovy pro základní školy
Obhajoba bakalářské práce: Využití Flash pro tvorbu výukových simulací | Práce na příbuzné téma

29.
Křivánek, Martin
Fakulta: Fakulta informatiky
Rok: 2009, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Informatika
Obhajoba bakalářské práce: Probabilistic Extension of Message Sequence Chart | Práce na příbuzné téma

30.
Kučová, Adéla
Fakulta: Pedagogická fakulta
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika
Obhajoba bakalářské práce: Individuální podpora dívky s lehkým mentálním postižením a sociálním znevýhodněním | Práce na příbuzné téma

31.
Kulíšek, Samuel
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Formal representation of graphical models of biological systems | Práce na příbuzné téma

32.
Legátová, Tereza
Fakulta: Právnická fakulta
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Meze autonomie vůle zůstavitele v dědickém právu | Práce na příbuzné téma

33.
Lofaj, Martin
Fakulta: Ekonomicko-správní fakulta
Rok: 2014, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Systémové inženýrství a informatika / Ekonomické informační systémy
Obhajoba bakalářské práce: Evoluce Legacy systémů s pomocí systémového inženýrství v programových produktech a organizaci práce | Práce na příbuzné téma

34.
Maixner, David
Fakulta: Fakulta informatiky
Rok: 2004, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Tvorba aplikací v J2EE | Práce na příbuzné téma

35.
Minařík, Ivan
Fakulta: Fakulta sportovních studií
Rok: 2011, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Tělesná výchova a sport / Učitelství tělesné výchovy pro základní a střední školy, Učitelství zeměpisu pro základní školy
Obhajoba diplomové práce: Podmínky pro sportovní a volnočasové aktivity na brněnských univerzitách | Práce na příbuzné téma

36.
Nosál Hanyková, Michelle-Nicole
Fakulta: Fakulta sociálních studií
Rok: 2023, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Sociální práce / Sociální práce
Obhajoba bakalářské práce: Podmínky svěření dětí do výhradní péče otců | Práce na příbuzné téma

37.
Novák, Michal
Fakulta: Právnická fakulta
Rok: 2015, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Právo a právní věda / Právo
Obhajoba diplomové práce: Právní úprava držení a nošení střelných zbraní k ochraně života, zdraví a majetku z pohledu správního práva | Práce na příbuzné téma

38.
Nováková, Anna
Fakulta: Filozofická fakulta
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Filologie / Italský jazyk a literatura
Obhajoba bakalářské práce: La tetralogia dell’Amica geniale di Elena Ferrante: la vita delle donne in Italia nella seconda metà del Novecento | Práce na příbuzné téma

39.
Pail, Denis
Fakulta: Fakulta sportovních studií
Rok: 2021, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Management sportu / Management sportu
Obhajoba diplomové práce: Licence pro stavění lezeckých cest: srovnání požadavků pro její získání ve vybraných zemích | Práce na příbuzné téma

40.
Pietrzyk, Matúš
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Služby - výzkum, řízení a inovace
Obhajoba diplomové práce: Automatic Refactoring of Large Codebases | Práce na příbuzné téma
Obhajoba diplomové práce: Automatic Refactoring of Large Codebases | Práce na příbuzné téma

41.
Ponteš, Ondrej
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Zvýšenie efektivity používania systému RES-Q | Práce na příbuzné téma

42.
Potáčová, Aneta
Fakulta: Právnická fakulta
Rok: 2024, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Veřejná správa / Všeobecná veřejná správa
Obhajoba bakalářské práce: Právní aspekty živnostenského podnikání fyzických osob | Práce na příbuzné téma

43.
Procházka, Filip
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba bakalářské práce: Refaktorizace balíčků Kdyby | Práce na příbuzné téma

44.
Pruknerová, Tereza
Fakulta: Pedagogická fakulta
Rok: 2020, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Speciální pedagogika / Speciální pedagogika - komunikační techniky
Obhajoba bakalářské práce: Podmínky vzdělávání žáků s přiznaným 5. stupněm podpůrných opatření v běžných základních školách | Práce na příbuzné téma

45.
Řezníčková, Renata
Fakulta: Pedagogická fakulta
Rok: 2006, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Speciální pedagogika / Speciální pedagogika (kombinace/zaměření: Více vad)
Obhajoba diplomové práce: Úspěšnost integrace žáků s tělesným postižením na prvním a druhém stupni základní školy v regionu Opava | Práce na příbuzné téma

46.
Sedlák, Miroslav
Fakulta: Fakulta informatiky
Rok: 2010, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: C++ Unit testing frameworks | Práce na příbuzné téma

47.
Sodomková, Lenka
Fakulta: Fakulta sociálních studií
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Sociální politika a sociální práce / Sociální politika a sociální práce
Obhajoba diplomové práce: Situace v rodinách po výkonu předběžného opatření | Práce na příbuzné téma
Obhajoba diplomové práce: Situace v rodinách v období po vydání předběžného opatření | Práce na příbuzné téma

48.
Široký, Jiří
Fakulta: Fakulta informatiky
Rok: 2022, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Počítačové systémy, komunikace a bezpečnost / Softwarové systémy
Obhajoba diplomové práce: From Monolith to Microservices: Refactoring Patterns | Práce na příbuzné téma

49.
Šmijáková, Eva
Fakulta: Fakulta informatiky
Rok: 2019, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Aplikovaná informatika / Aplikovaná informatika
Obhajoba diplomové práce: Parallel Parameter Synthesis for Hybrid Systems | Práce na příbuzné téma

50.
Štěrbová, Iveta
Fakulta: Pedagogická fakulta
Rok: 2009, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Učitelství pro základní školy / Učitelství anglického jazyka pro základní a jazykové školy
Obhajoba diplomové práce: Effective Teaching in a Group versus One-to-One Course at a Language School | Práce na příbuzné téma