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 9.11.2025 07:51:36, semestry: L/2024-5, L/2025-6, Z,L/2026-7, Z/2025-6, 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) |