Práce na stejné téma (mají shodná klíčová slova):
formal methodsKlíčová slova abecedně | Klíčová slova dle četnosti
Effectively Combining Static Code Analysis and Manual Code Reviews
(Jan Svoboda)2014, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/jo76f/ | Informatika / Informační systémy | Práce na příbuzné téma
Integrating Static Code Analysis and Defect Tracking
(Jakub Papcun)2014, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/i4jzl/ | Aplikovaná informatika / | Práce na příbuzné téma
Custom Roslyn Tool for Static Code Analysis
(Zuzana Dankovčíková)2017, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/f6oc3/ | Aplikovaná informatika / | Práce na příbuzné téma
Analysis of Decision Model and Notation tooling in the Visual Studio Code ecosystem
(Marcel Mráz)2021, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/l8el6/ | Řízení softwarových systémů a služeb / Řízení vývoje softwarových systémů | Práce na příbuzné téma
Static analysis of Python code
(Jakub Kiska)2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/o01b6/ | Aplikovaná informatika / | Práce na příbuzné téma
Integration of Static Code Analysis into Issue Tracking System
(Markéta Jančová)2018, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//ytevod// | Informační technologie / | Práce na příbuzné téma
Software Reliability Growth Models for Open Source Software
(Radoslav Mičko)2021, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/n1cim/ | Řízení softwarových systémů a služeb / Řízení vývoje softwarových systémů | Práce na příbuzné téma
Methods for software failure-data collection and prediction
(Stanislav Chren)2014, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/j5pe4/ | Informatika / Informační systémy | Práce na příbuzné téma
Testování spolehlivosti software určeného pro detekci osob
(Lukáš Gabko)2019, Diplomová práce, Fakulta aplikované informatiky / Univerzita Tomáše Bati ve Zlíně
• http://theses.cz/id//5bxa2l// | Inženýrská informatika / Bezpečnostní technologie, systémy a management | Práce na příbuzné téma
Exploration of formal methods and their applicability in verification of multiprecision arithmetic libraries
(Himanshu Kumar Haran)2017, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/iqqhj/ | Informatika / Bezpečnost informačních technologií (angl.) | Práce na příbuzné téma