Přehled studia | Přehled oborů | Všechny skupiny předmětů | Všechny předměty | Seznam rolí | Vysvětlivky               Návod
P36PAS Prototypování algebraických specifikací (pro PGS) Rozsah výuky:2+2
Přednášející (garant):Richta K. Typ předmětu:S Zakončení:ZK
Zodpovědná katedra:336 Kreditů:4 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.

Literatura Č:

Literatura A:

Plán Obor Role Dop. semestr
DOKK Elektrotechnika a informatika S Není
DOKP Elektrotechnika a informatika S Není


Stránka vytvořena 14. 2. 2002, semestry: Z/2001-2, Z/2002-3, L/2001-2, L/2002-3, 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)