Spesialpensum på lavere grad:
Praktisk spesifikasjon av programvare

Høsten 2000

Oversikt over innholdet på denne vev-siden:

Kursomtale
Pensum
Kursledere
Tidspunkt
Forelesningsplan
Øvelsesoppgaver
Eksamen

Kursomtale

Praktisk spesifikasjon av programvare

4 Vekttall: høstsemester 2000, inngår som et vanlig emne i en cand.mag. grad.
Bygger på: I120
Forelesninger/oppgavegjennomgang: 2 + 3 timer/uke
1 større obligatorisk øvelse.
Eksamen: Muntlig
Innhold: Kurset vil gi en innføring i et spesifikasjonsspråk og bruken av dette til å analysere problemområder, spesifisere programvarekomponenter og strukturere programsystem. Sentralt i kurset står en stor obligatorisk oppgave som vil brukes til å belyse ulike sider ved praktisk spesifikasjon og nytten av dette.
Mål: Studentane skal få en intuitiv forståelse av hvordan formelle spesifikasjoner kan brukes til å analysere et problemområde og gi en bedre bakgrunn for organisering av programvare.

Kurset går som en prøveordning med begrenset opptak høsten 2000. Det inngår på vanlig måte i en cand.mag. grad.

Pensum

Pensum er fokusert rundt øvelsesopplegget og den store obligatoriske oppgaven som skal løses i grupper. Eksamensspørsmålene vil derfor i stor grad dreie seg om denne oppgaven.

Spesifikasjonsspråket vi skal bruke er LARCH med tilhørende verktøy Larch prover. Dette vil bli installert på UA/FA/HA innen undervisningen starter. En kortfattet innføring i LARCH er boken

J.V. Guttag

J.V. Horning

Larch: Languages and tools for formal specification

Boken er dessverre utsolgt fra forlaget, men forfatterne har stilt den til disposisjon for oss på LARCH sine hjemmesider. Det er lagt ut en kopi av de delene av boken vi trenger:

Kap. 1, side 1-7.
Kap. 2, side 8-13.
Kap. 3, side 14-34.
Kap. 4, side 35-55.
Kap. 7, side 121-153.
Kap. 8, side 154-156.
Appendiksene utenom B, side 157-210 og 222-250.

Utdraget utgjør nærmere 200 sider til sammen, slik at dere skriver ut dobbeltsidig, gjerne med 2 boksider pr. utskriftsside, og tar hensyn til andre brukere ved å legge utskriften til et tidspunkt skriverne ikke er belastet.