PBL2000 the second international
conference on Problem-Based Learning, Linköping, September 2000.
Courses given earlier:
The following course was given in cooperation with Zebo Peng and Petru
Eles in October - December 99:
An ECSEL
graduate course consisting of four modules in which one module was by me
during weeks 45-46 in 97/98:
The course covers several formalisms for specification of discrete systems:
transition systems, automata, Petri nets and temporal logic. It was organized
in separate modules -- I was responsible for the Transition
Systems Module.
During week 42 (96/97) I gave a seminar
on
in the project oriented study program on Engineering Systems Modelling
(ENSYM) organized within the ECSEL
graduate school.
During periods 2 and 3 (95/96) I was involved in a graduate course with
the following description
-
Formal specification of reactive systems: theory and practice
The course covers the language of statecharts, including the syntax, alternative
semantics (axiomatic and algebraic and variants thereof), as well as a
taste for some practical applications. There is also an element of practical
experience with the commercial tool STATEMATE.
During periods 3 and 4 (94/95 - 97/98) I have given the course
-
Introduction to Computer Science and Computer Equipment TDDB07.
During period 4 (96/97) I have given the course:
-
Real-time and concurrent programming TDDI80.
During period 2 (95/96) I have given the course
-
Computer Networks and Distributed Systems - Part I, TDDI56.