I 229 (H02) - MoSIS seminar:
Modularity of large
Software and Information Systems
Studiehåndbok (description in study guide): I229
The seminar is intended for graduates and PhD students. The language is English, since we expect participants from abroad. It is a true seminar in the sense that active participation is required. This includes presenting selected readings from the scientific literature. Topics of interest are: module algebra, monads, institutions, polymorphism, parameterization, the module mechanisms of existing programming and specification languages.
Ansvarlig (Coordinator): Marc Bezem
(Gjeste)forelesninger på engelsk ((Guest) lectures in English):
Tirsdag (Tuesday) 14.15-16.00,
Onsdag (Wednesday) 10.15-12.00
Sted (place): Ro(o)m 2104.
Første forelesning (starting lecture): 27/8
Siste forelesning (last lecture): somewhere in December
Pensum:
- D. Parnas: On the criteria to be used in decomposing systems into modules. Communications of the ACM, Vol. 15, No. 12, pp. 1053-1058, 1972.
- D. Parnas: The modular structure of complex systems, 14 pp.
- H. Ehrig and B. Mahr: Informal introduction to abstract modules. Chapter 1 of: Fundamentals of Algebraic Specification 2, EATCS Monograph on TCS Vol. 21, pp. 9-50. Springer-Verlag, 1990.
- H. Ehrig and B. Mahr: Module specifications, Chapter 2 of: Fundamentals of Algebraic Specification 2, EATCS Monograph on TCS Vol. 21, pp. 51-90. Springer-Verlag, 1990.
- D. Sannella, S. Sokolowski and A. Tarlecki: Toward formal development of programs from algebraic specifications: parameterisation revisited, 46 pp.
- P. Wadler: Monads for functional programming, 30 pp.
- J.A. Bergstra, J. Heering and P. Klint: Module algebra, Journal of the ACM, Vol. 37, No. 2, pp. 335-372, 1990.
Tentative Schedule:
NB. the scheduling upto week 40 has been revised.
| W | Tuesday | Wednesday |
|---|---|---|
| 35 | Intro | IntroFP |
| 36 | IntroFP | Off |
| 37 | IntroCAT | Off |
| 38 | IntroCAT | Off |
| 39 | IntroCAT | Off |
| 40 | Fed/Sim | Sim/Fed |
| 41 | Kai/Endre | Endre/Kai |
| 42 | IntroAS | Davrondjon |
| 43 | BjO/Nils-A | Nils-A/BjO |
| 44 | Eva/Adis | Adis/Eva |
| 45 | Tarmo Uustalu (IoC) | Tarmo Uustalu (IoC) |
| 46 | Jan Heering (CWI) | Jan Heering (CWI) |
| 47 | Enida/Hoang | Hoang/Enida |
| 48 | NIK | NIK |
Click here for the plan for next semester
