Theses on a related topic (having the same keywords):

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

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Babica, Jindřich
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Message Sequence Chart Properties and Checking Algorithms | Theses on a related topic Display description

2.
Farmadin, Adrian
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Rozšíření Sequence Chart Studia o exportní filtr do LaTeXu | Theses on a related topic

3.
Madzin, Matúš
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Načítání MSC diagramů z textové podoby ITU-T Z.120 | Theses on a related topic

4.
Malota, Milan
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Layout Configuration for Message Sequence Charts | Theses on a related topic

5.
Márton, Tomáš
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Informatics / Computer Systems and Data Processing
Bachelor's thesis defence: Časově závislé rozvržení MSC | Theses on a related topic

6.
Vacek, Václav
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: New checkers for Sequence Chart Studio | Theses on a related topic

7.
Abaffy, Marek
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Optimalizace dlouhodobého IT projektu mobilní aplikace s akcentem na udržitelnost | Theses on a related topic

8.
Beneš, Nikola
Faculty: Faculty of Informatics
Year: 2012, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Disjunctive Modal Transition Systems | Theses on a related topic

9.
Bízik, Vladimír
Faculty: Faculty of Social Studies
Year: 2024, studies under way
Programme/field: International Relations and European Politics / International Relations and European Politics
Doctoral thesis defence: Paths to Pacification: Long-Term Conditions for Global Peace | Theses on a related topic

10.
Borza, Viktor
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Tvorba MSC diagramů ze síťového provozu | Theses on a related topic

11.
Červená, Jarmila
Faculty: Faculty of Arts
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Education / Education
Master's thesis defence: Podmínky pro vzdělávání žáků se zdravotním postižením na základních školách | Theses on a related topic

12.
Greplová, Michaela
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Dealing with Legacy systems and Software Redesign | Theses on a related topic

13.
Grohová, Radka
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Pre-school and After-school Education / Pre-school Teacher Training
Bachelor's thesis defence: Využití podmínek lesní mateřské školy při tvořivých činnostech | Theses on a related topic

14.
Grossmannová, Petra
Faculty: Faculty of Education
Year: 2012, studies completed, degree conferred: Mgr.
Programme/field: Special Education / Special Education
Master's thesis defence: Podmínky inkluzivního vzdělávání žáků se sluchovým postižením | Theses on a related topic

15.
Hamplová, Marcela
Faculty: Faculty of Education
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Pre-school and After-school Education / Pre-school Teacher Training
Bachelor's thesis defence: Možnosti a meze utváření vztahu dětí k přírodě | Theses on a related topic

16.
Hanyková, Michelle-Nicole
Faculty: Faculty of Social Studies
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Social Work / Social Work
Bachelor's thesis defence: Podmínky svěření dětí do výhradní péče otců | Theses on a related topic

17.
Hlaváčková, Tereza
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Pre-school Pedagogy / Pre-school Pedagogy
Master's thesis defence: Podmínky pro vzdělávání dětí od dvou do tří let v mateřské škole | Theses on a related topic

18.
Hocková, Lenka maiden name: Martináková
Faculty: Faculty of Sports Studies
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education (combination/specialization: Training of condition)
Master's thesis defence: Vliv tréninkových podmínek v přípravě předních evropských zápasnic v kvalifikaci na Olympijské hry 2016 | Theses on a related topic

19.
Hradecká, Pavla
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Philology / French Language and Literature
Bachelor's thesis defence: Caractérisation du témoignage indirect en bande dessinée à partir de trois exemples portant sur la Seconde Guerre mondiale | Theses on a related topic

20.
Hudák, Frederik
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Revize aplikace Výpůjčky | Theses on a related topic

21.
Chmelík, Martin
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Deciding Non-local Choice in High-level Message Sequence Charts | Theses on a related topic

22.
Chriašteľ, Peter
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Verifikace kryptografických vlastností platebního protokolu | Theses on a related topic

23.
Jašek, Tomáš
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Informatics / Parallel and Distributed Systems
Bachelor's thesis defence: Improvements of reaching definitions analysis in Symbiotic | Theses on a related topic

24.
Jašek, Tomáš
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Verification of Memory Safety with Predator and Symbiotic | Theses on a related topic

25.
Kohut, Michal
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: OpenIMS Modelling for Performance Analysis | Theses on a related topic

26.
Korenčiak, Ľuboš
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Effective Algorithms for Time Relation Checking in Message Sequence Charts | Theses on a related topic

27.
Kovaříková, Martina
Faculty: Faculty of Arts
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Philology / Russian Language and Literature
Bachelor's thesis defence: Vyjádření podmínky v ruském a českém jazyce | Theses on a related topic

28.
Kratochvíl, Jakub
Faculty: Faculty of Law
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Právní úprava právních úkonů v pracovněprávních vztazích | Theses on a related topic

29.
Krištof, Lukáš
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in Mathematics, Lower Secondary School Teacher Training in Technology and IT Education
Bachelor's thesis defence: Využití Flash pro tvorbu výukových simulací | Theses on a related topic

30.
Křivánek, Martin
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Probabilistic Extension of Message Sequence Chart | Theses on a related topic

31.
Kučová, Adéla
Faculty: Faculty of Education
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education
Bachelor's thesis defence: Individuální podpora dívky s lehkým mentálním postižením a sociálním znevýhodněním | Theses on a related topic

32.
Kulíšek, Samuel
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Formal representation of graphical models of biological systems | Theses on a related topic

33.
Legátová, Tereza
Faculty: Faculty of Law
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: Meze autonomie vůle zůstavitele v dědickém právu | Theses on a related topic

34.
Lofaj, Martin
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: System Engineering and Informatics / Economic Information Systems
Bachelor's thesis defence: Evoluce Legacy systémů s pomocí systémového inženýrství v programových produktech a organizaci práce | Theses on a related topic

35.
Maixner, David
Faculty: Faculty of Informatics
Year: 2004, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Tvorba aplikací v J2EE | Theses on a related topic

36.
Minařík, Ivan
Faculty: Faculty of Sports Studies
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Physical Education and Sport / Lower and Upper Secondary School Teacher Training in Physical Education, Lower Secondary School Teacher Training in Geography
Master's thesis defence: Podmínky pro sportovní a volnočasové aktivity na brněnských univerzitách | Theses on a related topic

37.
Novák, Michal
Faculty: Faculty of Law
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Law and Legal Science / Law
Master's thesis defence: 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 | Theses on a related topic

38.
Nováková, Anna
Faculty: Faculty of Arts
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Philology / Italian Language and Literature
Bachelor's thesis defence: La tetralogia dell’Amica geniale di Elena Ferrante: la vita delle donne in Italia nella seconda metà del Novecento | Theses on a related topic

39.
Pail, Denis
Faculty: Faculty of Sports Studies
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Sports Management / Sports Management
Master's thesis defence: Licence pro stavění lezeckých cest: srovnání požadavků pro její získání ve vybraných zemích | Theses on a related topic

40.
Pastorová, Aneta
Faculty: Faculty of Law
Year: 2024, studies under way
Programme/field: Administrative Law / General Public Administration
Bachelor's thesis defence: Právní aspekty živnostenského podnikání fyzických osob | Theses on a related topic

41.
Pietrzyk, Matúš
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Service Science, Management and Engineering
Master's thesis defence: Automatic Refactoring of Large Codebases | Theses on a related topic
Master's thesis defence: Automatic Refactoring of Large Codebases | Theses on a related topic

42.
Ponteš, Ondrej
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Zvýšenie efektivity používania systému RES-Q | Theses on a related topic

43.
Procházka, Filip
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Refaktorizace balíčků Kdyby | Theses on a related topic

44.
Pruknerová, Tereza
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Special Education / Special Education - Communication Techniques
Bachelor's thesis defence: 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 | Theses on a related topic

45.
Řezníčková, Renata
Faculty: Faculty of Education
Year: 2006, studies completed, degree conferred: Mgr.
Programme/field: Special Education / Special Education (combination/specialization: Více vad)
Master's thesis defence: Úspěšnost integrace žáků s tělesným postižením na prvním a druhém stupni základní školy v regionu Opava | Theses on a related topic

46.
Sedlák, Miroslav
Faculty: Faculty of Informatics
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: C++ Unit testing frameworks | Theses on a related topic

47.
Sodomková, Lenka
Faculty: Faculty of Social Studies
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Social Policy and Social Work / Social Policy and Social Work
Master's thesis defence: Situace v rodinách po výkonu předběžného opatření | Theses on a related topic
Master's thesis defence: Situace v rodinách v období po vydání předběžného opatření | Theses on a related topic

48.
Široký, Jiří
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Computer systems, communication and security / Software systems
Master's thesis defence: From Monolith to Microservices: Refactoring Patterns | Theses on a related topic

49.
Šmijáková, Eva
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Parallel Parameter Synthesis for Hybrid Systems | Theses on a related topic

50.
Štěrbová, Iveta
Faculty: Faculty of Education
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Teacher Training for Primary and Lower Secondary Schools / Lower Secondary School and Language School Teacher Training in English Language
Master's thesis defence: Effective Teaching in a Group versus One-to-One Course at a Language School | Theses on a related topic