|
|
Vector Graphics Editor for the AGE Project
Šebetovský, Jan ; Ježek, Pavel (advisor) ; Šerý, Ondřej (referee)
Present work studies possibilities of creating the vector graphics editor, which would be able to work as part of project AGE. Purpose of this project is to create integrated graphics tool. This work also contains program which is basic version of described editor. The advantage of this editor is especially ability to compute dimensions and colours of objects in picture from properties of another objecet in picture according to expression created by user. Editor also supports layers (in form of groups of objects), export of picture into bitmap formats and ability to work with Bézier curves. In addition this program almost fully supports filters, which are created in other work.
|
|
|
Support for C++ in GMC
Šebetovský, Jan ; Kofroň, Jan (advisor) ; Hnětynka, Petr (referee)
Software is used in more and more aspects of our lives, so its correctness is more and more important. Its verification is thus a good idea. Now there are not many tools for verification of programs in the C++ language and most of them cannot verify all required properties. Because of this we decided to extend GMC, which was already able to verify C code, with support of the C++ language. However the C++ language is very vast, so the goal of this work is implementation of only the basic language features (inheritance, constructors, destructors, virtual methods and exceptions). The support of all those features have been implemented except for exceptions, which are implemented only partially. Powered by TCPDF (www.tcpdf.org)
|
|
|
Vector Graphics Editor for the AGE Project
Šebetovský, Jan ; Ježek, Pavel (advisor) ; Šerý, Ondřej (referee)
Present work studies possibilities of creating the vector graphics editor, which would be able to work as part of project AGE. Purpose of this project is to create integrated graphics tool. This work also contains program which is basic version of described editor. The advantage of this editor is especially ability to compute dimensions and colours of objects in picture from properties of another objecet in picture according to expression created by user. Editor also supports layers (in form of groups of objects), export of picture into bitmap formats and ability to work with Bézier curves. In addition this program almost fully supports filters, which are created in other work.
|
guest ::
