AU kursuskatalog arkiv

Model-drevet udvikling med VDM++ og UML 1 (TIVDM1-U01) ( forår 2009 - 5 ECTS )

Rammer for udbud

• Uddannelsessprog: dansk
• Niveau: Master
• Semester/kvarter: Q3
• Timer per uge: 3 timers undervisning om ugen og derudover skal der gennemføres et projekt. 50% teori + 50% praktisk.
• Deltagerbegrænsning: Ingen
• Undervisningssted: Århus
• Hovedområde: Ingeniørhøjskolen
• Udbud ID: 14827

Formål

Målet med kurset er at den studerende lærer de basale principper og praksis for objekt-orienteret udvikling ved hjælp af modeller i UML og VDM++ kombineret. Dette vil specielt øge forståelsen af de forskellige niveauer af abstraktion et system kan modelleres på.

Indhold

Dette kursus indeholder:

• Processen for formel modellering ved hjælp af en kombination af UML og VDM++.
• De tilgængelige værktøjer til validering af modeller.
• Logik og basale primitiver i VDM++ og UML klassediagrammer.
• Modellering i VDM++ ved hjælp af mængder.
• Modellering i VDM++ ved hjælp af lister.
• Modellering i VDM++ ved hjælp af mappings.

Alle emner vil blive introduceret ved hjælp af eksempler inspireret fra industriel anvendelse og ligeledes vil de projekter som de studerende kan vælge at arbejde med være for realistiske systemer.

Faglige forudsætninger

Kurset forudsætter basal erfaring med objekt-orienteret programmering inklusiv arv fra programmeringssprog som C++ eller Java.

Underviser

Peter Gorm Larsen

Undervisnings- og arbejdsform

Forelæsninger og et gennemgående projekt for hver gruppe. Obligatorisk aflevering af projektrapport.

afhængigt af deltagerne.

Litteratur

John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat and Marcel Verhoef:

Validated Designs for Object-oriented Systems,

Springer Verlag, 2005, ISBN 1-85233-881-4.

Kursushjemmeside

http://kurser.iha.dk/eit/tivdm1/

Udbyder

Ingeniørhøjskolen i Århus

Indgår i følgende studieordninger

Civilingeniøruddannelsen i Teknisk IT

Tilmelding til undervisning

Send en mail med følgende indhold til info@agse.dk

• årskortnummer og navn
• præcist kursusnavn

Læringsmål

Deltagerne skal ved afslutningen af kurset kunne:

• forklare og sammenligne fordele og ulemper ved alternative abstraktioner i forhold til formålet med en præcis model.
• forklare konstruktioner og begreber i den sekventielle del af modelleringssproget VDM++ og sammenkoblingen til UMLs klassediagrammer.
• definere og forklare syntaks og semantik for den sekventielle del af VDM++.
• anvende VDM++ og UML med den tilhørende værktøjssupport til abstrakt og præcis modellering og validering af systemer.

•vurdere praktisk anvendelse af VDM++ til validering af konkrete systemer.

Bedømmelse

• Hj.opg. + Mdt., bedømt efter 7-skala med ekstern censur
5 xxxxx

Mundtlig eksamen med udgangspunkt i afleveret projektrapport efter 7-punkt-skalaen med ekstern censur.