to the Univerity of Wuppertal

Programming -  Formal Specification -  IT -  IAGMPI
  DEPARTMENT OF  MATHEMATICS AND  INFORMATICS
  UNIVERSITY  OF  WUPPERTAL

to the Department of Mathematics

you are already reading the english version of this page zu der deutschen Version dieser Seite

my picture

  Prof. Dr. H.-J. Buhl

  

Lectures in the Current Semester                    

History of Lectures

Exercisesonly german page available

Lecture Notesonly german page available

Other Course Materialsonly german page available

 

Lectureslessons given in german language in the current Semester:

see wusel online

 

History of Lectureslessons given in german language

    
summer semester
winter semester
2018
Seminar Advanced Programming C++17 STL Usage Recipes (S2)
Formal Methods (L4, P2)
Seminar for Examinees (S2)
Project Seminar for Bachelor Students (S2)
Softwarequality (L2, P2)
generic Programming, Policies and Aspects (L4, P2)
Computer Science in everyday life: Get the picture instead of clicking around (lecture series: L4, P2)
Seminar for Examinees (S2)
Project Seminar for Bachelor Students (S2)
2017
Seminar Advanced Programming C++ Stype Guidelines (S2)
Formal Methods (L4, P2)
Seminar for Examinees (S2)
Project Seminar for Bachelor Students (S2)
Colloquium on Vocational Experience
Softwarequality (L2, P2)
generic Programming, Policies and Aspects (L4, P2)
Computer Science in everyday life: Get the picture instead of clicking around (lecture series: L4, P2)
Seminar for Examinees (S2)
Project Seminar for Bachelor Students (S2)
2016
Seminar Advanced Programming C++ Unittests (S2)
Formal Methods (L4, P2)
Seminar for Examinees (S2)
Project Seminar for Bachelor Students (S2)
Colloquium on Vocational Experience
Softwarequality (L2, P2)
generic Programming (L4, P2)
Computer Science in everyday life: Get the picture instead of clicking around (lecture series: L4, P2)
Seminar for Examinees (S2)
Project Seminar for Bachelor Students (S2)
Colloquium on Vocational Experience
2015
Softwarequality (L2, P2)
Formal Methods (L4, P2)
Seminar for Examinees (S2)
Project Seminar for Bachelor Students (S2)
Colloquium on Vocational Experience
Computer Science in everyday life: Get the picture instead of clicking around (lecture series: L4, P2)
Colloquium on Vocational Experience
2014
Seminar Advanced Programming C++11285 (S2)
Formal Methods (L4, P2)
Seminar for Examinees (S2)
Project Seminar for Bachelor Students (S2)
Colloquium on Vocational Experience
Softwarequality (L2, P2)
generic Programming (L4, P2)
Computer Science in everyday life: Get the picture instead of clicking around (lecture series: L4, P2)
Seminar for Examinees (S2)
Project Seminar for Bachelor Students (S2)
Colloquium on Vocational Experience
2013
Seminar Advanced Programming (S2)
Formal Methods (L4, P2)
Seminar for Examinees (S2)
Project Seminar for Bachelor Students (S2)
Colloquium on Vocational Experience
Softwarequality (L2, P2)
generic Programming (L4, P2)
Computer Science in everyday life: Get the picture instead of clicking around (lecture series: L4, P2)
Project Seminar for Bachelor Students (S2)
Colloquium on Vocational Experience
2012
Principles of Computer Architecture (L2, P2)
Formal Methods (L4, P2)
Seminar for Examinees (S2)
Project Seminar for Bachelor Students (S2)
Colloquium on Vocational Experience
Softwarequality (L2, P2)
generic Programming (L4, P2)
Computer Science in everyday life: Get the picture instead of clicking around (lecture series: L4, P2)
Project Seminar for Bachelor Students (S2)
Colloquium on Vocational Experience
2011
Colloquium on Vocational Experience
Softwarequality (L2, P2)
generic Programming (L4, P2)
Computer Science in everyday life: Get the picture instead of clicking around (lecture series: L4, P2)
Project Seminar for Bachelor Students (S2)
Colloquium on Vocational Experience
2010
Principles of Computer Architecture (L2, P2)
Formal Methods (L4, P2)
Seminar for Examinees (S2)
Project Seminar for Bachelor Students (S2)
Colloquium on Vocational Experience
Softwarequality (L2, P2)
generic Programming (L4, P2)
Computer Science in everyday life: Get the picture instead of clicking around (lecture series: L4, P2)
Project Seminar for Bachelor Students (S2)
Colloquium on Vocational Experience
2009
Principles of Computer Architecture (L2, P2)
Programming by Contract (L2, P2)
Seminar for Examinees (S2)
Project Seminar for Bachelor Students (S2)
Colloquium on Vocational Experience
Internet Technologies (L3, P1, L2)
Formal Methods (L4, P2)
Computer Science in everyday life: Get the picture instead of clicking around (lecture series: L4, P2)
Seminar for Examinees (S2)
Project Seminar for Bachelor Students (S2)
Colloquium on Vocational Experience
2008
Principles of Computer Architecture (L2, P2)
Operationg Systems - Concepts, Services, Interfaces (L2, P2)
Seminar for Examinees (S2)
Project Seminar for Bachelor Students (S2)
Colloquium on Vocational Experience
Internet Technologies (L3, P1, L2)
generic Programming (L4, P2)
Seminar for Examinees (S2)
Project Seminar for Bachelor Students (S2)
Colloquium on Vocational Experience
2007
Principles of Computer Architecture (L2, P2)
Programming by Contract (L2, P2)
Seminar "Software Quality" (S2)
Seminar for Examinees (S2)
Project Seminar for Bachelor Students(S2)
Colloquium on Vocational Experience
Internet Technologies (L3, P1, L2)
Formal Methods (L4, P2)
Seminar for Examinees (S2)
Project Seminar for Bachelor Students (S2)
Colloquium on Vocational Experience
2006
Principles of Computer Architecture and Computer Science (L2, P2)
Formal Methods (L4, P2)
Seminar for Examinees (S2)
Project Seminar for Bachelor Students(S2)
Colloquium on Vocational Experience
Colloquium on Vocational Experience
2005
Principles of Computer Architecture and Computer Science (L2, P2)
Operationg Systems - Concepts, Services, Interfaces (L2, P2)
Seminar for Examinees (S2)
Project Seminar for Bachelor Students (S2)
Colloquium on Vocational Experience
Internet Technologies (L3, P2)
Programming by Contract (L2, P2)
Seminar for Examinees (S2)
Project Seminar for Bachelor Students (S2)
Colloquium on Vocational Experience
2004
Principles of Computer Architecture,
New Developments in IT (L2, P2)
Formal Methods (L4, P2)
Seminar for Examinees (S2)
Project Seminar for Bachelor Students (S2)
Colloquium on Vocational Experience
Internet Technologies (L3, P2)
Effective C++/More effective C++ (S2)
Seminar for Examinees (S2)
Project Seminar for Bachelor Students (S2)
Colloquium on Vocational Experience
2003
Principles of Computer Architecture,
New Developments in IT (L2, P2)
Operating Systems - Concepts, Services, Interfaces (L2, P2)
Seminar for Examinees (S2)
Project Seminar for Bachelor Students (S2)
Colloquium on Vocational Experience
Internet-Technologies (L3, P2)
Programming by Contract (L2, P2)
Seminar for Examinees (S2)
Project Seminar for Bachelor Students (S2)
Colloquium on Vocational Experience
2002
Colloquium on Vocational Experience
Internet-Technologies (L3, P2)
Seminar for Examinees (S2)
Seminar Applied Mathematics/Computer Science (S2)
Colloquium on Vocational Experience
2001
Principles of Computer Architecture,
New Developments in IT (L2, P2)
Algorithms and Data Structures - Comp. Science II (L4, P2)
Mathematical Problems in Natural Sciences and Engineering (S2)
Seminar for Examinees (S2)
Colloquium on Vocational Experience
Principles of Object Oriented Programming (L4, P2)
Internet-Technologies (L3, P2)
Seminar for Examinees (S2)
Mathematical Problems in Natural Sciences and Engineering (S2)
Colloquium on Vocational Experience
2000
Introduction to Business Computing II -
New Developments in Information Technology (L2, P2)
Programming Languages and Tools (L4, P2)
Applications of Mathematics (S2)
Colloquium on Vocational Experience
Introduction to Programming - Comp. Science I (L2, P2)
Proseminar Practical Computer Science (PS 2)
Colloquium on Vocational Experience
1999
Outlines of Computer Science - Comp. Science II (L4, P2)
Introduction to Business Computing II -
New Developments in Information Technology (L2, P2)
Applications of Mathematics (S2)
Colloquium on Vocational Experience
 
Algorithms and Data Structures - Comp. Science III (L4, P2)
Applications of Mathematics (S2)
Colloquium on Vocational Experience
1998
Outlines of Computer Science - Comp. Science II (L4, P2)
Introduction to Business Computing II -
New Developments in Information Technology (L2, P2)
Applications of Mathematics (S2)
Colloquium on Vocational Experience
Introduction to Programming - Comp. Science I (L2, P2)
Solving Problems with C++ (block course)
Applications of Mathematics (S2)
Colloquium on Vocational Experience
1997
Introduction to Business Computing II -
New Developments in Information Technology (L2, P2)
Advising SPARC System Admins (P2)
Applications of Mathematics (S2)
Colloquium on Vocational Experience
 
Colloquium on Vocational Experience
1996
Outlines of Computer Science - Comp. Science II (L4, P2)
Introduction to Business Computing II -
New Developments in Information Technology (L2, P2)
Applications of Mathematics (S2)
Colloquium on Vocational Experience
Algorithms and Data Structures - Comp. Science III (L4, P2)
Applications of Mathematics (S2)
Colloquium on Vocational Experience
1995
Reusable Software - Object Oriented Design in Eiffel (L4, P2)
Introduction to Business Computing II -
New Developments in Information Technology (L2, P2)
Applications of Mathematics (S2)
Colloquium on Vocational Experience
Solving Problems with Pascal (block course)
Introduction to Programming - Comp. Science I (L2, P2)
 
Applications of Mathematics (S2)
Colloquium on Vocational Experience
1994
Algorithms and Data Structures - Comp. Science III (L4, P2)
Introduction to Business Computing II -
New Developments in Information Technology (L2)
Discrete Models (S2)
Colloquium on Vocational Experience
Solving Problems with Pascal (block course)
Introduction to Programming - Comp. Science I (L2, P2)
 
Discrete Models (S2)
Colloquium on Vocational Experience
1993
Verification of Algorithms - Evaluation of Software (L2, P2)
Introduction to Business Computing II -
New Developments in Information Technology (L2)
Discrete Models (SG4)
Colloquium on Vocational Experience
X Window 11 - Introduction to Usage and Programming (L4, P2)
Discrete Models (S2)
Colloquium on Vocational Experience
1992
Introduction to Usage and Administration
of the University Data Net (L4, P2)
Discrete Models (SG4)
Colloquium on Vocational Experience
Construction and Functioning of a Compiler (L3, P1)
 
Discrete Models (SG4)
Colloquium on Vocational Experience
1991
Developing Software in Practice -
Object Oriented Problem Solving (C++), (L2, P2)
Programming Projects (P2)
Discrete Models (SG4)
Colloquium on Vocational Experience
Purposive Construction of Algorithms -
from Specification to Program (L2, P2)
Programming Projects (P2)
Discrete Models (SG4)
Colloquium on Vocational Experience
1990
Solving Problems and Developing Software / teacher ... (L2)
Programming Projects (P2)
Using the University Data Net / Internet (P2)
Colloquium on Vocational Experience
X Window 11 - Introduction to Usage (L2, P2)
Programming Projects (P2)
Discrete Models (SG4)
Colloquium on Vocational Experience
1989
Programming and Data Structures /
teacher continuation course (L2)
Programming Projects (P2)
Colloquium on Vocational Experience
Construction and Functioning of a Compiler /
teacher continuation course (L2)
Programming Projects (P2)
Colloquium on Vocational Experience
1988
Accurate Computing Using Symbolic Mathematics
(REDUCE 3.2) (L2, P2)
Colloquium on Vocational Experience
X Window 10 - Introduction to Usage and Programming (L4, P2)
Colloquium on Vocational Experience
1987
Development of a Programming Project /
teacher continuation course (P3)
Using the Computer Lab of the Dept. of Mathematics (S2, P1)
Colloquium on Vocational Experience
Introduction to Programming in Science and Engineering (L2, P2)
 
The Graphical Core System GKS 2.b (L2, P2)
Colloquium on Vocational Experience
1986
Principles of Computer Science I /
teacher continuation course (L3, P2)
Principles of Computer Science II /
teacher continuation course (L3, P2)
1985
Exemplary Problem Solving Using Pascal /
teacher continuation course (L3, P2)
The Finite Element Method (P2)
1984
Programming Style and Programmming Technology (S3)
Principles of Computer Science /
teacher continuation course (L3, P2)
1983
Brouwers Degree of Mapping (L2)
Propability Theory (P2)

(L2) means a »lecture« of 2 hours per week and semester. P means »practical cource«, S means »seminar«, PS means »proseminar«, SG means »seminar group«.

 

HJB


  Hans-Jürgen Buhl  

W3C 4.0 Checked!