🗊Презентация Формальные спецификации программ

Категория: Образование
Нажмите для полного просмотра!
Формальные спецификации программ, слайд №1Формальные спецификации программ, слайд №2Формальные спецификации программ, слайд №3Формальные спецификации программ, слайд №4Формальные спецификации программ, слайд №5Формальные спецификации программ, слайд №6Формальные спецификации программ, слайд №7Формальные спецификации программ, слайд №8Формальные спецификации программ, слайд №9Формальные спецификации программ, слайд №10Формальные спецификации программ, слайд №11Формальные спецификации программ, слайд №12Формальные спецификации программ, слайд №13Формальные спецификации программ, слайд №14Формальные спецификации программ, слайд №15Формальные спецификации программ, слайд №16Формальные спецификации программ, слайд №17Формальные спецификации программ, слайд №18
Скачать
Вы можете ознакомиться и скачать презентацию на тему Формальные спецификации программ. Доклад-сообщение содержит 18 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

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

Слайд 1


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

Слайд 2


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

Слайд 3


Кластер термина
Описание слайда:
Кластер термина

Слайд 4


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

Слайд 5


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

Слайд 6


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

Слайд 7


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

Слайд 8


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

Слайд 9


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

Слайд 10


Абстракция в программировании
Описание слайда:
Абстракция в программировании

Слайд 11


Абстракция в программировании. Пример
Описание слайда:
Абстракция в программировании. Пример

Слайд 12


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

Слайд 13


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

Слайд 14


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

Слайд 15


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

Слайд 16


Кластер термина
Описание слайда:
Кластер термина

Слайд 17


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

Слайд 18


Интернет ресурсы http://www.ispras.ru/~RedVerst/ (в русском варианте см. Лекции...) http://coursework.cs.ncl.ac.uk/module/2004/CSC264
Описание слайда:
Интернет ресурсы http://www.ispras.ru/~RedVerst/ (в русском варианте см. Лекции...) http://coursework.cs.ncl.ac.uk/module/2004/CSC264

Скачать

Похожие презентации
Mypresentation.ru
Загрузить презентацию