Programmieren -  Formale Spezifikation -  IT -  IAGMPI   FACHGRUPPE  MATHEMATIK UND INFORMATIK   BERGISCHE UNIVERSITÄT WUPPERTAL

Prof. Dr. H.-J. Buhl	Übungsblätter (zum Anzeigen und/oder Drucken von Postscriptdateien benötigen sie eventuell Ghostview gs854; zum Betrachten oder Ausdrucken von PDF-Dateien siehe acroread)

Wintersemester 2011/2012:

 

Spezielle Kapitel der praktischen Informatik: Generische Programmierung  Mo 12-14 Uhr; Do 12-14 Uhr in  D.13.08  Übungen: Mo 16:00-18:00 in D.13.11  (erster V-Termin: 17. Oktober 2011)	1 2 3 4 5 6 7 8 9 10 11 12 13 (klausurähnliche Aufgabenstellungen) Übungsblatt	Materialsammlung  last Draft C++11 (28.02.11)  C++11  C++11 FAQ  ... Changes in C++11  C++ 2003   C++ 1998  last Draft C11 (12.04.2011)  ... Changes in C11
Softwarequalität  Mi 10-12 Uhr in D.13.08  Übungen: Mo 14-16 Uhr in G.16.09  (erster V-Termin: 19. Oktober 2011)	1 2 3 4 5 6 7 8 9 10 11 12 13 (klausurähnliche Aufgabenstellungen) Übungsblatt	Materialsammlung  Computersystem- Pannenmeldungen
Informatik im Alltag: Durchblicken statt Rumklicken  siehe moodle: Ringvorlesung Informatik im Alltag

Historie:

Sommersemester 2011:

Wintersemester 2010/2011:

Spezielle Kapitel der praktischen Informatik: Generische Programmierung  Mo 12:30-14:00 Uhr; Do 12:15-13:45 Uhr in  D.13.08  Übungen: Do 16:00-18:00 in F.12.11  (erster V-Termin: 18. Oktober 2010)	1 2 3 4 5 6 7 8 9 10 11 12 13 (klausurähnliche Aufgabenstellungen) Übungsblatt	Materialsammlung  Draft C++  C++0x/C++1x
Softwarequalität  Mi 10:15-11:45 Uhr in D.13.08  Übungen: Mo 14:30-16:00 Uhr in G.15.25  (erster V-Termin: 20. Oktober 2010)	1 2 3 4 5 6 7 8 9 10 11 12 13 (klausurähnliche Aufgabenstellungen) Übungsblatt	Materialsammlung
Informatik im Alltag: Durchblicken statt Rumklicken  siehe moodle: Ringvorlesung Informatik im Alltag

Sommersemester 2010:

Grundlagen der Rechnerarchitektur Mo 12-14, HS 9, Beginn: 19.4.2010	Übungen	Materialsammlung
Formale Methoden  Di 12-14 Uhr,  Do 12-14 Uhr in HS8 (Übungen: Do 16-18 Uhr  in G15.34)	1 2 3 4 5 6 7 8 9 10 11 (klausurähnliche Aufgabenstellungen) Übungsblatt	Materialsammlung    UML 2.2 OCL 2.2

Wintersemester 2009/2010:

 Klausurtermine/Nachklausurtermine: WS 2009/2010
 Klausur-/Nachklausurergebnisse: anonymisiert (nur FG-intern bis zu vier Wochen nach Klausurdurchsicht einsehbar)

Internettechnologien     siehe Vorlesungssverzeichnis,  Termin: Di, 14-17 Uhr in HS 10	Übungen	Materialsammlung
Formale Methoden     siehe Vorlesungssverzeichnis,  Termin: Mo 12-14 Uhr; Do 12-14 Uhr in D.13.08  (erster Termin: 19. Okt. 2009) Die Vorlesung am Donnerstag, den 29.10.2009 faellt krankheitsbedingt aus!	1 2 3 4 5 6 7 8 9 10 11 (klausurähnliche Aufgabenstellungen) Übungsblatt	Materialsammlung    UML 2.1.2 OCL 2.0/2.1Beta
Informatik im Alltag: Durchblicken statt Rumklicken   siehe moodle:

Sommersemester 2009:

 Klausurtermine/Nachklausurtermine: SS 2009
 Klausur-/Nachklausurergebnisse: anonymisiert (nur FG-intern bis zu vier Wochen nach Klausurdurchsicht einsehbar)

Grundlagen der Rechnerarchitektur Mo 12-14, HS 10, Beginn: 20.4.09	Übungen	Materialsammlung
Programming by Contract Mi 14-16 in HS 10, Beginn: 22.4.09	1 2 3 4 5 6 7 8 9 10 11 12 (klausurähnliche Musteraufgaben) Übungsblatt	Materialsammlung

Wintersemester 2008/2009:

  Klausurtermine/Nachklausurtermine: WS 2008/2009
  Klausur-/Nachklausurergebnisse: anonymisiert (nur FG-intern bis zu vier Wochen nach Klausurdurchsicht einsehbar)

Internettechnologien     siehe Vorlesungssverzeichnis,  Termin: Di , 14-17 Uhr in HS 10	Übungen	Materialsammlung
generische Programmierung     siehe Vorlesungssverzeichnis,  Termin: Mo/Do 12-14 Uhr in D13.08	1 2 3 4 5 6 7 8 9 10 11 12 (klausurähnliche Musteraufgaben) Übungsblatt	Materialien und Links viereck.cpp

Sommersemester 2008:

  Klausurtermine/Nachklausurtermine: SS 2008
  Klausur-/Nachklausurergebnisse: anonymisiert (nur FG-intern bis zu vier Wochen nach Klausurdurchsicht einsehbar)

Grundlagen der Rechnerarchitektur Mo 12-14, HS 10	Übungen	Materialsammlung
Betriebssysteme : Konzepte, Dienste und Schnittstellen Mi 14-16, HS 10	1 2 3 4 5 6 7 8 9 10 11 12 (klausurähnliche Musteraufgaben) Übungsblatt	Materialsammlung

Wintersemester 2007/2008:

  Kommentiertes Vorlesungsverzeichnis: SW07/08
  Klausurtermine/Nachklausurtermine: WS 2007/08
  Klausur-/Nachklausurergebnisse: anonymisiert (nur FG-intern bis zu vier Wochen nach Klausurdurchsicht einsehbar)

Internettechnologien     siehe KVV-WS0708 (Seite 10),  Termin: Di , 14:15-16:30 Uhr in HS 10	Übungen	Materialsammlung
Formale Methoden     siehe KVV-WS0708 (Seite 18),  Termin: Mo/Do , 12:15-13:45 Uhr in D13.08  Übungen: Mi, 16:00-17:30 in D13.08	1 2 3 4 5 6 7 8 9 10 11 12 (optional) Übungsblatt siehe verteilte Kopien! Materialien   OCL2  Octopus  OCL-Fallstudie  VDM-Portal  VDM++, Fallstudie	Materialsammlung

Sommersemester 2007:

  Kommentiertes Vorlesungsverzeichnis: SS07

  Seminar Softwarequalität - konstruktive Methoden (Buhl/Hofschuster/Krämer)

Grundlagen der Rechnerarchitektur     siehe kommentiertes     Vorlesungsverzeichniss (Seite 17),  erster Termin:     Mo 16.4.06, 12 Uhr in HS 10	Übungen      Klausurtermine	Materialsammlung
Programming by Contract     siehe kommentiertes     Vorlesungsverzeichniss (Seite 18),  erster Termin:     Do 12.4.07, 10 Uhr in D 13.08	1 2 3 4 5 6 7 8 9 10 11 12 (optional)   Übungsblatt    Klausurtermine  Klausurergebnisse (nur FG-intern abrufbar)   nana.pdf   nana_2.5.orig.tar.gz   Installierhinweise   nana-sfg   nana-2.5-30.i586.rpm   ConfigureNana25.txt   HOMEinclude.tar.gz	Materialsammlung

Wintersemester 2006/2007:

    Klausurtermine

Sommersemester 2006:

Grundlagen der Rechnerarchitektur und Informationsverarbeitung / Einführung in die Wirtschaftsinformatik I:     siehe KVV-SS2006 (Seite 18),  erster Termin: Mo 10.4.06, 12 Uhr in HS 10	Übungen      Klausurtermine	Materialsammlung
Formale Methoden     siehe KVV-SS2006 (Seite 19),  erster Termin: Di 11.4.06, 12 Uhr in D13.08	1 2 3 4 5 6 7 8 9 10 11 12 (optional) Übungsblatt Materialien  Klausurtermine  OCL-Fallstudie  VDM++-Fallstudie  Klausurergebnisse (nur FG-intern abrufbar)	Materialsammlung

 

Wintersemester 2005/2006:

Internettechnologien     siehe KVV-SS2005 (Seite 9),  erster Termin: Di 25.10.05, 14 Uhr in HS 14	Übungen          Klausurtermine	Materialsammlung
Programming by Contract     siehe KVV-SS2005 (Seite 18),  erster Termin: Do 20.10.05, 10 Uhr in D 13.08	1 2 3 4 5 6 7 8 9 10 11 12 13 (optional) Übungsblatt    Klausurtermine Nachklausurergebnisse (nur FG-intern abrufbar)   nana.pdf   nana-2.5-30.i586.rpm   nana-sfg   ConfigureNana25.txt   HOMEinclude.tar.gz	Materialsammlung

 

Sommersemester 2005:

Grundlagen der Rechnerarchitektur und Informationsverarbeitung / Einführung in die Wirtschaftsinformatik I:     siehe KVV-SS2005 (Seite 17),  erster Termin: Mo 18.4.05, 12 Uhr in HS 10	Übungen      Klausurtermine	Materialsammlung
Betriebssysteme - Konzepte, Dienste, Schnittstellen / Betriebssysteme und betriebssystem- nahe Programmierung:     siehe KVV-SS2005 (Seite 18),  erster Termin: Mi 20.4.05, 14 Uhr in HS 10	1 2 3 4 5 6 7 8 9 10 11 12 13 (optional) Übungsblatt  Klausurtermine	Materialsammlung

Wintersemester 2004/2005:

Internettechnologien	Praktikum/Übungen          Klausurtermine	Materialsammlung   »Internettechnologien«
Seminar	Erfolgreiche Problemlösung mit Hilfe von C++, Vortragsplan

Sommersemester 2004:

Grundlagen der Rechnerarchitektur, Neuere Entwicklungen in der IT	Übungen          Klausurtermine	Materialsammlung
Formale Methoden	1 2 3 4 5 6  ||  7 8 9 10 11 12 13 (optional) Übungsblatt              ||                Klausurtermine Fallstudie - Personendaten (Klassendesign in Together, Constraints in OCL2 sowie in VDM++	Linksammlung »Materialien«       empfohlene Literatur: OCL2, VDM-SL, VDM Modells, VDM++ Tools, Formale Meth.

 

Wintersemester 2003/2004:

Internettechnologien	Praktikum/Übungen          Klausurtermine	Materialsammlung (Vor-Entwurf)   »Internettechnologien«
Programming by Contract	1 2 3 4 5 6 7 8 9 10 11 12 (optional) Übungsblatt Klausurtermine Muster-Contract name_list Implementierung name_list (korrigiertes) Shell-Script nana-sfg	Materialsammlung       empfohlene Literatur:

 

Sommersemester 2003:

Grundlagen der Rechnerarchitektur, Neuere Entwicklungen in der IT	Übungen Materialsammlung
Betriebssysteme - Konzepte, Dienste, Schittstellen (Betriebssysteme und betriebssystemnahe Programmierung)	1 2 3 4 5 6 7 8 9 10 11 12 (optional) Übungsblatt Klausur: Donnerstag, 14.8.2003 10-12 Uhr, Einlass: 9:30 Uhr, Hörsaal 8	empfohlene Literatur:

Wintersemester 2002/2003:

Internettechnologien

Praktikum/Übungen Skript   »Internetnutzung« (Skript   »Internetprotokolle - technische Grundlagen« siehe Kapitel 3ff. des obigen Skriptes)

Wintersemester 2001/2002:

Grundzüge der objektorientierten Programmierung	1 2 3 4 5 6 7 8 9 10 11 12 13 14 (optional) Übungsblatt	Skript Ergänzungen
Internettechnologien	Praktikum/Übungen Skript   »Im Internet - als Konsument, als Anbieter« Skript   »Im Internet - technische Grundlagen«

Sommersemester 2001:

Informatik II	1 2 3 4 5 6 7 8 9 10 11 Übungsblatt	Skript
Grundlagen der Rechnerarchitektur, Neuere Entwicklungen in der IT	1 2 3 4 5 6 7 8 9 10 Übungsblatt	Skript

Wintersemester 2000/2001:

Informatik I

1 2 3 4 5 6 7 8 9 10 11 12 13 14 Übungsblatt

Skript

Sommersemester 2000:

Einführung in die Wirtschaftsinformatik II (Neuere Entwicklungen in der IT)

1 2 3 4 5 6 7 8 9 10 Übungsblatt

Skript

Wintersemester 1999/2000:

Informatik III

1 2 3 4 5 6 7 8 9 10 11 Übungsblatt

Skript

Sommersemester 1999:

Informatik II	1 2 3 4 5 6 7 8 9 10 Übungsblatt	Skript
Einf. in die Wirtschaftsinformatik II	1 2 3 4 5 6 7 8 9 10 11 Übungsblatt	Skript

Wintersemester 1998/99:

Einführung in die Programmierung - Informatik I

1 2 3 4 5 6 7 8 9 10 11 12 13 14 Übungsblatt

Skript

Sommersemester 1998:

Informatik II	1 2 3 4 5 6 7 8 9 10   Übungsblatt	Skript
Einf. in die Wirtschaftsinformatik II	1 2 3 4 5 6 7 8 9 10 11   Übungsblatt	Skript

	Prof. Dr. Hans-Jürgen Buhl   Email: buhl (at) math.uni-wuppertal.de