Inhalt

[ 921INFK12 ] Subject (*)Kernfach: Informatik

Versionsauswahl
(*) Unfortunately this information is not available in english.
Workload Mode of examination Education level Study areas Responsible person Coordinating university
37,5 ECTS Accumulative subject examination M1 - Master's programme 1. year Computer Science Armin Biere Johannes Kepler University Linz
Detailed information
Original study plan Master's programme Computer Science (discontinuing) 2012W
Objectives (*)Das Kernfach bietet eine fundierte Vertiefung in wichtigen Gebieten der Informatik. Dies umfasst formale Grundlagen (Software-Verifikation und Model Checking), Hardwareent-wurf (Entwicklung digitaler Hardware), Softwareentwurf (objekt- und komponentenorientierte Architekturen, Schichtenarchitektur, verteilte Architekturen), verteilte und kooperierende IT-Systeme (Middleware-Technologien, Koordinationsmodelle, Protokolle, Techniken und Anwendungen der drahtlosen Kommunikation) sowie eine Auswahl weiterer moderner Informatik-Technologien und Anwendungen (Parallel Computing, Informationssysteme, Wissenszentrierte Systeme).
Subject (*)Die Lehrinhalte ergeben sich aus den Lehrinhalten der einzelnen Lehrveranstaltungen.
Subordinated subjects, modules and lectures