|
02262 Formelle aspekter af software engineering I |
| Engelsk titel: Formal Aspects of Software Engineering I |
|
Sprog: Engelsk Point: 10 |
|
| Type: civilkursus, udbydes under åben uddannelse |
|
Eksamensplacering: |
F4-B (jun 06 2002), E4-B (dec 19 2001)
|
|
Undervisningsform: Forelæsninger, opgaveregning og projektarbejde. |
Evalueringsform: Bedømmelse af opgave(r)/rapport(er)
For at få bedømt rapporten, skal en eller flere opgaver/mundtlige fremlæggelser bestås. |
| Karakter: 13-skala |
| Tidligere kursus: 49238 |
| Faglige forudsætninger: 01016 Informatikfagpakken |
Kursusmål: Kurset har til formål at introducere deltagerne til
matematisk baserede metoder til udvikling af programmelsystemer og i
særdeleshed at give dem færdigheder i at anvende og skrive formelle
specifikationer under brug af forskellige abstraktions- og
modelleringsteknikker. |
Kursusindhold: Formel specifikation med udgangspunkt i et eller flere typiske eksempler på specifikationssprog. Indføring i forskellige specifikationsteknikker: model-orienteret versus algebraisk;
applikativ versus imperativ; samt process-orienteret modellering (a la
CSP). Trinvis udvikling og verifikation (formel bevisførelse).
Implementeringsrelationer. Løsning af specifikationsopgaver under
anvendelse af datamatbaserede specifikations værktøjer. Domæne- og krav-specifikationer og udviklingsteknikker anvendt på store, typisk infrastruktur-systemer såsom transportsystemer, finans-sektor
institutioner, fremstillings-industri, offentlig og privat administration, sundhedsvæsen, m.fl. |
Kontaktperson: Anne Elisabeth Haxthausen, building 322, (+45) 4525 7510, ah@imm.dtu.dk
Dines Bjørner, building 322, (+45) 4525 3720, db@imm.dtu.dk |
| Institut: 002 Informatik og Matematisk Modellering |
| Kursus URL: http://www.imm.dtu.dk/courses/02262 |
| Nøgleord: Abstraktion & modellering, formelle metoder, formel specifikation, domæne-, krav- og programmelbeskrivelse |
| Opdateret: 14-01-2002 |
|
|
