Prototypování algebraických specifikací
| Kód | Zakončení | Kredity | Rozsah |
|---|---|---|---|
| XP36PAS | ZK | 4 | 2P+2S |
- Garant předmětu:
- Karel Richta
- Přednášející:
- Karel Richta
- Cvičící:
- Karel Richta
- Předmět zajišťuje:
- katedra počítačů
- Anotace:
-
Syntaxe a sémantika specifikačního jazyka, různé způsoby implementace algebraických specifikací, přepisovací systémy, převod specifikace na přepisovací systém, abstraktní přepisovací stroj, prototypování algebraických specifikací, příklady na prototypování v OBJ3.
Výsledek studentské ankety předmětu je zde: http://www.fel.cvut.cz/anketa/aktualni/courses/XP36PAS
- Požadavky:
- Osnova přednášek:
- Osnova cvičení:
- Cíle studia:
- Studijní materiály:
-
1. Richta, Velebil: Sémantika programovacích jazyků. Skripta UK
2. Goguen, Winkler, Meseguer, Futatsugi, Jouannaud: Introducing OBJ. SRI-CSL-92-03, Menlo Park 1992
3. Watt: Programming Language Syntax and Semantics, Prentice Hall 1991
- Poznámka:
- Další informace:
- https://moodle.fel.cvut.cz/courses/XP36PAS
- Rozvrh na zimní semestr 2024/2025:
- Rozvrh není připraven
- Rozvrh na letní semestr 2024/2025:
- Rozvrh není připraven
- Předmět je součástí následujících studijních plánů:
-
- Doktorské studium, prezenční forma (povinně volitelný předmět)
- Doktorské studium, kombinovaná forma (povinně volitelný předmět)
- Doktorské studium, strukturované prezenční (povinně volitelný předmět)
- Doktorské studium, strukturované kombinované (povinně volitelný předmět)