Thesis (Selection of subject)Thesis (Selection of subject)(version: 368)
Thesis details
   Login via CAS
Application of Software Components in Operating System Design
Thesis title in Czech: Aplikace softwarových komponent pro návrh operačního systému
Thesis title in English: Application of Software Components in Operating System Design
Key words: operační systémy, mikrojádro, multiserver, HelenOS, architektura softwaru, softwarové komponenty, formalní verifikace
English key words: operating systems, microkernel, multiserver, HelenOS, software architecture, software components, formal verification
Academic year of topic announcement: 2006/2007
Thesis type: dissertation
Thesis language: angličtina
Department: Department of Distributed and Dependable Systems (32-KDSS)
Supervisor: prof. Ing. Petr Tůma, Dr.
Author: Mgr. Martin Děcký, Ph.D. - assigned and confirmed by the Study Dept.
Date of registration: 01.10.2006
Date of assignment: 01.10.2006
Date and time of defence: 22.09.2015 14:45
Date of electronic submission:29.06.2015
Date of submission of printed version:29.06.2015
Date of proceeded defence: 22.09.2015
Opponents: Dr. Björn Döbel
  Michal Sojka
 
 
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html