English | Log ind

02263 Formelle aspekter af software engineering

2016/2017

Kursusinformation
Formal Aspects of Software Engineering
Engelsk
5
Kandidat
Kurset udbydes under tompladsordningen
F4B (fre 8-12)
Campus Lyngby
Forelæsninger, opgaveregning og projektarbejde.
13-uger
Ingen eksamen i den ordinære eksamensperiode
Bedømmelse af opgave(r)/rapport(er)
Alle hjælpemidler er tilladt
7-trins skala , intern bedømmelse
01017/01904/01917 . 02161/02141/02158/02156/02157 , dvs. (1) beherskelse af diskret matematik: mængder, funktioner, logiske operatorer og (2) beherskelse af programmering (herunder brug af data typer og rekursive funktioner) og kendskab til software modellering (f.eks. UML). Funktionsprogrammering som det f.eks. kan læres i 02157 er en fordel.
Anne Elisabeth Haxthausen , Bygning 303B, Tlf. (+45) 4525 7510 , aeha@dtu.dk

01 Institut for Matematik og Computer Science
http://www2.imm.dtu.dk/courses/02263
I studieplanlæggeren
Overordnede kursusmål
Kurset har til formål at give deltagerne færdigheder i matematisk baserede metoder til udvikling af pålidelige programmelsystemer.
Læringsmål
En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:
  • opstille en formel specifikation ud fra en uformel opgavebeskrivelse
  • anvende udvalgte specifikations-stile og -teknikker til at konstruere modeller på et passende abstraktionsniveau
  • trinvis forfine en specifikation
  • opstille verifikationsforpligtelser (f.eks. forfiningsbetingelser og krævede systemegenskaber)
  • verificere simple verifikationsforpligtelser
  • oversætte en specifikation til et udførbart program
  • anvende udvalgte værktøjer relateret til formelle metoder
  • forklare hvad der kan opnås ved brug af formelle metoder
  • kommunikere resultater på en klar og præcis måde
  • løse opgaver i en gruppe påtagende sig individuelt ansvar
Kursusindhold
Formel specifikation med udgangspunkt i et eller flere typiske eksempler på specifikationssprog. Forskellige specifikationsteknikker og stile til at konstruere modeller på forskellige abstraktionsniveauer. Trinvis udvikling og verifikation.
Implementeringsrelation(er). Anvendelse af computer-baserede specifikations-værktøjer.
Sidst opdateret
27. oktober, 2016