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

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

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

पूर्ण विवरण

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखक:	Смирнова Н. Н.
स्वरूप:	Книга
भाषा:	Russian
प्रकाशित:	Санкт-Петербург БГТУ "Военмех" им. Д.Ф. Устинова 2014
ऑनलाइन पहुंच:	http://e.lanbook.com/books/element.php?pl1_id=63704 https://e.lanbook.com/img/cover/book/63704.jpg
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

समान संसाधन

Тестирование и верификация программного обеспечения: Практикум
द्वारा: Миронов А. И.
प्रकाशित: (2022)

Верификация программного обеспечения учебное пособие
द्वारा: Синицын, С. В.

Верификация программного обеспечения учебное пособие для спо
द्वारा: Синицын, С. В.

Тестирование программных продуктов. Часть 1 Учебно-методическое пособие к выполнению лабораторных работ и для самостоятельной работы
द्वारा: Елизаров Д. А.
प्रकाशित: (2023)

Верификация цифровых устройств курс лекций. учебное пособие
द्वारा: Скитев, А. А.

Верификация цифровых устройств: курс лекций учебное пособие
द्वारा: Скитев А. А.
प्रकाशित: (2020)

Верификация численных методов решения систем со случайной структурой учебное пособие
द्वारा: Аверина, Т. А.

Проектирование программных систем
द्वारा: Коксеген А. Е.
प्रकाशित: (2022)

Верификация и валидация системных решений. Методические указания
द्वारा: Королев А. С.
प्रकाशित: (2020)

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

Моделирование программных систем учебное пособие
द्वारा: Бескин А. Л.
प्रकाशित: (2023)

Проектирование программных систем учебное пособие
द्वारा: Туманова М. Б.
प्रकाशित: (2023)

Сбор и верификация данных для политического анализа учебно-методическое пособие
द्वारा: Шмелева О. Ю.
प्रकाशित: (2022)

Управление качеством программных систем учебное пособие
द्वारा: Перемитина, Т. О.

Тестирование программного обеспечения учебное пособие для вузов
द्वारा: Игнатьев А. В.
प्रकाशित: (2023)

Администрирование программных и информационных систем учебное пособие
द्वारा: Федотов, Е. А.

Проектирование и архитектура программных систем Учебное пособие
द्वारा: Гагарина Л.Г

Паттерны проектирования программных систем методические указания к проведению лабораторных работ по курсу «архитектура программных систем»
द्वारा: Алексеев, В. А.

Архитектура и проектирование программных систем Монография
द्वारा: Назаров С. В.

Моделирование программных систем. Теоретические основы учебное пособие
द्वारा: Синицын И. В.
प्रकाशित: (2023)

Педагогическое тестирование проблемы, заблуждения, перспективы
द्वारा: Равен, Дж

Физика. Интернет-тестирование базовых знаний учебное пособие для вузов
द्वारा: Калашников Н. П.
प्रकाशित: (2024)

Биологическое тестирование почвы учебное пособие
द्वारा: Цаценко Л. В.
प्रकाशित: (2019)

Тестирование веб-приложений учебное пособие
द्वारा: Аграновский А. В.
प्रकाशित: (2020)

Тестирование программного обеспечения учебное пособие для спо
द्वारा: Игнатьев А. В.
प्रकाशित: (2023)

Инструментальные средства разработки прикладных программных систем учебное пособие
द्वारा: Кузнецова С. В.
प्रकाशित: (2021)

Оценка качества, стандартизация и сопровождение программных систем
द्वारा: Аронов В. Ю.
प्रकाशित: (2018)

Тестирование радиоэлектронных средств: Практикум
द्वारा: Самохина Е. В.
प्रकाशित: (2023)

Проектирование аппаратных и программных средств микропроцессорных систем учебное пособие
द्वारा: Лосев С. А.
प्रकाशित: (2018)

Тестирование бизнес-идей Научно-популярная литература
द्वारा: Блэнд Д.

Физика. Интернет-тестирование базовых знаний
द्वारा: Калашников Н. П.
प्रकाशित: (2022)

Введение в сопровождение программных систем. Часть 1
द्वारा: Рысин М. Л.
प्रकाशित: (2023)

Разработка программных приложений лабораторный практикум
द्वारा: Битюцкая, Н. И.

Тестирование и отладка программного обеспечения пособие
द्वारा: Попова Ю. Б.
प्रकाशित: (2020)

Проектирование, разработка и оценка надежности сложных программных систем
द्वारा: Царев Р. Ю.
प्रकाशित: (2017)

Тестирование как инструмент обучения Материалы конференций
द्वारा: Кузнецов С.И

Медико-педагогическое тестирование в спорте учебное пособие для самоподготовки студентов
द्वारा: Прокопьев Н. Я.
प्रकाशित: (2019)

Тестирование компонентов и комплексов программ учебник
द्वारा: Липаев, В. В.

Тестирование и контроль подготовленности футболистов монография
द्वारा: Губа, В.

Сертификация программных средств учебник
द्वारा: Липаев, В. В.