|
02262 Formelle aspekter af programmelkonstruktion |
| Engelsk titel: Formal Aspects of Software Engineering |
|
Sprog: Engelsk Point: 10
|
|
|
Eksamensplacering: |
F5-B (Jun 08 2002), E5-B (Dec 21 2001)
|
|
Undervisningsform: Forelæsninger, opgaveregning og projektarbejde. |
|
Evalueringsform: Bedømmelse af opgave(r)/rapport(er)
|
| Karakter: 13-skala |
| Faglige forudsætninger: 01016, 02260 |
| Kursusmål: Kurset har til formål at give færdigheder indenfor matematisk baseredemetoder til udvikling af programmelsystemer. Deltagerne skal indføres iformelle specifikationssprog og teknikker, herunder abstraktion ogmodellering. |
| Kursusindhold: Formel specifikation med udgangspunkt i et eller flere typiske eksemplerpå specifikationsprog. Indføring i forskellige specifikationsteknikker:model-orienteret versus algebraisk; applikativ versus imperativ.Trinvis udvikling og verifikation.Løsning af specifikationsopgaver under anvendelse af et datamatbaseretspecifikations- og udviklingsværktøj.Domæne-, krav-, programmel-system-arkitektur ogprogram-struktur-specifikationer og udviklingsteknikker og kalkyleranvendt på store, typiskinfrastruktur-systemer såsom transportsystemer(jernbane-, fly-, hovedstads- og skibs-trafik),finans-sektor institutioner (banker, fondsvirksomhed,forsikring, m.m.), fremstillings-industri (produktions-virksomheder og disses samspil og konkurrence:"markedet"), offentlig og privat administration,sundhedsvæsen, m.m.fl.. |
| Kontaktperson: Dines Bjørner, building 322, (+45) 4525 3720, db@imm.dtu.dk |
| Kursus URL: http://www.imm.dtu.dk/courses/02262 |
|
|
