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
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

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: 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:

Webová stránka:

https://moodle.fel.cvut.cz/courses/XP36PAS

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 30.11.2020 17:50:52, semestry: L/2021-2, Z,L/2020-1, L/2019-20, Z/2021-2, 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)
Za obsah odpovídá: doc. Ing. Ivan Jelínek, CSc.