Lehrveranstaltungen der AG BKB
UC Berkeley
Fall 79, Spring 80Programming Languages and Compilers
Winter 79/80
Programming Language Design
Student Project, 1980:
PascAda: Source-to-source Translation Pascal <-> Ada
Universität Bremen
Vorlesungen (mit Übungen), Praktika, Seminare, Kolloqia
WS 87/88, WS 88/89, WS 89/90, WS 90/91, WS 91/92, WS 92/93:Algorithmen und Programmierung I [Funktionale Algorithmen]
SS 88, SS91, SS92:
Algorithmen und Programmierung II [Korrektheit; Imperative Algorithmen]
WS 82/83, WS 84/85, WS 85/86, WS 86/87:
Algorithmen und Programmierung III [Datenstrukturen]
SS 86:
Algorithmen und Programmierung IV [Nichtsequentielle Algorithmen]
SS 83, SS 84, WS 85/86:
Konzepte und Entwurf von Programmiersprachen, mit Praktikum
WS 83/84, SS 84:
Nichtsequentielle Konzepte in Programmiersprachen, Seminar
WS 85/86:
Programmiersprachen im Vergleich, Seminar
WS 83/84:
Übersetzerbau, mit Praktikum
SS 84:
Übersetzererzeugende Systeme, mit Praktikum
SS 83, SS 86, WS 91/92:
Programmentwicklung [durch Transformation], Seminar
WS 85/86:
Querübersetzung, Seminar
WS 87/88, SS 88:
Formale Spezifikation und Programmentwicklung, Seminar
SS 88:
Neuere Konzepte der Softwaretechnik, Seminar
SS 92, WS 92/93:
Fortgeschrittene Konzepte der algebraischen Spezifikation, Seminar
SS 92:
Attributierungskonzepte zur Semantikbeschreibung von Programmiersprachen, Seminar
WS 92/93, SS 93:
Korrektheitserhaltende Transformationen, Seminar
Studentische Projekte
(Arbeitsvorhaben über 4 Semester mit insgesamt ca. 16 SWS)WS 83/84 - SS 85:
ÜBERQUELLE: Übersetzung auf der Quellsprachenebene
WS 85/86 - SS 87:
PORQUE: Portabilität und Querübersetzung
WS 88/89 - SS 90:
PILS: Parallele Implementierung von Funktionalen Programmiersprachen
WS 90/91 - SS 92:
FORANN: Formalisierung und Anwendung Neuronaler Netze
WS 92/93 - SS 94:
FORAUS: Formatieren von Dokumenten mit unterschiedlichen Sichten
WS 92/93 - SS 94:
FUSEL: Funktionale Sprachen effizient compiliert
WS 94/95 - SS 96:
SAUS: Sensomotorik Autonomer Systeme
WS 95/96 - SS 97:
SIESTE: Sichere Eisenbahnsteuerungen
Graduiertenstudium
1991 - 1994:Sichere Systeme
Doktorandenstipendienprogramm, gefördert durch die FNK der Universität Bremen
(mit den Kollegen Keedy, Kreowski und Kriegel)
1992 - 1996:
Raumorientierung und Handlungsorganisation Autonomer Systeme
Graduiertenkolleg, gefördet durch die DFG sowie das Land Bremen
(mit mehreren Kollegen im interdisziplinären Verbund)
1996 - 1999:
Sichere Systeme
Doktorandenstipendienprogramm, gefördert durch die FNK der Universität Bremen
(mit den Kollegen Gogolla, Kreowski, Peleska und der Kollegin Szczerbicka)
wiss. Kurse und Fortbildungsveranstaltungen
ACM Professional Development Seminar, Washington 1979:Ada, DoD`s New Embedded Systems Programming Language (eintägig)
Seminar on Concurrent Programming, Stanford University 1979:
Types, Modularisation, Parallelism in Ada
ACM San Francisco Peninsula Chapter, Sta. Clara 1980:
Ada, DoD`s New Systems Programming Language (eintägig)
ACM Conf. on the Ada Programming Language, Boston 1980:
Tutorial on Ada (eintägig, mit Ichbiah, Barnes, Firth)
Pascal SIG der DEC Benutzer, Max Planck Institut Stuttgart 1980:
Was unterscheidet Ada von Pascal? (halbtägig)
Alsys and IABG Seminar, München 1981:
The Programming Language Ada (dreitägig, mit Ichbiah, Barnes, Firth)
Fortbildungsseminar, Mercedes Benz, Stuttgart 1981:
Die Programmiersprache Ada (zweitägig)
Fortbildungsseminar, SCS, Hamburg 1981:
Neue Konzepte der Programmiersprache Ada (eintägig)
ICC Berlin Continuing Engineering Program, Computer Technology Series 1981:
Tutorial on The Programming Language Ada (dreitägig)
Realzeitsprachen für Mikroprozessoren, VDI Technologiezentrum Berlin 1983:
Vergleich der Realzeitsprachen Pearl, Pascal, Ada (dreitägig; Ada Teil)
Ada Seminar, Madrid 1984:
Cuentos de hADAs: Specification, Source-to-Source Translation and Ada Program Support Environments (eintägig)
Computer Akademie '84, Österreichische Computer Gesellschaft, Wien 1984:
Die Programmiersprache Ada, mit praktischen Übungen (zweitägig)
Peking University, Sept. 1984:
The Programming Language Ada; an Introductory Course
Guizhou Institute of Education, Sept./Okt. 1985:
Program Development by Specification and Transformation in Ada/Anna
Innovative Software Factories and Ada, CRAI, Capri 1986:
Integration of Program Construction and Verification: the PROSPECTRA Methodology and System (mehrtägig)
SESA Seminar, Madrid 1986:
PROgram development by SPECification and TRAnsformation in Ada/Anna,
A PROSPECTRA Training Course (einwöchig, mit Broy)
STOP Project, Centrum voor Wiskunde en Informatica, Amsterdam 1988:
Construction of Ada Programs via PROgram development by SPECification and TRAnsformation (eintägig)
Summer School on Programming Environments in ESPRIT, Sophia Antipolis 1989:
PROgram development by SPECification and TRAnsformation (eintägig)
Autor: Prof. Dr. Bernd Krieg-Brückner
| Zuletzt geändert am: 2. Januar 2002 |  |