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 комментариев)