Расширенный поиск

Рыжков Е. А., Карпов А. Н.
   Подходы к верификации и тестированию 64-битных приложений / Рыжков Е. А., Карпов А. Н. // Информационные технологии. - 2008. - № 7. - С. 41-45.

Рэшка Д., Дастин Э., Пол Дж.
   Автоматизированное тестирование программного обеспечения. Внедрение, управление и эксплуатация : пер. с англ. / Рэшка Д., Дастин Э., Пол Дж. ; пер. Молодцова Е., Павлов М. - М. : Лори, 2003. - 567 с. - ISBN 5-85582-186-2.

Рэшка Д., Дастин Э., Пол Дж.
   Тестирование программного обеспечения. Внедрение, управление и эксплуатация / Рэшка Д., Дастин Э., Пол Дж. ; пер. с англ. Павлов М. - [М.] : Лори, 2012. - XXII, 567 с. - ISBN 978-5-85582-318-9.

Сажин Ю. Б., Самохин С. В.
   Выполнение организационно-экономической части дипломного проекта по разработке и использованию программного продукта. : метод. пособие / Сажин Ю. Б., Самохин С. В. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2006. - 59 с. ил. - Библиогр.: с. 59. - ISBN 5-7038-2830-9.

Самохвалов Э. Н., Ревунков Г. И., Гапанюк Ю. Е.
   Генерация исходного кода программного обеспечения на основе многоуровнего набора правил / Самохвалов Э. Н., Ревунков Г. И., Гапанюк Ю. Е. // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2014. - № 5. - С. 77-87.

Саркисян А. А.
   Повышение качества программ на основе автоматизированных методов / Саркисян А. А. - М. : Радио и связь, 1991. - 156 с. : рис. - Библиогр.: с. 152-154. - ISBN 5-256-00629-0.

Сахаров М. К.
   Методика проектирования программ для решения задач глобальной параметрической оптимизации на слабосвязанных вычислительных системах : дис... ктн : 05. 13. 11 / Сахаров М. К. ; МГТУ им. Н. Э. Баумана (Национальный исследовательский университет). - М., 2019. - 123 л. : ил. - Библиогр.: л. 108-123.

Сахаров М. К.
   Методика проектирования программ для решения задач глобальной параметрической оптимизации на слабосвязанных вычислительных системах : автореф. дис... ктн : 05. 13. 11 / Сахаров М. К. ; МГТУ им. Н. Э. Баумана (Национальный исследовательский университет). - М., 2019. - 17 с. : ил.

   Сертификация программного обеспечения. Статический анализ программного кода : учебно-методическое пособие / Антонова В. М., Астрахов А. В., Кондаков С. Е. [и др.] ; МГТУ им. Н. Э. Баумана (национальный исследовательский университет). - М. : Изд-во МГТУ им. Н. Э. Баумана, 2019. - 22 с. - Библиогр. в конце брош. - ISBN 978-5-7038-5043-5.

Скляров В. А., Новиков С. В., Ярмолик В. Н.
   Автоматизация проектирования ЭВМ : учебное пособие для вузов / Скляров В. А., Новиков С. В., Ярмолик В. Н. - Минск : Вышэйшая школа, 1990. - 355 с. - Библиогр.: с. 345-346. - ISBN 5-339-00345-0.