Информационно-библиотечный центр Поволжского государственного технологического университета

Главная

Упрощенный режим

Описание

Базы данных

Книги- результаты поиска

Вид поиска

Книги

Статьи

Полные тексты изданий ПГТУ

Периодика

Авторефераты и диссертации

Область поиска

Найдено в других БД:

Статьи (19)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=верификация<.>)

Общее количество найденных документов : 4
Показаны документы с 1 по 4

Мурсаев, А. Х.
Практикум по проектированию на языках VerilogHDL и SystemVerilog [Электронный ресурс] / А. Х. Мурсаев, О. И. Буренева. - 4-е изд., стер. - Санкт-Петербург : Лань, 2022. - 120 с. - ISBN 978-5-8114-9560-3 : Б. ц.

Кл.слова (ненормированные):
проектирование -- verilog hdl -- systemverilog -- методика проектирования -- верификация -- моделирование -- язык проектирования -- эбс лань
Аннотация: Представлены основные этапы проектирования дискретных устройств с использованием языков проектирования и верификации Verilog HDL и SystemVerilog: создание описания, моделирование, имплементация в реальную микросхему и отладка. Изложение сопровождается рекомендациями по практическому освоению различных этапов методики проектирования. Предназначено для студентов, обучающихся по направлению «Информатика и вычислительная техника» и других специальностей, связанных с разработкой цифровых устройств и систем.
Перейти к внешнему ресурсу ЭБС Лань. Доступ до 31.08.2024

Доп.точки доступа:
Буренева, О. И.

Найти похожие

004.052.42(07)
С 38

Синицын, С. В.
Верификация программного обеспечения [Электронный ресурс] / С. В. Синицын, Н. Ю. Налютин. - 2-е изд. - Москва : ИНТУИТ, 2016. - 445 с. - ISBN 978-5-94774-825-3 : Б. ц.

УДК

004.052.42(07)

ББК 22

Кл.слова (ненормированные):
конфигурационное управление -- учебники -- тестирование программного курса -- программное обеспечение -- верификация -- управление качеством -- устойчивые коды -- формальные инспекции -- ЭБС Лань
Аннотация: Курс знакомит слушателей с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, связанных с современными технологиями верификации программного обеспечения. Курс основан на методиках тестирования промышленных программных систем. Он охватывает вопросы построения тестового окружения, планирования системы тестов, анализа и обнаружения дефектов программного кода тестируемой системы, интеграционного и системного тестирования, общих аспектов тестирования пользовательских интерфейсов. В программу курса входит рассмотрение процессов верификации проектной документации, а также процессов формальной инспекции кода и документации. Детально рассматриваются различные виды документов, сопровождающих процесс верификации, и процессы разработки, в которых эти документы участвуют. В завершение курса дается обзор методов разработки устойчивого программного обеспечения, позволяющих уменьшить продолжительность фазы тестирования без снижения его качества. Основным инструментальным средством, используемым при обучении, является Microsoft Visual Studio Team Edition for Software Testers. По завершении курса студент овладевает всеми основными навыками, необходимыми для участия в верификации сложных промышленных систем.
Перейти к внешнему ресурсу ЭБС Лань. Доступ до 31.08.2024

Доп.точки доступа:
Налютин, Н. Ю.

Найти похожие

004.41(075.8)
М 12

Маглинец, Ю. А.
Анализ требований к автоматизированным информационным системам [Электронный ресурс] / Ю. А. Маглинец. - 2-е изд. - Москва : ИНТУИТ, 2016. - 191 с. - ISBN 978-5-94774-865-9 : Б. ц.

УДК

004.41(075.8)

ББК 17

Кл.слова (ненормированные):
практикум -- лабораторные работы -- лабораторный практикум -- учебные пособия для вузов -- автоматизированные информационные системы -- информатика -- информационные системы -- автоматизированные системы -- требования -- информационные технологии -- системы -- ЭБС Лань
Аннотация: Курс содержит сведения об анализе требований как об инженерной дисциплине. Приводятся классификации требований, анализируются свойства требований, рассматривается методологии, стандарты, нотации, артефакты работы с требованиями. Подробно анализируются составляющие анализа требований - выявление, специфицирование и документирование, верификация. Рассматривается роль прототипов, моделей, инструментальных средств, процесс управления требованиями, процесс совершенствования работы с требованиями.
Перейти к внешнему ресурсу ЭБС Лань. Доступ до 31.08.2024

Найти похожие

   621
   О-75


    Основы построения САПР ТП в многономенклатурном машиностроительном производстве [Текст] : [учебник для студентов вузов по направлениям "Конструкторско-технологическое обеспечение машиностроительных производств", "Автоматизация технологических процессов и производств"] / Г. Б. Бурдо [и др.]. - Старый Оскол : ТНТ, 2013. - 278 с. : ил. - Библиогр.: с. 274-278 (51 назв.). - ISBN 978-5-94178-378-6 : 621.30 р.

ГРНТИ	55.01.85
УДК	621-52(075.8)

Кл.слова (ненормированные):
УЧЕБНИКИ -- ГРИФ УМО ВУЗОВ ПО ОБРАЗОВАНИЮ В ОБЛАСТИ АВТОМАТИЗИРОВАННОГО МАШИНОСТРОЕНИЯ -- МАШИНОСТРОИТЕЛЬНОЕ ПРОИЗВОДСТВО МНОГОНОМЕНКЛАТУРНОЕ -- ТЕХНОЛОГИЧЕСКИЕ ПРОЦЕССЫ (МАШИНОСТРОЕНИЕ) -- МЕЛКОСЕРИЙНОМ ПРОИЗВОДСТВО -- САПР ТП В МАШИНОСТРОЕНИИ -- АВТОМАТИЗАЦИЯ МАШИНОСТРОИТЕЛЬНОГО ПРОИЗВОДСТВА -- АВТОМАТИЗИРОВАННОЕ ПРОЕКТИРОВАНИЕ ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ -- ТЕХНОЛОГИЧЕСКАЯ ПОДГОТОВКА ПРОИЗВОДСТВА (машиностроение) -- ПРОИЗВОДСТВЕННЫЕ СИСТЕМЫ (машиностроение) -- валидация моделей САПР ТП -- верификация моделей САПР ТП
Доп.точки доступа:
Бурдо, Георгий Борисович
Григорьев, Сергей Николаевич
Камаев, Валерий Анатольевич
Митрофанов, Владимир Гергиевич
Палюх, Борис Васильевич
Схиртладзе, Александр Георгиевич

Экземпляры всего: 9
абунл (8), кнхр (1)
Свободны: абунл (8), кнхр (1)

Найти похожие

Тематический навигатор

Статистика за 02.07.2024
Число запросов	109617
Число посетителей	759
Число заказов	0