but.committee	doc. Dr. Ing. Dušan Kolář (předseda) doc. Ing. Peter Chudý, Ph.D., MBA (místopředseda) doc. Ing. Radek Burget, Ph.D. (člen) doc. Ing. Tomáš Martínek, Ph.D. (člen) Ing. Aleš Smrčka, Ph.D. (člen)	cs
but.defence	Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm A. Otázky u obhajoby: Zvažoval jste nějaké pokročilejší transformace pro práci s daty? Např. vyhodnocení některých výrazů již v době překladu, což by umožnilo spouštět nástroj nad větším množstvím příkladů? Ignorujete include hlavičkových souborů. Nezvažoval jste užití externího nástroje pro předzpracování zdrojových kódu, který by provedl vložení hlaviček do kódu tam, kde je to možné?	cs
but.jazyk	čeština (Czech)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Rogalewicz, Adam	cs
dc.contributor.author	Marušák, Matej	cs
dc.contributor.referee	Hruška, Martin	cs
dc.date.created	2017	cs
dc.description.abstract	S narastajúcou komplexitou softvérových programov je stále viac a viac žiadaná automa- tizovaná analýza a verifikácia týchto programov. Výskumná skupina VeriFIT na Fakulte informačních technologií Vysokého učení technického sa zaoberá výskumom v danej oblasti. Jedným z vytvorených nástrojov v tejto skupine je aj nástroj ARTMC. Táto bakalárska práca navrhuje a implementuje prekladač z podmnožiny jazyka C do vstupného formátu ná- stroja ARTMC. Vytvorený prekladač výrazne uľahčuje prácu s nástrojom ARTMC, nakoľko vstupný formát nie je vhodný na manuálné vytváranie.	cs
dc.description.abstract	Abstract With growing complexity of software programs the need for automated analysis and verifi- cation grows as well. Reasearch group VeriFIT based on Faculty of Information Technology of Brno University of Technology is involved in research of this area. One of the developed tools is the ARTMC tool. This bachelor’s thesis designs and implements compiler of C lan- guage fragment into input format of the ARTMC tool. Implemented compiler makes work with ARTMC tool much easier, since the input format is not suitable for manual creation.	en
dc.description.mark	A	cs
dc.identifier.citation	MARUŠÁK, M. Překladač z fragmentu jazyka C do nástroje ARTMC [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2017.	cs
dc.identifier.other	106273	cs
dc.identifier.uri	http://hdl.handle.net/11012/69775
dc.language.iso	cs	cs
dc.publisher	Vysoké učení technické v Brně. Fakulta informačních technologií	cs
dc.rights	Standardní licenční smlouva - přístup k plnému textu bez omezení	cs
dc.subject	ARTMC	cs
dc.subject	prekladač	cs
dc.subject	C	cs
dc.subject	verifikácia	cs
dc.subject	Python	cs
dc.subject	ARTMC	en
dc.subject	compiler	en
dc.subject	C	en
dc.subject	verification	en
dc.subject	Python	en
dc.title	Překladač z fragmentu jazyka C do nástroje ARTMC	cs
dc.title.alternative	Compiler of C Language Fragment to ARTMC Tool	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2017-06-13	cs
dcterms.modified	2020-05-10-16:12:56	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	106273	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 19:01:53	en
sync.item.modts	2025.01.15 22:36:15	en
thesis.discipline	Informační technologie	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů	cs
thesis.level	Bakalářský	cs
thesis.name	Bc.	cs

Překladač z fragmentu jazyka C do nástroje ARTMC

Files

Original bundle

Collections