FI:I051 Formální algebr. specif. - Informace o předmětu
I051 Formální algebraické specifikace
Fakulta informatikyzima 1996
- Rozsah
- 2/0. 2 kr. Doporučované ukončení: k. Jiná možná ukončení: z.
- Vyučující
- Igor Prívara (přednášející)
- Předpoklady
- Nutno absolvovat M009 Algebra II, doporučeno M007 Matematická logika, I011 Sémantiky programovacích jazyků
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- Informatika (program FI, B-IN)
- Informatika (program FI, M-IN)
- Učitelství výpočetní techniky pro střední školy (program FI, M-IN)
- Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
- Výpočetní technika (program FI, B-IN)
- Osnova
- Místo a význam formálních specifikací při vývoji programů.
- Algebraické specifikace -- metoda a specifikační jazyk.
- Různé pohledy na teorie definované rovnostmi (modely, výpočetní model, dokazování).
- Modulární specifikace -- skládání, parametrické specifikace, sémantika modulárních specifikací.
- Postupné zjemňování specifikace -- implementace specifikace, behaviorální návrh, diverzifikace specifikací.
- Aplikace algebraických specifikací -- generování testů, integrace semiformálních a formálních metod.
- Statistika zápisu (nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/zima1996/I051