02242 (2005/2006)

02242 Program analyse

2005/2006

Engelsk titel:

Program analysis

Sprog:

Engelsk

Point (ECTS )

Kursustype:

Kursus for civilingeniørstuderende-

Kurset udbydes under Tompladsordningen

Undervisningsform:

Forelæsninger og opgaveregning.

Kursets varighed:

13-uger

Evalueringsform:

Mundtlig eksamen og bedømmelse af rapport(er)
Der udarbejdes en rapport som mundtlig fremlægges.

Hjælpemidler:

Uden hjælpemidler

Bedømmelsesform:

13-skala, ekstern censur

Faglige forudsætninger:

02140, Beherskelse af programmering i imperative og/eller funktionelle sprog; herunder algoritmer og datastrukturer. Forståelse af teori og anvendelser af regulære og kontekstfrie sprog; herunder diskret matematik med færdigheder i simple bevisteknikker.

Overordnede kursusmål:

Se engelske beskrivelse.

Kursusindhold:

Se engelske beskrivelse

Litteratur::

Kurset er baseret på "Principles of Program Analysis" af F. Nielson, H. Riis Nielson og C. Hankin (Springer, 1999, ISBN 3-540-65410-0)

Kursusansvarlig:

Hanne Riis Nielson, 322, 114, (+45) 4525 3736, riis@imm.dtu.dk

Institut:

02 Informatik og Matematisk Modellering

Kursushjemmeside:

http://www.imm.dtu.dk/courses/02242

Sidst opdateret: 20. april, 2005