Формальные спецификации программ - презентация, доклад, проект скачать

Нажмите для полного просмотра!

Формальные спецификации программ, слайд №1

Формальные спецификации программ, слайд №2

Формальные спецификации программ, слайд №3

Формальные спецификации программ, слайд №4

Формальные спецификации программ, слайд №5

Формальные спецификации программ, слайд №6

Формальные спецификации программ, слайд №7

Формальные спецификации программ, слайд №8

Формальные спецификации программ, слайд №9

Формальные спецификации программ, слайд №10

Формальные спецификации программ, слайд №11

Формальные спецификации программ, слайд №12

Формальные спецификации программ, слайд №13

Формальные спецификации программ, слайд №14

Формальные спецификации программ, слайд №15

Формальные спецификации программ, слайд №16

Формальные спецификации программ, слайд №17

Формальные спецификации программ, слайд №18

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Формальные спецификации программ. Доклад-сообщение содержит 18 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

Формальные спецификации программ А.К.Петренко МГУ ВМиК, ИСП РАН, ИПМ РАН, член IEEE CS

Слайд 2

Описание слайда:

Лекция Введение. Место формальных спецификаций в промышленной разработке ПО

Слайд 3

Описание слайда:

Кластер термина

Слайд 4

Описание слайда:

План лекции Разработка ПО как отрасль промышленности Проблемы разработки ПО Моделирование и спецификация Формализация Структура курса

Слайд 5

Описание слайда:

Проблемы современной индустрии ПО

Слайд 6

Описание слайда:

Производство ПО. Процессы «прямой инженерии»

Слайд 7

Описание слайда:

Как снизить стоимость дополнительного потока? Стоимость исправления ошибки зависит от «расстояния» между моментом ее возникновения и моментом обнаружения Формальные методы дают возможность сократить латентный период существования ошибок за счет: моделирования и приемов и средств анализа

Слайд 8

Описание слайда:

Виды использования моделей жизненном цикле ПО

Слайд 9

Описание слайда:

Спецификация - основные принципы Абстракция (abstraction) Строгость (rigour) Формальность (formality)

Слайд 10

Описание слайда:

Абстракция в программировании

Слайд 11

Описание слайда:

Абстракция в программировании. Пример

Слайд 12

Описание слайда:

Строгость Модель/ спецификация должна позволять Объективный анализ Воспроизводимость анализа Машинную поддержку

Слайд 13

Описание слайда:

Модель vs. Спецификация Модель – материальная или ментальная сущность, использующаяся для проектирования или анализа свойств целевой системы (реализации) Спецификация – описание (представление) модели (спецификация задает модель) Спецификация – описание свойств реализации с точностью до уровня абстракции, заданного моделью. Для краткости «модель» и «спецификация» часто рассматриваются как синонимы

Слайд 14

Описание слайда:

Формальность Под «формальностью» мы понимаем возможность строить модели, анализировать их свойства однозначным образом. Формальность должна допускать широкий набор методов анализа, включая математические доказательства.

Слайд 15

Описание слайда:

Строгость vs. Формальность Строгое определение Формальное определение

Слайд 16

Описание слайда:

Кластер термина

Слайд 17

Описание слайда:

План курса Введение в формальные методы разработки ПО Язык RSL и RAISE метод Формальные спецификации в тестировании и реверс-инженерии Общие вопросы тестирования Тестирование на основе спецификаций Спецификация наследованного ПО