Logo ČVUT
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE
STUDIJNÍ PLÁNY
2019/2020

Prototypování algebraických specifikací

Přihlášení do KOSu pro zápis předmětu Zobrazit rozvrh
Kód Zakončení Kredity Rozsah
XP36PAS ZK 4 2P+2S
Přednášející:
Karel Richta (gar.)
Cvičící:
Karel Richta (gar.)
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 2019/2020:
Rozvrh není připraven
Rozvrh na letní semestr 2019/2020:
06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Po
Út
St
místnost KN:E-205

16:15–17:45
(přednášková par. 1)
Karlovo nám.
Koníčkova konzultačka
místnost KN:E-205

18:00–19:30
(přednášková par. 1
paralelka 101)

Karlovo nám.
Koníčkova konzultačka
Čt

Předmět je součástí následujících studijních plánů:
Platnost dat k 22. 1. 2020
Aktualizace výše uvedených informací naleznete na adrese http://bilakniha.cvut.cz/cs/predmet11846604.html