Master ST Home
Center ST Home
FAQ
Contact
Brochure
Introduction
Area
Center
Curriculum
Pre-master
Supervision
Thesis Projects
Career
International Exchange
People
Students
Staff
Coordinators
Courses
FPLC
|
SWE
DOS
|
SWS
CCO
|
SWA
APA
|
AFP
|
DBA
PV
|
GP
Seminars
DTP
|
TBPA
ACC
|
NO
DBA
Other Activities
Literature Study
Colloquium
Experimentation Project
Thesis project
How To
Electronic Library
?
Research Talk
Use TeX
Formulate Effectively
CommonMistakes
(constr)
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
Schedule
Master
This is the schedule for the master courses offered by the Software Technology program in the academic year 2002-2003. Note that it is possible to take some courses from other masters programs. Information will be provided when available. The links are to courses given in 2001-2002 as part of the old computer science program. Some courses are renamed and may change somewhat in content. Period 1 (September - October) * Introduction to Software Technology (IST) <br> required course<br>Lecturers: Doaitse Swierstra, Eelco Visser, Jurriaan Hage, Wishnu Prasetya, Johan Jeuring * Generic Programming<br>Lecturer: Johan Jeuring * High-Performance Compilers<br>second (masters) year seminar<br> Lecturer: Eelco Visser Period 2 (November - December) * Software Engineering<br>Lecturers: Eelco Visser, Atze Dijkstra, Eelco Dolstra (required course) * Automatic Program Analysis<br>Lecturer: Jurriaan Hage Period 3 (January - February) * Software Architecture<br>required course<br>Lecturer: Atze Dijkstra, SERC * Program Transformation<br>Lecturer: Eelco Visser Period 4 (March - April) * Implementation of Programming Languages<br>required course<br>Lecturer: Atze Dijkstra * Program Verification<br>Lecturer: Wishnu Prasetya * Internetprogramming<br>Lecturer: Piet van Oostrum Period 5 (May - June) * Distributed Object Systems<br>Lecturer: Piet van Oostrum * Type Systems<br>Lecturer: Doaitse Swierstra (+ Atze Dijkstra)