Написать рефераты, курсовые и дипломы самостоятельно.  Антиплагиат.
Студенточка.ru: на главную страницу. Написать самостоятельно рефераты, курсовые, дипломы  в кратчайшие сроки
Рефераты, курсовые, дипломные работы студентов: научиться писать  самостоятельно.
Контакты Образцы работ Бесплатные материалы
Консультации Специальности Банк рефератов
Карта сайта Статьи Подбор литературы
Научим писать рефераты, курсовые и дипломы.


подбор литературы периодические источники литература по предмету

Система автоматического поиска инварианта цикла



Год выпуска: 2014
Автор: Андрей Шипов und Юрий Кораблин
Издательство: LAP Lambert Academic Publishing
Страниц: 72
ISBN: 9783659521751
Описание
Задача верификации программного обеспечения становится сегодня все более востребованной, так как сложность программных систем с каждым днем постоянно растет, и мы все больше сталкиваемся с теми или иными сбоями в их работе. Инвариантом в программировании называется логическое выражение, зависящее от переменных в теле цикла и истинное, как перед его выполнением, так и после. Знание инварианта для конкретного цикла позволяет выполнить проверку на корректность его работы. В данной книге делается попытка разработки такой программной системы, которая позволила бы реализовать автоматический поиск инвариантов для конкретно заданных циклов и частично автоматизировать процесс верификации программ. Данная книга будет интересна и полезна, как опытным программистам, так и тем, кто просто интересуется проблемой верификации программного обеспечения.


Похожие книги

  1. В.А. Бесекерский, Е.П. Попов. Теория систем автоматического управления. – М.: Профессия, 2007. – 752 с.
  2. В.И. Каганов. Радиоэлектронные системы автоматического управления. Компьютеризированный курс. – М.: Горячая Линия - Телеком, 2009. – 432 с.
  3. С.И. Малафеев, А.А. Малафеева. Основы автоматики и системы автоматического управления. – М.: Академия, 2010. – 384 с.
  4. Я.З. Цыпкин. Теория автоматического регулирования. Системы автоматического регулирования при случайных возмущениях. Лекция. – М.: Типография МЭИ, 1959. – 40 с.
  5. А.Ю. Ощепков. Системы автоматического управления. Теория, применение, моделирование в MATLAB. – СПб.: Лань, 2013. – 208 с.
  6. Взлом техногенной системы. В поисках предназначения (комплект из 2 книг). – М.: ИГ "Весь", 2012. – 864 с.
  7. Системы автоматического регулирования. Практикум по математическому моделированию (+ CD-ROM). – Ростов-на-Дону: Феникс, 2015. – 464 с.
  8. Марина Макарич. Автоматическая система для создания табличного реферата группы текстов. – М.: LAP Lambert Academic Publishing, 2012. – 152 с.
  9. Александр Крылов und Эдуард Галиаскаров. Разработка системы интеллектуального поиска на основе онтологий. – М.: LAP Lambert Academic Publishing, 2012. – 120 с.
  10. Андрей Шипов und Юрий Кораблин. Система автоматического поиска инварианта цикла. – М.: LAP Lambert Academic Publishing, 2014. – 72 с.
  11. Юрий Клименков und Владимир Легаев. Газостатические опоры с системами автоматического регулирования. – М.: LAP Lambert Academic Publishing, 2011. – 140 с.
  12. Игорь Карцан. Многоагентная система для поиска и обработки информации. – М.: LAP Lambert Academic Publishing, 2012. – 184 с.
  13. Сергей Бахарев. Автоматический поиск и подъем затонувших кораблей и судов. – М.: LAP Lambert Academic Publishing, 2012. – 288 с.
  14. Юрий Садомцев. Системы автоматического управления с обратной связью. – М.: LAP Lambert Academic Publishing, 2012. – 228 с.
  15. В.И. Каганов. Радиоэлектронные системы автоматического управления. Компьютеризированный курс. Учебное пособие. – М.: Горячая Линия - Телеком, 2015. – 432 с.
  16. Системы автоматические пожаротушения, пожарной, охранной и охранно-пожарной сигнализации. Порядок разработки задания на проектирование. – М.: Энергия, 2014. – 24 с.
  17. В.М. Журомский. Линейные системы автоматического управления. Частотные методы. Инженерно-физические основы. Учебное пособие. – М.: Юрайт, 2018. – 154 с.

Образцы работ

Тема и предметТип и объем работы
Дизайн газеты. Иллюстрации в газете
Реклама
Курсовая работа
25 стр.
Финансовая глобализация мировой экономики
Международные экономические отношения
Курсовая работа
40 стр.
Глобализация мировых финансовых рынков
Международные экономические отношения
Диплом
110 стр.
Пожарная сигнализация нефтегазовых объектов
Безопасность жизнедеятельности
Диплом
111 стр.



Задайте свой вопрос по вашей теме

Гладышева Марина Михайловна

marina@studentochka.ru
+7 911 822-56-12
с 9 до 21 ч. по Москве.
Контакты
marina@studentochka.ru
+7 911 822-56-12
с 9 до 21 ч. по Москве.
Поделиться
Мы в социальных сетях
Реклама



Отзывы
Николай
Спасибо Марина за помощь!!!