Home
Über Tecport
Kieler Hochschulen
Angebote finden
Inhaltssuche
Indexsuche
Kontakt
Impressum
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
Z

Institut für Informatik und Praktische Mathematik
Christian-Albrechts-Universität zu Kiel
Angebotsnr. 11089
Stichwörter:
formale Methoden, Programmierung, Softwarevisualisierung
 
Leistungsangebote
  • Gutachten
  • Kooperation, etwa im Rahmen von Diplomarbeiten
Nutzungsangebote
  • Werkzeug KIEL (Programmvisualisierung)
  • Werkzeug RELVIEW (Graphen und Relationen)
Forschungsgebiete
  • Softwarevisualisierung
  • Relationen, Graphen und deren Anwendung in der Informatik
  • Formale Methoden und deren Rechnerunterstützung
  • Grundlagen von Programmiersprachen und Programmentwicklung
Technische Ausstattung
  • Vernetzte SUN-Workstations
Anwendungsfelder
  • Weiterbildung
  • Programmierung
 
EU Flagge gefördert durch: EUROPÄISCHE UNION Europäischer Sozialfonds