Formal methods of specification and verification software - Херсонський Віртуальний Університет

Сайтe-БібліотекаFormal methods of specification and verification software

Formal methods of specification and verification software

доц. В.С. Песчаненко

Надіслав: Песчаненко Владимир (3 вересня 2008р.)

Факультет комп'ютерних наук, фізики та математики :: Дисципліни кафедри комп’ютерних наук та програмної інженерії :: Спеціалізовані мови програмування

Анотація

11 лекций по Специальным языкам программирования

см. документ "Робоча програма"

Лекції

Скачати APS&IMS

Лекція 1. Парадигми програмування

Лекція 2. Системи переписання термів

Лекція 3. Система алгебраїчного програмування APS

Лекція 4. Математичні основи APS. Оператори

Лекція 5. APS процедури

Лекція 6. Rewriting in APS

Лекция 7. REM. APLANC. Applications.

Лекция 8. Транзиционные системы

Лекция 9. Алгебра поведений

Лекция 10. Система инсерционного моделирования

Інші команди

Обговорення

Обговорити (0 коментарів)