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 Ghostscript und Ghostview; zum Betrachten oder Ausdrucken von PDF-Dateien siehe acroread oder okular/mupdf/...)

Wintersemester 2018/2019:

Spezielle Kapitel der praktischen Informatik: Generische Programmierung, Policies und Aspekte  Di 12-14 Uhr in HS 6  Do 12-14 Uhr in HS 6  Übungen: Do 16-18 in G.16.15  (erster V-Termin: 23. 10. 2018) Die Veranstaltung kann im WS das Modul "Formale Methoden" abdecken.	1 2 3 4 5 6 7 8 9 10 11 12 (klausurähnliche Aufgabenstellungen) Übungsblatt	Materialsammlung  Generic Programming in ...  Named requirements  Type traits (metaprogramming workaround)  Constraints and concepts  Extensions for ranges (experimental/ranges/concepts)  Concepts Library (C++20)  Concepts with meaningful semantics  Generic Programming and Concepts, N4549, ², ³  C++2a compiler support: in GCC, Visual C++, llvm, EDG
Softwarequalität  Mi 10-12 Uhr in HS 06  Übungen: Mi 14-16 Uhr in G.16.15  (erster V-Termin: 24. 10. 2018)	1 2 3 4 5 6 7 8 9 10 11 12 (klausurähnliche Aufgabenstellungen) Übungsblatt	Materialsammlung  Millionen britische Bankkunden aus Onlinebanking ausgesperrt  Jahr-2038-Problem  gnu nana  Contracts adopted for C++20  expects, ensures, assert (C++20)  C++2a compiler support: in GCC, Visual C++, llvm, EDG

Informatik im Alltag: Durchblicken statt Rumklicken  (siehe moodle: Ringvorlesung Informatik im Alltag)   Di 16-18 Uhr; Do 16-18 Uhr in HS 08

20.12.2018:   Software-Katastrophen ... und was sie uns lehren (könnten)

... Software-Katastrophen ...

Historie:

Sommersemester 2018:

Seminar Fortgeschrittene Programmierkonzepte  (C++17 STL Usage Recipes)  Mo 12-14 in D.13.15  Beginn: 16.04.2018 (Vorbesprechung)  Liste der Vorträge  Präsentationen und Handouts  (nur BUW-intern)	J. Galowicz: C++17 STL Cookbook: over 90 recipes that leverage the powerful features of the standard library in C++ 17  St. Roth: Clean C++: Sustainable Software Development Patterns and Best Practices with C++ 17	Informationen:      Inhalt      Vorbesprechung      Scheinerwerb  Literatur:        ↩
Formale Methoden  Di 12-14 Uhr,  Do 12-14 Uhr in HS 08, Beginn: 17.04.2018 (Übungen: Mi 16-18 Uhr  in G.16.15, Beginn: 25.04.2018)	1 2 3 4 5 6 7 8 9 10 11 12 (klausurähnliche Aufgabenstellungen) Übungsblatt	Materialsammlung    Software-Bugs:   Visa-Outage,   Doppelbuchung,   Flugverspätungen, ... Erfolg formaler Methoden Formale Meth. beim HW-Design   VHDL,²,   FMA3-Bug,   TSX-Bug,   skylake freezes,   Meltdown/Spectre,   Konzeptfehler der LTE-Spezifikation, ... Eclipse OCL für Eclipse Papyrus UML 2.5.1 OCL 2.4 OCL 2.5 Plans Formal Methods Unified Modeling Language Object Constraint Language

Wintersemester 2017/2018:

Spezielle Kapitel der praktischen Informatik: Generische Programmierung, Policies und Aspekte  Di 12-14 Uhr in HS 6 (außer am 28.11.)  Do 12-14 Uhr in HS 6  Übungen: Do 16-18 in G.16.15  (erster V-Termin: 23. 10. 2017)	1 2 3 4 5 6 7 8 9 10 11 12 (klausurähnliche Aufgabenstellungen) Übungsblatt	Materialsammlung  Generic Programming, ... and Concepts, N4549, ², ³  Generic Programming in ...  C++11/14: User defined Literals, Scientific Quantities, SI Units  std::ratio, gcd, lcm, double value of ratio, std::common_type, ²  C++14: Generic Lambda Expressions, ... im Einsatz  C++11: type_traits, enable_if, ... vs. requires  C++17: A C++ Detection Idiom, void_t  C++14: variable templates, std::numeric_limits::max() , ... for type traits, Simplify your type traits  constexpr if (bedingte Compilation), ²  constexpr(), constexpr abs(), ..., complex, constexpr_vector, constexpr ranges  constexpr_trace  Policy-based design,  Aspect-oriented programming  C++17: Concepts oder Concepts-Light? Why Concepts didn't make C++ 17  Concepts-Light Introduction: ¹, ², ³, ⁴  C++20: Concepts, Future of Generic Programming
Softwarequalität  Mi 10-12 Uhr in HS 06  Übungen: Mo 8-10 Uhr in G.16.15  (erster V-Termin: 25. 10. 2017)	1 2 3 4 5 6 7 8 9 10 11 12 (klausurähnliche Aufgabenstellungen) Übungsblatt	Materialsammlung  Deutsche Bank: Software-Panne, Erneute IT-Panne  Schwere Datenpanne bei Comdirect  Fehlerhafte MRT-Software schürt Zweifel an Zehntausenden Studien  Traue keinem Scan, den du nicht selbst gefälscht hast  Software-Fehler: Mars-Rover Curiosity im Sicherheitsmodus, ... zurück aus Sicherheitsmodus  The Risks Digest, List of software bugs  C/C++ undefined behavior, Implementation defined behavior, unspecified behavior, ²  C++17: Contract Programming?, A Contract Design, ², ³, Contracts for C++20, GNU Nana, GNU Nana 2.5 Manual  Eclipse Oxygen  last Draft C++11 (28.02.11)  last draft C++14 (13.10.2013)  C++17  last draft C++17 (21.03.2017)  C++ useful resources  C++ Standards Committee Papers  C++?? Current Status  C++ Standardization Journal  Letzte Änderungen bei C++17 und erste Arbeiten an C++20  ISO C++17, C++17 is complete, ², ³, ⁴  Removing (Deprecated) Exception Specifications from C++17  a type-safe union: variant, std::bad_variant_access  optional (0..), any, std::bad_optional_access, std::bad_any_cast  C++17: structured binding, C++20(?): pattern matching, ², fold expressions,     parameter pack, variadic templates, ², ³, ⁴  C++11/14: empty list initialization, default constructor, list initialization  C++ compiler support  GCC7.1 mit -std=c++1z, GCC Compiler Collection, GCC 7.3  C++ Support in Clang, ... in Visual Studio  Java 9 - Value-Types  Java 9 - Modularisierung, Java 9 ... inklusive Modulsystem,     JAR Hell, Java Platform Module System  Java 9 - neue Features, Java 9 new features with examples  Roadmap, Java 9 Migration, ²  Java 9 general availability, Java 9 ist fertig  Java EE 8 nimmt die letzte Hürde vor der Veröffentlichung, Java EE 8 ist offiziell erschienen

Informatik im Alltag: Durchblicken statt Rumklicken  (siehe moodle: Ringvorlesung Informatik im Alltag)   Di 16-18 Uhr; Do 16-18 Uhr in HS 08  Veranstaltungskarte

23.01.2017:   Software-Katastrophen  25.01.2017:   ... und was sie uns lehren (könnten)

Freihandversuche zur Informatik Geschichte der Informatik Zeichen und Zahlen als 0-1 Recht und Internet Allgegenwärtige Computer: Eingebettete Echtzeitsysteme Technik zum Anfassen: Wie funktionieren Mikrorozessoren, Touchscreens, Festplatten? Windows, Linux und Konsorten - Was machen Betriebssysteme? Modellierung und exemplarische Implementierung Wer liest meine E-Mails und kennt meine Passwörter? Mensch-Maschine-Schnittstellen: Software-Ergonomie Die öffentliche Vereinbarung von Geheimnissen Suchen in grossen Datenmengen (Datenbanken, Suchmaschinen) Die Grenzen der Informatik Software-Katastrophen Informatische Bildung für alle

Sommersemester 2017:

Seminar Fortgeschrittene Programmierkonzepte (C++ Stil-Richtlinien)  Mo 12-14 in D.13.15, Beginn: 24.04.2017 (Vorbesprechung)  Liste der Vorträge  Präsentationen und Handouts (nur BUW-intern)	Programmierstil  B. W. Kernighan, P. J. Plauger: The Elements of Programming Style  S. Meyers: Effective Modern C++ (vervollkommne Deine C++11/14 Nutzung)  Objektorientierte Entwurfsmuster, GoF: Design Patterns (erprobte OOP-Komponenten)  More C++ Idioms  (Iterative) Refactoring C/C++ Code, ², ³  Statische Code-Analyse, ², cppcheck, ³  J. Jander, K. Passig: Weniger schlecht programmieren	Informationen:      Inhalt      Vorbesprechung      Scheinerwerb  Literatur:        ↩
Formale Methoden  Di 12-14 Uhr,  Do 12-14 Uhr in HS 08, Beginn: 25.04.2017 (Übungen: Mi 16-18 Uhr  in G.16.15, Beginn: 03.05.2017)	1 2 3 4 5 6 7 8 9 10 11 12 (klausurähnliche Aufgabenstellungen) Übungsblatt	Materialsammlung    Software-Bugs: Visa-Outage, Doppelbuchung, Schaltjahr-Fehler, ... Erfolg formaler Methoden Formale Meth. beim HW-Design   VHDL,²,   FMA3-Bug,   TSX-Bug,   skylake freezes, ... Eclipse OCL für Eclipse Papyrus UML 2.5 OCL 2.4 OCL 2.5 Plans Formal Methods Unified Modeling Language Object Constraint Language

Wintersemester 2016/2017:

Spezielle Kapitel der praktischen Informatik: Generische Programmierung  Mo 12-14 Uhr in HS 10;  Do 12-14 Uhr in HS 3  Übungen: Do 16-18 in G.16.15  (erster V-Termin: 31. 10. 2016)	1 2 3 4 5 6 7 8 9 10 11 12 13 (klausurähnliche Aufgabenstellungen) Übungsblatt	Materialsammlung  Generic Programming, ... and Concepts, N4549, ², ³  Generic Programming in ...  C++11/14: User defined Literals, Scientific Quantities, SI Units  C++14: Generic Lambda Expressions  C++11: type_traits, enable_if, ... vs. requires  C++17: A C++ Detection Idiom, void_t  C++14: constexpr variable templates  constexpr if (bedingte Compilation), ²  constexpr(), constexpr abs(), ..., constexpr_vector, constexpr ranges  constexpr_trace  C++17: Concepts oder Concepts-Light? Why Concepts didn't make C++ 17  C++20: Concepts, Future of Generic Programming
Softwarequalität  Mi 10-12 Uhr in HS 06  Übungen: Mo 8-10 Uhr in G.16.15  (erster V-Termin: 2. 11. 2016)	1 2 3 4 5 6 7 8 9 10 11 12 13 (klausurähnliche Aufgabenstellungen) Übungsblatt	Materialsammlung  Deutsche Bank: Software-Panne, Erneute IT-Panne  Schwere Datenpanne bei Comdirect  Fehlerhafte MRT-Software schürt Zweifel an Zehntausenden Studien  Traue keinem Scan, den du nicht selbst gefälscht hast  Software-Fehler: Mars-Rover Curiosity im Sicherheitsmodus, ... zurück aus Sicherheitsmodus   ...  C++17: Contract Programming?, A Contract Design, ², ³, GNU Nana  last Draft C++11 (28.02.11)  last draft C++14 (13.10.2013)  C++17  C++17 draft (21.03.2017)  C++?? Current Status,  C++ Standardization 2017-02 post/pre-Kona  Letzte Änderungen bei C++17 und erste Arbeiten an C++20 ,  C++17 is complete, ², ³, ⁴  Removing (Deprecated) Exception Specifications from C++17  a type-safe union: variant, std::bad_variant_access  optional (0..), any, std::bad_optional_access, std::bad_any_cast  C++17: structured binding, C++20(?): pattern matching, ²  C++11/14: empty list initialization, default constructor, list initialization  C++ compiler support  GCC7.1 mit -std=c++1z  C/C++ undefined behavior  The Risks Digest  Java 9 - Value-Types  Java 9 - Modularisierung, Java 9 ... inklusive Modulsystem,     JAR Hell, Java Platform Module System  Java 9 - neue Features  Roadmap, Java 9 Migration, ²
Informatik im Alltag: Durchblicken statt Rumklicken  (siehe moodle: Ringvorlesung Informatik im Alltag)   Di 16-18 Uhr; Do 16-18 Uhr in HS 08  Veranstaltungskarte	24. 01. 2017:   Software-Katastrophen  26. 01. 2017:   ... und was sie uns lehren (könnten)	... Software-Katastrophen ...

Sommersemester 2016:

Seminar Fortgeschrittene Programmierkonzepte (Unittests)  Mo 12-14 in D.13.15, Beginn: 18.04.2016 (Vorbesprechung)  Liste der Vorträge  Präsentationen und Handouts (nur BUW-intern)	C++11 draft (28.02.11),  C++11,  C++11 FAQ,  C++14 draft (13.10.2013),  C++14,  C++14 FAQ,  C++17,  C++17 nearly feature-complete,  Where will Evolution lead C++17?  Support for the C++ Detection Idiom (N4502)  Stroustrup: Thoughts on C++17  New Features in Java SE 8  Java Modulsystem Jigsaw  C++11 Features in gcc and MSVC,  C++11 Features in Intel® C++ Comp.,  libstdc++ implementation status C++ 2011, 2014, 201z  GCC 4.9 New Features,  GCC 5.4 New Features, GCC 6 New Features	Unit testing  Using the CUTE Eclipse Plugin  CUTE Plug-in User Manual  Contract Assertions in C++17?  Informationen:      Inhalt      Vorbesprechung      CUTE Unittest C++ stringReverseTest       mit StringUtils.h/StringUtils.cpp, Screenshot      Scheinerwerb  Literatur:        C++11 für Programmierer        Java 8 - Die Neuerungen        The C++ Standard Library - A Tutorial and Ref., 2nd Ed.        The C++ Programming Language (4th ed.)        Programmieren mit Java II        R. Osherove: The Art of Unit Testing, Second Edition        Pragmatic Unit Testing in Java 8 with JUnit
Formale Methoden  Di 12-14 Uhr,  Do 12-14 Uhr in HS 08, Beginn: 19.04. 2016 (Übungen: Mi 14-16 Uhr  in G.16.15, Beginn: 27.04.2016)	1 2 3 4 5 6 7 8 9 10 11 12 (klausurähnliche Aufgabenstellungen) Übungsblatt	Materialsammlung    Erfolge formaler Methoden Eclipse OCL für Eclipse Papyrus UML 2.5 OCL 2.4 OCL 2.5 Plans Object Constraint Language

Wintersemester 2015/2016:

Informatik im Alltag: Durchblicken statt Rumklicken  (siehe moodle: Ringvorlesung Informatik im Alltag)   Di 16-18 Uhr; Do 16-18 Uhr in HS 08  Veranstaltungskarte

26.01.2016:   Software-Katastrophen  28.01.2016:   ... und was sie uns lehren (könnten)

Freihandversuche zur Informatik Geschichte der Informatik Zeichen und Zahlen als 0-1 Windows, Linux und Konsorten - Was machen Betriebssysteme? Recht und Internet Informatische Bildung für alle Die öffentliche Vereinbarung von Geheimnissen Modellierung und exemplarische Implementierung Wer liest meine E-Mails und kennt meine Passwörter? Allgegenwärtige Computer: Eingebettete Echtzeitsysteme Wie funktionieren Mikrorozessoren, Touchscreens, Festplatten? Suchen in grossen Datenmengen (Datenbanken, Suchmaschinen) Mensch-Maschine-Schnittstellen: Software-Ergonomie Software-Katastrophen Die Grenzen der Informatik

Sommersemester 2015:

 

Formale Methoden  Di 12-14 Uhr,  Do 12-14 Uhr in HS 08, Beginn: 14.04. 2015 (Übungen: Mi 12-14 Uhr  in G.16.15, Beginn: 22.04.2015)	1 2 3 4 5 6 7 8 9 10 11 12 (klausurähnliche Aufgabenstellungen) Übungsblatt	Materialsammlung    Formale Methoden Erfolge formaler Methoden Eclipse OCL für Eclipse Papyrus UML 2.5 Beta2 OCL 2.4 OCL 2.5 Plans Object Constraint Language
Softwarequalität  Mi 12-14 Uhr in HS 03  Übungen: Mi 14-16 Uhr in G.16.15  (erster V-Termin: 15.04.2015)	1 2 3 4 5 6 7 8 9 10 11 12 13 (klausurähnliche Aufgabenstellungen) Übungsblatt	Materialsammlung     2009 + 1 = 2016 ???  Software-Bugs   ...  last Draft C++11 (28.02.11)  last Draft C11 (12.04.2011)  C++14,   last draft C++14 (13.10.2013)  C++14DIS,  C++17  Java 8,  Java EE 8  Java 9, Java 9 Ultimate Feature List  Java 9 in Eclipse

Wintersemester 2014/2015:

 

Spezielle Kapitel der praktischen Informatik: Generische Programmierung  Mo 12-14 Uhr in G.16.09;  Do 12-14 Uhr in D.13.15  Übungen: Mo 14-16 in G.14.11  (erster V-Termin: 20. Oktober 2014)	1 2 3 4 5 6 7 8 9 10 11 12 13 (klausurähnliche Aufgabenstellungen) Übungsblatt	Materialsammlung  C++17: Concepts oder Concepts-Light  C++11/14: User defined Literals  C++14: Generic Lambda Expressions  C++14: C++14 Support in GCC
Softwarequalität  Mi 10-12 Uhr in HS 07  Übungen: abwechselnd Do/Fr 14-16 Uhr in G.16.15  (erster V-Termin: 22. Oktober 2014)	1 2 3 4 5 6 7 8 9 10 11 12 13 (klausurähnliche Aufgabenstellungen) Übungsblatt	Materialsammlung  The Heartbleed Bug  How to Prevent the next Heartbleed  Galileo-Debakel  Telekom VoIP Super-GAU  Technischer Fehler bei DHL-Sendungsverfolgung  Traue keinem Scan, den du nicht selbst gefälscht hast   ...  last Draft C++11 (28.02.11)  last Draft C11 (12.04.2011)  C++14,  C++14 angenommen!, last draft C++14 (13.10.2013)  C++14DIS,  C++17  C++17  Java 8,  Java EE 8,  Java 9
Informatik im Alltag: Durchblicken statt Rumklicken  (siehe moodle: Ringvorlesung Informatik im Alltag)   Di 16-18 Uhr; Do 16-18 Uhr in HS 08  Veranstaltungskarte	27.01.2015:   Software-Katastrophen  29.01.2015:   ... und was sie uns lehren (könnten)	Freihandversuche zur Informatik Geschichte der Informatik Recht und Internet Zeichen und Zahlen als 0-1 Allgegenwärtige Computer: Eingebettete Echtzeitsysteme Suchen in grossen Datenmengen (Datenbanken, Suchmaschinen) Wie funktionieren Mikrorozessoren, Touchscreens, Festplatten? Modellierung und exemplarische Implementierung Windows, Linux und Konsorten - Was machen Betriebssysteme? Mensch-Maschine-Schnittstellen: Software-Ergonomie Die öffentliche Vereinbarung von Geheimnissen Wer liest meine E-Mails und kennt meine Passwörter? Die Grenzen der Informatik Software-Katastrophen

Sommersemester 2014:

Seminar Fortgeschrittene Programmierkonzepte (C++11)  Mo 12-14 in D.13.15, Beginn: 14.04.2014 (Vorbesprechung)  Präsentationen und Beispielrogramme (nur BUW-intern)	last Draft C++11 (28.02.11),  C++11,  C++11 FAQ (Stroustrup),  C++14,  C++14DIS,  C++17,    last Draft C11 (12.04.2011),  C11,  TR 24731,  Java doc,  Java 8 (März 2014),  Java SE 8,  Java Tutorials Blog, New Features in Java SE 8     C++11 Features in gcc and MSVC,     C++11 Features in Intel® C++ Comp.,     libstdc++ implementation status,     GCC 4.9 New Features	Informationen:      Inhalt      Vorbesprechung      Scheinerwerb      Literatur:        C++11 für Programmierer        Java 8 - Die Neuerungen        The C++ Standard Library - A Tutorial and Ref., 2nd Ed.        The C++ Programming Language (4th ed.)        Programmieren mit Java II
Formale Methoden  Di 12-14 Uhr,  Do 12-14 Uhr in HS 08, Beginn: 15.04. 2014 (Übungen: Mo 16-18 Uhr  in G.16.15, Beginn: 28.04.2014)	1 2 3 4 5 6 7 8 9 10 11 12 (klausurähnliche Aufgabenstellungen) Übungsblatt	Materialsammlung    UML 2.4.1 UML 2.5 Beta2 OCL 2.4

Wintersemester 2013/2014:

 

Spezielle Kapitel der praktischen Informatik: Generische Programmierung  Mo 12-14 Uhr in G.16.09;  Do 12-14 Uhr in D.13.15  Übungen: Mo 14:15-15:45 in G.16.13  (erster V-Termin: 21. Oktober 2013)	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)  last Draft C11 (12.04.2011)    C++14  C++11 Features in gcc and MSVC  C++11 Features in Intel® C++ Comp.  libstdc++ implementation status
Softwarequalität  Mi 10-12 Uhr in HS 07  Übungen: Fr 14-16 Uhr in G.16.09  (erster V-Termin: 23. Oktober 2012)	1 2 3 4 5 6 7 8 9 10 11 12 13 (klausurähnliche Aufgabenstellungen) Übungsblatt	Materialsammlung  Computersystem- Pannenmeldung
Informatik im Alltag: Durchblicken statt Rumklicken  (siehe moodle: Ringvorlesung Informatik im Alltag)   Di 16-18 Uhr; Do 16-18 Uhr in HS 08

Sommersemester 2013:

Seminar Fortgeschrittene Programmierkonzepte (C++11, Anwendungsprogrammierung mit Qt)  Di 16-18 in G.15.34, Beginn: 14.05. 2013		Informationen
Formale Methoden  Di 12-14 Uhr,  Do 12-14 Uhr in HS 08, Beginn: 16.04. 2013 (Übungen: Do 16-18 Uhr  in D.13.11/G.16.15, Beginn: 02.05. 2013)	1 2 3 4 5 6 7 8 9 10 11 12 (klausurähnliche Aufgabenstellungen) Übungsblatt	Materialsammlung    UML 2.4.1 OCL 2.3.1

Wintersemester 2012/2013:

 

Spezielle Kapitel der praktischen Informatik: Generische Programmierung  Mo 12-14 Uhr; Do 12-14 Uhr in  D.13.11  Übungen: Mo 16:00-18:00 in D.13.11  (erster V-Termin: 22. Oktober 2012)	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)  last Draft C11 (12.04.2011)    C++11 Features in gcc and MSVC  libstdc++ implementation status  Beispiel: Metafunktion cpower
Softwarequalität  Mi 10-12 Uhr in HS 07  Übungen: Fr 14-16 Uhr in D.13.11  (erster V-Termin: 24. Oktober 2012)	1 2 3 4 5 6 7 8 9 10 11 12 (klausurähnliche Aufgabenstellungen) Übungsblatt	Materialsammlung  Computersystem- Pannenmeldung
Informatik im Alltag: Durchblicken statt Rumklicken  siehe moodle: Ringvorlesung Informatik im Alltag

Sommersemester 2012:

Grundlagen der Rechnerarchitektur Mo 12-14 in HS 08, Beginn: 16.04. 2012 (Übungen: Fr 14-16 Uhr in D.13.11/G16.15, Beginn: 20.04. 2012)	1 2 3 4 5 6 7 8 9 10 11 12 (klausurähnliche Aufgabenstellungen) Übungsblatt	Materialsammlung
Formale Methoden  Di 12-14 Uhr,  Do 12-14 Uhr in HS 08, Beginn: 10.04. 2012 (Übungen: Do 16-18 Uhr  in D.13.08, Beginn: 19.04. 2012)	1 2 3 4 5 6 7 8 9 10 11 12 (klausurähnliche Aufgabenstellungen) Übungsblatt	Materialsammlung    UML 2.4.1 OCL 2.3.1

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

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 11 Übungsblatt	Skript
Einf. in die Wirtschaftsinformatik II	1 2 3 4 5 6 7 8 9 10 11 12 Übungsblatt	Skript

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