Темы и задачи по языку RSL
Описание файла
PDF-файл из архива "Темы и задачи по языку RSL", который расположен в категории "". Всё это находится в предмете "формальная спецификация и верификация программ" из 9 семестр (1 семестр магистратуры), которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .
Просмотр PDF-файла онлайн
Текст из PDF
Темы и задачи по языку RSL, знание которых являетсянеобходимым для освоения курса “Формальная спецификация иверификация программ”1.2.3.4.5.6.7.RSL-схемы, типы, value, variable, axiom.Встроенные, составные и абстрактные типы.Логика в языке RSL.Явный стиль описания функции.Неявный стиль описания функции.Аксиоматический стиль описания системы функций.Понятие тотальной и частичной функции.
Способы описания тотальных ичастичных функций в RSL.8. Понятие предусловия и превыражения в RSL.9. Операции над декартовыми произведениями в RSL.10. Определение и использование множеств.11. Операции над множествами в RSL.12. Определение и использование списков.13. Операции над списками в RSL.14. Определение и использование отображений.15. Операции над отображениями в RSL.16. Способы спецификации побочного эффекта функций в RSL. Конструкции языкаRSL, использующие тип Unit.17. Понятие о свойствах программ и их задание при помощи аксиом в RSL.18.
Написание спецификации функции на RSL в явном виде, эквивалентное заданнойспецификации функции в неявном виде.19. Написание спецификации функции на RSL в неявном виде, эквивалентноезаданной спецификации функции в явном виде.20. Вычислить значение выражения на языке RSL.21. Задана модель структуры данных в виде типа на RSL и словесное описаниесемантики этой структуры данных (например, она должна представлять из себястек ограниченной глубины). Записать в виде аксиом на RSL инвариантныесвойства этой модели структуры данных.22.
Формализовать на RSL в виде аксиомы фразу русского языка, правильно отразивее смысл..