|
|
BiBTeX Style for ČSN ISO 690 and ČSN ISO 690-2
Pyšný, Radek ; Rozman, Jaroslav (referee) ; Křena, Bohuslav (advisor)
This thesis describes the creation of a BibTeX bibliographic style which could be used for the typesetting of bibliographic references according to the ČSN ISO 690 standard. The requirements of the ČSN ISO 690 standard are discussed, followed by the format of the interaction between the LaTeX typesetting system and the BibTeX tool. The structure of the bibliographic database and the bibliographic style that is required by the BibTeX tool is further elaborated. Finally, this thesis describes the properties of the created BibTeX bibliographic style czplain.bst .
|
|
|
Human Interface to Automata Libraries of MONA Tool
Pyšný, Radek ; Šimáček, Jiří (referee) ; Rogalewicz, Adam (advisor)
Finite tree automata is formalism used in many different areas of computer science, among others in the area of formal verification. Nowdays there are few tools used for handling of finite tree automata, however libraries of MONA tool are the best choice. The finite tree automata are a frequent tool for formal verification of computer systems which work with dynamic data structures. The input format of finite tree automata for libraries of MONA tool is very difficult for humans because it is necessary to enter the move function of the finite tree automaton in a form of several multiterminal binary decision diagrams. The aim of this thesis is to design and implement tool to convert the finite set of move rules into internal format of the MONA tool.
|
|
|
Human Interface to Automata Libraries of MONA Tool
Pyšný, Radek ; Šimáček, Jiří (referee) ; Rogalewicz, Adam (advisor)
Finite tree automata is formalism used in many different areas of computer science, among others in the area of formal verification. Nowdays there are few tools used for handling of finite tree automata, however libraries of MONA tool are the best choice. The finite tree automata are a frequent tool for formal verification of computer systems which work with dynamic data structures. The input format of finite tree automata for libraries of MONA tool is very difficult for humans because it is necessary to enter the move function of the finite tree automaton in a form of several multiterminal binary decision diagrams. The aim of this thesis is to design and implement tool to convert the finite set of move rules into internal format of the MONA tool.
|
|
|
BiBTeX Style for ČSN ISO 690 and ČSN ISO 690-2
Pyšný, Radek ; Rozman, Jaroslav (referee) ; Křena, Bohuslav (advisor)
This thesis describes the creation of a BibTeX bibliographic style which could be used for the typesetting of bibliographic references according to the ČSN ISO 690 standard. The requirements of the ČSN ISO 690 standard are discussed, followed by the format of the interaction between the LaTeX typesetting system and the BibTeX tool. The structure of the bibliographic database and the bibliographic style that is required by the BibTeX tool is further elaborated. Finally, this thesis describes the properties of the created BibTeX bibliographic style czplain.bst .
|
guest ::
