Práce na stejné téma (mají shodná klíčová slova):
staticka analyza programuKlíčová slova abecedně | Klíčová slova dle četnosti
Knihovna pro statickou analýzu programu
(Jan HOLCMAN)2022, Bakalářská práce, Přírodovědecká fakulta / UNIVERZITA PALACKÉHO V OLOMOUCI
• http://theses.cz/id//dkbyu1// | Informatika / | Práce na příbuzné téma
Statická analýza programů pracujících s dynamickou pamětí s využitím separační logiky
(Tomáš Brablec)2025, Bakalářská práce, Vysoké učení technické v Brně
• http://theses.cz/id//aqqank// | Informační technologie / | Práce na příbuzné téma
Statická analýza programů v jazyce C
(Viktor Malík)2024, Disertační práce, Vysoké učení technické v Brně
• http://theses.cz/id//twfvo4// | Výpočetní technika a informatika / | Práce na příbuzné téma
Statická analýza programů v jazyce C
(Viktor Malík)2024, Disertační práce, Vysoké učení technické v Brně
• http://theses.cz/id//32oi9b// | Výpočetní technika a informatika / | Práce na příbuzné téma
Aktualizace webových mapových služeb z programu Copernicus pro potřeby města Kuřim
(Kryštof Jelínek)2026, Bakalářská práce, Přírodovědecká fakulta / Masarykova univerzita
• https://is.muni.cz/th/y90v3/ | Geografie a kartografie / Geografická kartografie a geoinformatika | Práce na příbuzné téma
Modelování a statická analýza stropní konstrukce v programu ANSYS.
(Petr Obršlík)2014, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//jzhay1// | Stavební inženýrství / | Práce na příbuzné téma
Automatické nalezení lineárních vztahů mezi proměnnými programu
(Tomáš Navrátil)2013, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB - Technická univerzita Ostrava
• http://hdl.handle.net/10084/101052 | Informační a komunikační technologie / Informatika a výpočetní technika | Práce na příbuzné téma
Zásuvný modul do programu SonarQube umožňující detekci návrhových vzorů ve zdrojovém kódu
(Jakub Osmančík)2024, Diplomová práce, Fakulta elektrotechniky a informatiky / VŠB – Technická univerzita Ostrava
• http://hdl.handle.net/10084/155099 | Informatika / | Práce na příbuzné téma
Pokročilá statická analýza atomičnosti v paralelních programech v prostředí Facebook Infer
(Dominik Harmim)2021, Diplomová práce, Vysoké učení technické v Brně
• http://theses.cz/id//yv6i7y// | Informační technologie a umělá inteligence / | Práce na příbuzné téma
Generování jednotkových testů na základě toku řízení programu
(Jan ALBL)2019, Diplomová práce, Fakulta aplikovaných věd / ZÁPADOČESKÁ UNIVERZITA V PLZNI
• http://theses.cz/id//vboyp1// | Inženýrská informatika / Softwarové inženýrství | Práce na příbuzné téma