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 |
|
| Daniel
Fällman Tel: 786 62 47 E-post: dfallman@informatik.umu.se |
Katrin Jonsson |
Torsten
Nilsson Tel arb: 090/786 65 93 Tel bost: 0935/231 78 E-post: totte@informatik.umu.se |
Underhålls
av: totte@informatik.umu.se
URL: http://www.informatik.umu.se/~totte/metodkonstrukt/index.html
Senast ändrad: 001012