|
49351 Videregående programmelspecifikation
| |
Engelsk titel: Advanced Software Specification
| |
Sprog: engelsk
Point: 5 |
|
| Type: | basiskursus, udbydes under åben uddannelse
Sprog: engelsk |
| |
Tidligere kursus: C4351
| |
Pointspærring: C4351
| |
| |
Faglige forudsætninger: 49238
| |
| |
Vejledende placering: Sidst i studiet.
| |
Undervisningsform: Forelæsninger, projektsamtaler.
| |
Evalueringsform Rapportaflevering
| |
Karakter: 13-skala
| |
| |
| |
| |
Kursets netadresse: http://www.it.dtu.dk/c49351
| |
Institut: Institut for Informationsteknologi
| |
Studieudvalg: MIFSU
| |
Kursusmål: Dette kursus slutter sig snævert til kursus 49238. Specifikation og trinvis udvikling, fra domæne-, via krav- til programmel-specifikationer, indbefattende verifikation af overgange indenfor og mellem disse trin er centralt i udvikling også af store programmelsystemer. Kurset har derfor som mål at sikre professionelle færdigheder indenfor dette emne, herunder evnen til abstraktion og modellering.
|
Kursusindhold: Domæne-, krav-, programmel-system-arkitektur og program-struktur-specifikationer og udviklings teknikker og kalkyler anvendt på store, typisk infrastruktur-systemer (såsom transportsystemer (jernbane-, fly-, hovedstads- og skibs-trafik), finans-sektor institutioner (banker, fondsvirksomhed, forsikring, m.m.) og tilhørende industri (samling af førnævnte), fremstillings-industri (produktions-virksomheder og disses samspil og konkurrence: "markedet"), offentlig og privat administration, sundhedsvæsen, m.m.fl.).
Del-emner omfatter bl.a. teknikker til specifikation af domæne-facetter såsom (i) systemregulativer og disses kobling til (ii) menneske/maskin opførsel, (iii) egenskaber ved understøttende teknologi og disses kobling til f.eks. (iv) sikkerhed, m.mfl.), af rolle-haveres domæneperspektiver (edb-operatører, slut-brugere, anden datamatik, m.m.), af krav-aspekter og programmel-syn.
Andre delemner omfatter problem-rammer såsom oversætter-, styre-, informations-, arbejdsark-, forbindelses-, transaktions- oma. problematikker.
Endelig omfatter kurset teknikker vedrørende struktureret (modulær og parametriseret) specifikation og implementering af distribuerede og samtidige systemer.
|
|
|
