Верификация и тестирование программных систем учебное пособие для вузов

Верификация и тестирование программных систем учебное пособие для вузов

Кратко изложены теоретические аспекты верификации программных систем. Приведены различные алгебры процессов, их аксиоматика и семантика, понятие слабой и сильной бисимуляционной эквивалентности поведений агентов (системы), её значение для доказательства правильности работы программной системы. Предс...

Cur síos iomlán

Sábháilte in:

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Смирнова Н. Н.
Formáid:	Книга
Teanga:	Russian
Foilsithe / Cruthaithe:	Санкт-Петербург БГТУ "Военмех" им. Д.Ф. Устинова 2014
Rochtain ar líne:	http://e.lanbook.com/books/element.php?pl1_id=63704 https://e.lanbook.com/img/cover/book/63704.jpg
Clibeanna:	Cuir clib leis Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!

Míreanna comhchosúla

Тестирование и верификация программного обеспечения: Практикум
de réir: Миронов А. И.
Foilsithe / Cruthaithe: (2022)

Верификация программного обеспечения учебное пособие
de réir: Синицын, С. В.

Верификация программного обеспечения учебное пособие для спо
de réir: Синицын, С. В.

Тестирование программных продуктов. Часть 1 Учебно-методическое пособие к выполнению лабораторных работ и для самостоятельной работы
de réir: Елизаров Д. А.
Foilsithe / Cruthaithe: (2023)

Верификация цифровых устройств курс лекций. учебное пособие
de réir: Скитев, А. А.

Верификация цифровых устройств: курс лекций учебное пособие
de réir: Скитев А. А.
Foilsithe / Cruthaithe: (2020)

Верификация численных методов решения систем со случайной структурой учебное пособие
de réir: Аверина, Т. А.

Проектирование программных систем
de réir: Коксеген А. Е.
Foilsithe / Cruthaithe: (2022)

Верификация и валидация системных решений. Методические указания
de réir: Королев А. С.
Foilsithe / Cruthaithe: (2020)

Тестирование радиооборудования систем связи учебное пособие

Моделирование программных систем учебное пособие
de réir: Бескин А. Л.
Foilsithe / Cruthaithe: (2023)

Проектирование программных систем учебное пособие
de réir: Туманова М. Б.
Foilsithe / Cruthaithe: (2023)

Сбор и верификация данных для политического анализа учебно-методическое пособие
de réir: Шмелева О. Ю.
Foilsithe / Cruthaithe: (2022)

Управление качеством программных систем учебное пособие
de réir: Перемитина, Т. О.

Тестирование программного обеспечения учебное пособие для вузов
de réir: Игнатьев А. В.
Foilsithe / Cruthaithe: (2023)

Администрирование программных и информационных систем учебное пособие
de réir: Федотов, Е. А.

Проектирование и архитектура программных систем Учебное пособие
de réir: Гагарина Л.Г

Паттерны проектирования программных систем методические указания к проведению лабораторных работ по курсу «архитектура программных систем»
de réir: Алексеев, В. А.

Архитектура и проектирование программных систем Монография
de réir: Назаров С. В.

Моделирование программных систем. Теоретические основы учебное пособие
de réir: Синицын И. В.
Foilsithe / Cruthaithe: (2023)

Педагогическое тестирование проблемы, заблуждения, перспективы
de réir: Равен, Дж

Физика. Интернет-тестирование базовых знаний учебное пособие для вузов
de réir: Калашников Н. П.
Foilsithe / Cruthaithe: (2024)

Биологическое тестирование почвы учебное пособие
de réir: Цаценко Л. В.
Foilsithe / Cruthaithe: (2019)

Тестирование веб-приложений учебное пособие
de réir: Аграновский А. В.
Foilsithe / Cruthaithe: (2020)

Тестирование программного обеспечения учебное пособие для спо
de réir: Игнатьев А. В.
Foilsithe / Cruthaithe: (2023)

Инструментальные средства разработки прикладных программных систем учебное пособие
de réir: Кузнецова С. В.
Foilsithe / Cruthaithe: (2021)

Оценка качества, стандартизация и сопровождение программных систем
de réir: Аронов В. Ю.
Foilsithe / Cruthaithe: (2018)

Тестирование радиоэлектронных средств: Практикум
de réir: Самохина Е. В.
Foilsithe / Cruthaithe: (2023)

Проектирование аппаратных и программных средств микропроцессорных систем учебное пособие
de réir: Лосев С. А.
Foilsithe / Cruthaithe: (2018)

Тестирование бизнес-идей Научно-популярная литература
de réir: Блэнд Д.

Физика. Интернет-тестирование базовых знаний
de réir: Калашников Н. П.
Foilsithe / Cruthaithe: (2022)

Введение в сопровождение программных систем. Часть 1
de réir: Рысин М. Л.
Foilsithe / Cruthaithe: (2023)

Разработка программных приложений лабораторный практикум
de réir: Битюцкая, Н. И.

Тестирование и отладка программного обеспечения пособие
de réir: Попова Ю. Б.
Foilsithe / Cruthaithe: (2020)

Проектирование, разработка и оценка надежности сложных программных систем
de réir: Царев Р. Ю.
Foilsithe / Cruthaithe: (2017)

Тестирование как инструмент обучения Материалы конференций
de réir: Кузнецов С.И

Медико-педагогическое тестирование в спорте учебное пособие для самоподготовки студентов
de réir: Прокопьев Н. Я.
Foilsithe / Cruthaithe: (2019)

Тестирование компонентов и комплексов программ учебник
de réir: Липаев, В. В.

Тестирование и контроль подготовленности футболистов монография
de réir: Губа, В.

Сертификация программных средств учебник
de réir: Липаев, В. В.