Kursen består av två moment, C03.1 - Programutveckling och C03.2 - Datamodeller. Dessa är integrerade till en helhet där vi knappast skiljer momenten åt varken i undervisning eller examination.
Målet med kursen är att ge kunskap om formella metoder och deras tillämpning vid utveckling av datorapplikationer. Se kursplanen för mer detaljerad information om kursens mål och uppläggning.
|
|
Föreläsningar |
|
||
|
Eva Lindh
Waterworth |
Mikaela
Asplund Tel: 090-786 68 25 E-post: masplund@informatik.umu.se |
Thomas Persson |
Katrin
Jonsson Tel: 7869387 E-post: kjonsson@informatik.umu.se |
Underhålls
av: eva@informatik.umu.se
URL: http://www.informatik.umu.se/~eva/metodkonstrukt/index.html
Senast ändrad: 2000-10-24