Visa allastudier.se som: Mobil

Formella metoder i mjukvaruutveckling

Göteborgs universitet
Sammanfattning
Fristående kurser (avancerad nivå)
Göteborg
7.5 hp
Deltid
Klassrum
Startdatum: Höst 2022 - Göteborg

Formella metoder i mjukvaruutveckling

Kursens syfte är att lära ut kunskap, teknik och omdöme angående viktiga tekniker
inom formella metoder: modellkontroll (model checking) och deduktiv verifikation.
Båda stilarna introduceras på tre sätt: konceptuellt, teoretisk och praktiskt, genom
användning av ett specifikt verktyg. Kursen bygger på kunskap om första ordningens
logik och temporallogik, och visar hur dessa formalismer kan appliceras, och utökas för
verifikation av mjukvara.

För modellkontroll täcker kursen följande ämnen:

- ett specifikationsspråk för parallella processer,
- verifiering av påståenden,
- synkronisering,
- verifikation av säkerhets- och livenessegenskaper som är skrivna i temporal logik.

För deduktiv verifikation täcker kursen följande ämnen:

- ett specifikationsspråk på enhetsnivå för Java-program,
- en logik för verifikation av Java-program,
- verifikation av Java-program, i meningen att implementationen av en enhet uppfyller dess specifikationen.

Förkunskaper

Godkända kurser om 120 hp i ämnet Datavetenskap, eller motsvarande, särskilt DIT201 Logic in Computer Science, 7,5 hp, och en 7,5 hp kurs i objektorienterad programmering (eller motsvarande) är ett krav. Dessutom krävs språkkunskaper motsvarande Engelska 6/Engelska B.  

Göteborgs universitet

Göteborgs universitet möter samhällets utmaningar med mångsidig kunskap. 37 000 studenter och 6 000 medarbetare gör universitetet till en stor och inspirerande arbetsplats, flödande av kunskap och idéer. Öppenheten är ett signum som genomsyrar verksamheten. Universitetet tar plats i debatten...


Läs mer om Göteborgs universitet och visa alla utbildningar

Hitta till utbildaren

Göteborgs universitet


Recensioner

Det finns inga recensioner för Formella metoder i mjukvaruutveckling

Jobb & Lön

Var finns framtidens jobb & hur mycket kommer jag att tjäna?

Få koll på vad du kan tjäna efter din utbildning och om den branschen är värd att investera din tid i.

Till Jobb & Lön