02359 Programmelkonstruktion

2004/2005

Engelsk titel: 

Sprog:

Point (ECTS )

Kursustype:   

Onsdage 8 - 12. I tilfælde af overtegning har IT-diplom studerende fortrinsret.

Der undervises med 2 timers forelæsninger pr. uge og 2 timers vejledet gruppearbejde pr. uge, onsdag 8-12.

Fremstilling af basale emner inden for overordnede begreber, principper og teknikker til konstruktion af store programmelsystemer.

Programmelkonstruktionens tre hovedfaser:

•Domæne-, krav- og programmelmodellering.
•Dokumentationsproblematikken: Informativ, beskrivende og analyserende dokumentation.
•Modellering af fænomener og begreber, samt principper for deres beskrivelse: Designering, definitioner og bestridbare påstande (refuseable assertions).
•Metode- og modelbegrebet.
•Domænemodellering: Rollehavere, domæneattributter (statiske, dynamiske, kontinuerte, diskrete, kaotiske, sansnings- og ikke-sansningsbetonede, dimensionalitet, m.v.
•Domænefacetter: Basale, teknikunderstøttede, ledelse & organisation, regler & love, menneskelig opførsel, mv.
•Kravmodellering: Domæne-, grænseflade- og maskinkrav.
•Projektion, determinering, instantiering, tilpasning, udvidelse, initialisering mv.
•Programmelarkitektur- og komponentbestemmelse.
•Validering, verifikation og afprøvning (tests); versionering.
•Projekt- og produktledelse.

Kurset bruger ingen formalismer, men beror alene på udvikling af de studerendes natursproglige professionalisering.

Kurset baserer sig på engelsksprogede noter. Vi anbefaler yderligere køb af:
M. Jackson.
Software Requirements & Specifications.
A lexicon of principles, practices and prejudices.
Addison-Wesley and ACM Press, 1996.
Price (Amazon) US$ 39.99.