(Project members only.)
Computer-Supported Modeling and Reasoning
The lecture Computer-Supported Modeling and Reasoning was
Prof. Dr. David Basin and
Dr. Burkhart Wolff at
in the winter semesters in
02/03, and will be held by
Dr. Jan-Georg Smaus in 03/04.
The materials of this lecture can be viewed as
lecture slides, but at the same time, they form an
online course for self study, mainly thanks to the following
The lecture material is continuously being improved, but has already come
quite a long way. You can download a
gzipped tar-file containing most of the
material. You will find about a dozen subdirectories each containing
LaTeX source file as well as the pdf file for one lecture unit.
- animation (useful both in a lecture and in a self-learning
- a rich structure of forward and backward links within the material, as well
as links to the WWW
- detailed explanations (annotations), accessible by the learner at
request via hyperlinks.
- You should copy the gzipped tar-file to any place of your file
system and unzip and untar it, but you should not change the internal
directory structure of the material, since this is crucial for the
hyperlinks to work. The working of the hyperlinks has been tested for
Hyperlinks in the slides are marked by colours: dark blue for a link
within the same document, light blue for a link to another unit of the
lecture, and pink for links to WWW pages.
|Last updated: July, 23 2003