|
49351 Videregående programmelspecifikation
| |
Engelsk titel: Advanced Software Specification
| |
| | Type: | Å, Sprog: E |
| basiskursus |
|
|
Point:
5 point |
|
| Tidligere kursus: C4351 |
| Udbydes af:
Institut for Informationsteknologi
(IT) |
| Pointspærring: C4351 |
| Faglige forudsætninger: 49238 |
| Vejledende semester:
Sidst i studiet. |
| Undervisningsform: Forelæsninger, grupperegning. |
| Evalueringsform:
Skriftlig eksamen
(13-skala
) |
| Kontaktperson: |
Dines Bjørner, IT, bygn. 345, tlf. 4525 3720 E-mail: db@it.dtu.dk |
|
| 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. |
|
|
