
Требование проведения доказательства правильности написанной программы у программиста-практика вызывает сопротивление, так как он обычно располагает иного рода доводами в пользу достаточной надежности своей программы. Цель этой книги — дать единую теоретико-множественную схему: с одной стороны, наиболее распространенные традиционные методы, с другой стороны, новые методы анализа программ. Верификация – это проверка на соответствие программного обеспечения технической документации, которая представлена техзаданием, архитектурой или моделью предметной области. В задачи верификации включается и сопоставление процедуры расчетов с процессом их разработки, правилами и стандартами. Эта книга для студентов и аспирантов математических специальностей, а также научных работников, интересующихся проблемами теоретического программирования.
Название: Элементы анализа программ. Частичные функции на множестве состояний
Автор: Абрамов С.А.
Издательство: М.: Наука
Год: 1986
Страниц: 130
ISBN: 519-20122017-64
Серия: Библиотечка программиста
Язык: Русский
Формат: djvu
Размер: 13,9 Мб
Качество: хорошее, текстовый слой, оглавление.
Скачать Элементы анализа программ