Behörighetskrav

Matematik 20 p/30 hp och datavetenskap 30 p/45 hp. Erfarenhet av programmeringsuppgifter i mindre grupper rekommenderas.

Mål

För godkänt betyg ska studenten

• känna till några olika processer för att skapa system, särskild programvarusystem, som praktiskt används,
• kunna förklara deras styrkor och svagheter, och bedöma deras lämplighet i en given kontext,
• kunna redogöra för programvaruteknikens aktiviteter: krav, design, implementering, testning underhåll (vad dessa aktiviteter innehåller, och hur de är relaterade).
• kunna skriva en kravspecifikation med entydiga, separerade och spårbara krav.
• kunna testa ett program på ett systematiskt sätt, med kravspecifikationen som grund.

Innehåll

Kravdefinition och kravspecifikation, prototyper,

formell specifiering, designmetoder,

tillförlitlighet och säkerhet, validering och

verifiering, systemunderhåll, återanvändning,

projektplanering, kvalitetssäkring.

Undervisning

Föreläsningar och gästföreläsningar.

Ett projekt i samarbete med en implementeringsgrupp.

Examination

Skriftligt prov (4,5 hp). Uppgifter inom projektet (3 hp).