Popis předmětu - XP36PAS
Přehled studia |
Přehled oborů |
Všechny skupiny předmětů |
Všechny předměty |
Seznam rolí |
Vysvětlivky
Návod
Výsledek studentské ankety předmětu je zde: XP36PAS
| XP36PAS | Prototypování algebraických specifikací | ||
|---|---|---|---|
| Role: | S | Rozsah výuky: | 2P+2S |
| Katedra: | 13136 | Jazyk výuky: | |
| Garanti: | Richta K. | Zakončení: | ZK |
| Přednášející: | Richta K. | Kreditů: | 4 |
| Cvičící: | Richta K. | Semestr: | Z,L |
Webová stránka:
https://moodle.fel.cvut.cz/courses/XP36PASAnotace:
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: XP36PAS
Osnovy přednášek:
Osnovy cvičení:
Literatura:
| 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 |
Požadavky:
Předmět je zahrnut do těchto studijních plánů:
| Plán | Obor | Role | Dop. semestr |
| DOKP | Před zařazením do oboru | S | – |
| DOKK | Před zařazením do oboru | S | – |
| Stránka vytvořena 13.10.2026 15:56:54, semestry: L/2029-30, L/2027-8, L/2026-7, L/2028-9, Z/2026-7, L/2025-6, Z/2028-9, Z/2027-8, připomínky k informační náplni zasílejte správci studijních plánů | Návrh a realizace: I. Halaška (K336), J. Novák (K336) |