|
|
BiBTeX styl pro ČSN ISO 690 a ČSN ISO 690-2
Pyšný, Radek ; Rozman, Jaroslav (oponent) ; Křena, Bohuslav (vedoucí práce)
Tato práce popisuje průběh vytváření bibliografického stylu pro nástroj BibTeX, pomocí něhož lze v LaTeXu sázet bibliografické citace v souladu s normou ČSN ISO 690. V úvodu práce je proveden rozbor ČSN ISO 690. Následuje popis spolupráce mezi systémem LaTeX a nástrojem BibTeX. Podstatná část práce je věnována popisu struktury souborů, které BibTeX potřebuje pro svou funkci, tj. bibliografická databáze a bibliografický styl. Závěr této práce je věnovaný popisu vlastností vytvořeného bibliografického stylu czplain.bst .
|
|
|
Lidské rozhraní k automatovým knihovnám nástroje MONA
Pyšný, Radek ; Šimáček, Jiří (oponent) ; Rogalewicz, Adam (vedoucí práce)
Konečné stromové automaty jsou formalismem používaným v mnoha různých oblastech informatiky, mimo jiné v oblasti formální verifikace. V současné době existuje několik nástrojů pro práci s konečnými stromovými automaty, avšak knihovny nástroje MONA jsou pro tyto účely nejlepší. Právě konečné stromové automaty jsou častým nástrojem pro formální verifikaci počítačových systémů, které pracují s dynamickými datovými strukturami. Způsob, jakým je realizováno zadávání konečných stromových automatů pro knihovny nástroje MONA , je pro člověka značně náročný, protože je nutné funkci přechodu konečného stromového automatu zadat ve formě několika multiterminálních binárních rozhodovacích diagramů. Cílem této diplomové práce je navrhnout a implementovat nástroj pro převod konečných stromových automatů zapsaných výčtem pravidel do interního formátu nástroje MONA .
|
|
|
Lidské rozhraní k automatovým knihovnám nástroje MONA
Pyšný, Radek ; Šimáček, Jiří (oponent) ; Rogalewicz, Adam (vedoucí práce)
Konečné stromové automaty jsou formalismem používaným v mnoha různých oblastech informatiky, mimo jiné v oblasti formální verifikace. V současné době existuje několik nástrojů pro práci s konečnými stromovými automaty, avšak knihovny nástroje MONA jsou pro tyto účely nejlepší. Právě konečné stromové automaty jsou častým nástrojem pro formální verifikaci počítačových systémů, které pracují s dynamickými datovými strukturami. Způsob, jakým je realizováno zadávání konečných stromových automatů pro knihovny nástroje MONA , je pro člověka značně náročný, protože je nutné funkci přechodu konečného stromového automatu zadat ve formě několika multiterminálních binárních rozhodovacích diagramů. Cílem této diplomové práce je navrhnout a implementovat nástroj pro převod konečných stromových automatů zapsaných výčtem pravidel do interního formátu nástroje MONA .
|
|
|
BiBTeX styl pro ČSN ISO 690 a ČSN ISO 690-2
Pyšný, Radek ; Rozman, Jaroslav (oponent) ; Křena, Bohuslav (vedoucí práce)
Tato práce popisuje průběh vytváření bibliografického stylu pro nástroj BibTeX, pomocí něhož lze v LaTeXu sázet bibliografické citace v souladu s normou ČSN ISO 690. V úvodu práce je proveden rozbor ČSN ISO 690. Následuje popis spolupráce mezi systémem LaTeX a nástrojem BibTeX. Podstatná část práce je věnována popisu struktury souborů, které BibTeX potřebuje pro svou funkci, tj. bibliografická databáze a bibliografický styl. Závěr této práce je věnovaný popisu vlastností vytvořeného bibliografického stylu czplain.bst .
|
host ::
RSS.