new! Результаты коллоквиума 12 мая 2006(23.05.2006)
Темы рефератов (22.03.2006):
Вопросы к коллоквиуму 5 марта 2003, пополнены (27.02.2003)
Темы для студенческих работ (9.10.2002)
|
╧╧ |
Тема лекции |
Альтернативные конспекты |
Вводные лекции |
||
|
1 |
Конспекты лекций подготовленные Валентиной Глазковой, Оксаной Джосан и Сергеем Растороповым (2004/2005) Лекция. Работа с требованиями (Кулямин) |
|
RAISE метод |
||
|
2 |
Лекция. Виды формальных спецификаций (Кулямин) | |
|
3 |
||
|
4 |
Е.Стырин. RAISE метод (2001) | |
|
5 |
RSL.Списки и операции со списками (.doc файл) | |
|
6 |
RSL. Отображения и операции с отображениями (.doc файл), (*.ppt). |
Лекция. Типы языка RSL и их использование (Кулямин) |
|
7 |
RAISE Development Method: некоторые виды спецификаций и проверка согласованности моделей |
|
|
8 |
||
|
9 |
Е.Стырин. Императивные выражения (2001/2002) | |
|
10 |
Неполная спецификация и недетерминизм. Let- и Case-выражения |
Е.Стырин Неполные спецификации и недетерминизм (2001/2002) |
| 11 | Процессы и коммуникация между процессами. | В.Мутилин. Параллельные процессы и недетерминизм в RSL (doc файл). Пример (.rsl файл) (2001/2002) |
Тестирование на основе спецификаций |
||
|
12 |
Е.Стырин Тестирование 1 (2001/2002) | |
|
13 |
Е.Стырин Тестирование 1 (2001/2002) | |
|
14 |
Е.Стырин. Тестирование 4(2001/2002) | |
|
|
Альтернативный блок (Лектор В.В.Кулямин) |
|
| 12 | Методы автоматизации тестирования (Кулямин). Лекция 1. | |
| 13 | Методы автоматизации тестирования (Кулямин). Лекция 2. Слайды. | |
| 14 | Методы автоматизации тестирования (Кулямин). Лекция 3. | |
Языки SDL и MSC |
||
| 15-20 | см. Конспекты лекций подготовленные Валентиной Глазковой, Оксаной Джосан и Сергеем Растороповым (2004/2005) | |
Аналитическая верификация |
||
| 21-22 | Лекция. Аналитическая верификация | |
| Пример задачи на экзамене по теме "Аналитическая верификация" | ||
Верификация языковых процессоров |
||
| 23 | Лекция 1 . Формальная семантика языков программирования | |
| 24 | Лекция 2 . Формальная семантика языков программирования | |
|
25 |
Лекция 3 . Формальная семантика языков программирования | |
| Учебные материалы блока | ||
| Задачи по теме "Семантика языков программирования" | ||
| BNF языка IMP | ||
| Атрибутная грамматика языка IMP | ||
| Статическая семантика языка IMP в форме wf-функций | ||
| Атрибутная грамматика языка SIL | ||
| Операционная семантика языка SIL | ||
| Абстрактный синтаксис IMP | ||
Синтаксический анализатор J@va, осуществляющий проверку правильности J@va-кода