Полное описание
> Турко, С. А. Тестирование программных средств и информационных технологий в процессах их разработки : монография / С. А. Турко. - Ставрополь : Губерния, 2017. - 132 с. : ил. - Библиогр.: с. 126 (63 назв.). - 500 экз. - ISBN 978-5-9909040-5-7. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 50.01 | 004.415.53 | |
| 004-044.3 |
Рубрики:
Программы для ЭВМ -- Тестирование
Информационные технологии -- Техническая диагностика
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-17/41851)>
Шифр в сводном ЭК: f2eff761cb4bc7478d7ba8f9955787e9
Турко С.А. Тестирование программных средств и информационных технологий в процессах их разработки : монография / С. А. Турко, 2017. - 132 с. - Текст : непосредственный.Турко С.А. Разработка программных средств и информационных технологий на базе тестовых наборов : монография / Турко С. А., Близно Л. В., Бутова О. О., 2023. - 190 с. - Текст (визуальный) : непосредственный.
Семененко В.А. Справочник по электронной вычислительной технике / В. А. Семененко, Ю. В. Ступин, 1993. - 222 с. - Текст : непосредственный.КомпьютерПресс. - Журнал выходит с 1989г. - Текст : непосредственный.Головина М.С. Экономические аспекты региональной энергетической безопасности и экспортная стратегия России на рынке газа стран Европейского Союза / М. С. Головина, 2015. - 27 с. - Текст : непосредственный.Инновационные технологии : сборник научных трудов / Ред. В. П. Корячко, 2015. - 139 с. - Текст : непосредственный.Михеева Е.В. практикум по информационным технологиям в профессиональной деятельности : выставочные материалы / Е. В. Михеева, 2015. - 255 с. - Текст : непосредственный.Информационные технологии и телекоммуникации в образовании, экономике и управлении регионом : материалы временных коллективов / Ассоциация "Тюменский региональный научно-образовательный комплекс", 2007. - 139 с. - Текст : непосредственный.Борисов Н.А. Художественное конструирование ЭВА и РЭА / Н. А. Борисов, 1990. - 39 c. - Текст : непосредственный.Шрайберг, Яков Леонидович. Справочное руководство по основам информатики и вычислительной техники / Я. Л. Шрайберг, М. В. Гончаров, 1990. - 33 c. (Введено оглавление). - Текст : непосредственный.Жешке Р. Толковый словарь стандарта языка Си : монография / Р. Жешке, 1994. - 221 c. - Текст : непосредственный.Supercomputing'91 : материалы временных коллективов, 1991. - XXIII,917 p. p. - Текст : непосредственный.Artificial neural networks : сборник научных трудов / Ed. J. Diederich, 1990. - VII,141 p. p. - Текст : непосредственный.Matley B.G. National computer policies / B. G. Matley, T. A. McDannold, 1987. - XVII,172 p. p. - Текст : непосредственный.Innovative applications of artificial intelligence 3 : материалы временных коллективов / Ed.: R. G. Smith, A. C. Scott, 1991. - 362 p. - Текст : непосредственный.Logic programming : материалы временных коллективов / Ed.: V. Saraswat, K. Ueda, 1991. - 736 p. - Текст : непосредственный.Security and privacy : Proc.of the 1980-84 symp.on security and privacy and the 1985-87 IEEE symp.on security and privacy / Ed.:C.E.Garvey. Vol. 1 : Proceedings of the first 5 symposia 1980-84, 1990. - VIII,227 p. p. - Текст : непосредственный.Петров В.П. Выполнение монтажа и сборки средней сложности и сложных узлов, блоков, приборов радиоэлектронной аппаратуры, аппаратуры проводной связи, элементов узлов импульсной и вычислительной техники. Практикум : выставочные материалы / В. П. Петров, 2014. - 173 с. - Текст : непосредственный.Настольный англо-русский словарь компьютерных терминов / Ред. Н. В. Поволоцкая, 2008. - 367 с. - Текст : непосредственный.Буханцева Н.В. Электронные ресурсы: технологии разработки и взаимодействия : учебное пособие / Н. В. Буханцева, 2008. - 402 с. - Текст : непосредственный.Алыкова О.М. Формирование у будущих учителей системы знаний о физических основах работы компьютера : специальность 13.00.02 "Теория и методика обучения и воспитания (по областям и уровням образования)" : диссертация на соискание ученой степени канд. пед. наук / О. М. Алыкова, 2007. - 18 с. - Текст : непосредственный.Информатика и вычислительная техника : материалы временных коллективов / Чувашский гос. ун-т им. И. Н. Ульянова (Чебоксары), 2007. - 75 с. - Текст : непосредственный.
Показать все результатыПетров К.В. Автоматизированная система моделирования логических неисправностей для тестирования вычислительных процессов : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / К. В. Петров, 2007. - 19 с. - Текст : непосредственный.Стивенс Р. Тестирование и отладка программ на Visual Basic / Р. Стивенс, 2001. - 378 с. - Текст : непосредственный.Посыпкин М.А. Применение формальных методов для тестирования компиляторов : специальность 05.19.11 "" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / М. А. Посыпкин, 2004. - 22 c. - Текст : непосредственный.ISSTA'09 : материалы временных коллективов / International symposium on software testing & analysis (2009 ; Chicago, Il), 2009. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Голубев А.А. Методики создания и внедрения агентов в прикладное и системное программное обеспечение для автоматизации тестирования и мониторинга встроенных вычислительных систем : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. техн. наук / А. А. Голубев, 2007. - 18 с. - Текст : непосредственный.Вигура А.Н. Модели и методы тестирования программных систем на основе алгебраического подхода / А. Н. Вигура, 2013. - 24 с. - Текст : непосредственный.Бейзер Б. Тестирование черного ящика.Технологии функционального тестирования программного обеспечения и систем / Б. Бейзер, 2004. - 317 с. - Текст : непосредственный.Groote J.F. Verification of parallel systems via decomposition / J. F. Groote, F. Moller, 1992. - 21 p. - Текст : непосредственный.Полухин П.В. Байесовские модели и алгоритмы управления процессом тестирования веб-приложений методом фаззинга / П. В. Полухин, 2016. - 18 с. - Текст : непосредственный.Криспин Л. Гибкое тестирование : методический материал / Л. Криспин, Д. Грегори, 2010. - 463 с. - Текст : непосредственный.Franz K. Handbuch zum Testen von Web-Applikationen / K. Franz, 2007 r=on-line. - Текст : электронный.Воинов Н.В. Методы генерации тестовых сценариев на основе структурированных UCM-моделей проектируемой системы / Н. В. Воинов, 2011. - 22 с. - Текст : непосредственный.Tip F. A survey of program slicing techniques / F. Tip, 1994. - 58 p. - Текст : непосредственный.The programming and proof system ATES : сборник научных трудов / Ed. A. Puccetti, 1991. - 341 p. - Текст : непосредственный.Worwa K. Modelowanie i ocena wzrostu niezawodnosci oprogramowania w procesie testowania / K. Worwa, 2000. - 179 s. - Текст : непосредственный.Винниченко И. Автоматизация процессов тестирования / И. Винниченко, 2005. - 202 с. - Текст : непосредственный.Formal approaches to software testing / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Testing of communicating systems / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Model-based testing of reactive systems / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Турко С.А. Тестирование программных средств и информационных технологий в процессах их разработки : монография / С. А. Турко, 2017. - 132 с. - Текст : непосредственный.
Показать все результаты