Digital catalogue


 

Choice of metadata IPR SMART

Page 1, Results: 1

Report on unfulfilled requests: 0

86194
Синицын, С. В.
    Верификация программного обеспечения : учебное пособие для СПО / Синицын С. В. - Саратов : Профобразование, 2019. - 368 с. - ISBN 978-5-4488-0357-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
ББК 32.973

Кл.слова (ненормированные):
верификация по -- интеграционное тестирование -- конфигурационное управление -- менеджмент качества -- модульное тестирование -- пользовательский интерфейс -- программное обеспечение -- системное тестирование -- устойчивый код -- формальная инспекция
Аннотация: В учебном пособии представлены современные технологии верификации программного обеспечения, применяемые при промышленной разработке сложных и отказоустойчивых программных систем. Материал издания рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения. Учебное пособие предназначено для изучения дисциплины «Программное обеспечение компьютерных сетей» по специальности среднего профессионального образования 09.02.01 «Компьютерные системы и комплексы» и др.

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

Синицын, С. В. Верификация программного обеспечения [Электронный ресурс] : Учебное пособие для СПО / Синицын С. В., 2019. - 368 с.

1.

Синицын, С. В. Верификация программного обеспечения [Электронный ресурс] : Учебное пособие для СПО / Синицын С. В., 2019. - 368 с.


86194
Синицын, С. В.
    Верификация программного обеспечения : учебное пособие для СПО / Синицын С. В. - Саратов : Профобразование, 2019. - 368 с. - ISBN 978-5-4488-0357-4 : Б. ц.
Книга находится в Премиум-версии IPR SMART.

УДК
ББК 32.973

Кл.слова (ненормированные):
верификация по -- интеграционное тестирование -- конфигурационное управление -- менеджмент качества -- модульное тестирование -- пользовательский интерфейс -- программное обеспечение -- системное тестирование -- устойчивый код -- формальная инспекция
Аннотация: В учебном пособии представлены современные технологии верификации программного обеспечения, применяемые при промышленной разработке сложных и отказоустойчивых программных систем. Материал издания рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, которые связаны с современными технологиями верификации программного обеспечения. Учебное пособие предназначено для изучения дисциплины «Программное обеспечение компьютерных сетей» по специальности среднего профессионального образования 09.02.01 «Компьютерные системы и комплексы» и др.

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

Page 1, Results: 1

 

All acquisitions for 
Or select a month