|
|
Syntax directed editor
Outlý, Matěj ; Zajíček, Ondřej (advisor) ; Kolovratník, David (referee)
Design and implementation of the program core, which uses syntax of the formal language, parses the input text and aplies the results in indentation and source code highlighting. The goal is to describe the way of the language processing given by formal grammar and to design the application, which builds on this principles.
|
|
|
Mode Change in Real-time Component Systems
Outlý, Matěj ; Bureš, Tomáš (advisor) ; Malohlava, Michal (referee)
The goal of the thesis is to examine possibilities of dynamic reconfiguration in real-time component systems, especially to formally describe support of operating modes. The thesis introduces a reconfiguration mechanism based on properties and relations between them. The mechanism is designed to facilitate a straight forward modeling of operating modes and reconfiguration rules and preserves re-usability of assembled components. The thesis also presents a realization of the mechanism suitable for the domain of embedded real-time systems.
|
|
|
Syntax directed editor
Outlý, Matěj ; Kolovratník, David (referee) ; Zajíček, Ondřej (advisor)
Design and implementation of the program core, which uses syntax of the formal language, parses the input text and aplies the results in indentation and source code highlighting. The goal is to describe the way of the language processing given by formal grammar and to design the application, which builds on this principles.
|
|
| |
guest ::
RSS feed.