| TDDB09 | Formell programutvecklingsmetodik, 3 poäng /Formal Program Development/ För: C3, C4 | |
| Utbildningsområde: Teknik Ämnesgrupp: Datalogi | ||
| Fördjupningsnivå: D | ||
| Mål: Att studera formella metoder för systematisk utveckling och verifiering av programvara, speciellt metoder baserade på axiomatisk semantik.Förkunskaper: TATM 43 Grundläggande diskret matematik. TDDA 15 Logik grundkurs.Organisation: Föreläsningar och lektioner.Kursinnehåll: Axiomatisk semantik. Programkorrekthet (partiell, total). Predikatlogik. Pre- och Post-villkor. Predikattransformatorer. Målstyrd programmering. Invarianter och gränsfunktioner. Ett antal exempel.Kurslitteratur: David Gries: The Science of Programming. Springer-Verlag, 1981. | ||
| UPG1 | Inlämningsuppgifter samt studentpresentationer. , 3 p. | |
Undervisningsspåk är svenska.
Engelsk kursplan