Пошуковий запит: (<.>U=З973-018.025$<.>) |
Загальна кількість знайдених документів : 69
Представлено документи з 1 до 20
|
| |
1. | ІВ221053 Gärtner, Markus. ATDD by example. A practical guide to acceptance test-driven development [Text] / Markus Gärtner ; forew. by Kent Beck and Dale Emery. - Upper Saddle River, NJ [etc.] : Addison-Wesley, 2013. - XXIII, 212 p. - (The Addison-Wesley signature series. A Kent Beck signature book). - Бібліогр.: с. 201-203.
Тематичний рубрикатор:
Дод. точки доступу: Beck, Kent (авт. передм.); Emery, Dale (авт. передм.)
Видання зберігається у :
Основний фонд Відділ обмінно-резервних фондів
|
2. | ІВ213880 Malik, Qaisar Ahmad. Combining model-based testing and stepwise formal development [Text] : diss. / Qaisar Ahmad Malik ; Åbo akad. univ. Dep. of Inform. technologies. - Turku : Åbo Akad. Univ., 2010. - [Pag. var.] : fig., tab. - (TUCS Dissertations / Turku centre for computer science, ISSN 1239-1883 ; № 130, October 2010).
Тематичний рубрикатор:
Дод. точки доступу: Åbo Akademi University. Department of information technologies; Turku centre for computer science
Видання зберігається у :
Основний фонд
|
3. | ІВ222412 Graham, Dorothy. Experiences of test automation [Text] : case studies of software test automation / Dorothy Graham, Mark Fewster ; forew. by Lee Copeland. - Upper Saddle River, NJ[etc.] : Addison-Wesley, 2012. - LII, 617 p. : fig., tab.
Тематичний рубрикатор:
Дод. точки доступу: Fewster, Mark; Copeland, Lee (авт. передм.)
Видання зберігається у :
Основний фонд
|
4. | ІВ208705/CDR683 Whittaker, James A.. How to break software [Text] : A practical guide to testing / J. A. Whittaker. - Boston[etc.] : Addison Wesley, 2003. - XVIII, 178 p.: fig. + CD-ROM. - Бібліогр.: v kinci rozd.
Тематичний рубрикатор:
Видання зберігається у :
|
5. | CDR683/ІВ208705 Whittaker, James A.. How to break software: [Elektronnyj resurs] [Text] : A practical guide to testing / J. A. Whittaker. - [Boston][etc.] : Addison Wesley, 2002. - 1 elektron opt. dysc CD-ROM.
Тематичний рубрикатор:
Видання зберігається у :
|
6. | ІВ208121 Tamres, Louise. Introducing software testing [Text] / L. Tamres. - London[etc.] : Addison-Wesley, 2002. - XV, 281 p.: fig., tab. - Бібліогр.: p. 273-275.
Тематичний рубрикатор:
Видання зберігається у :
|
7. | ІВ221031 Vance, Stephen. Quality code [Text] : software testing principles, practices, and patterns / Stephen Vance. - Upper Saddle River, NJ [etc.] : Addison-Wesley, 2014. - XIX, 231 p. - Бібліогр.: с. 219-220.
Тематичний рубрикатор:
Видання зберігається у :
Основний фонд
|
8. | ІВ208166 Culbertson, Robert. Rapid testing [Text] / R. Culbertson [та ін.]. - Upper Saddle River, New Jersey : Prentice Hall PTR, 2002. - XVIII, 394 p.: fig., tab. - (Software quality institute series).
Тематичний рубрикатор:
Дод. точки доступу: Brown, Chris; Cobb, Gary
Видання зберігається у :
|
9. | ІВ222355 Lee, Graham. Test-Driven iOS development [Text] / Graham Lee. - Upper Saddle River, NJ[etc.] : Addison-Wesley, 2012. - XI, 228 p. : fig.
Тематичний рубрикатор:
Видання зберігається у :
Основний фонд
|
10. | ІВ213877 Eriksson, Johannes. Tool-Supported Invariant-Based Programming [Text] : diss. / Johannes Eriksson ; Åbo akad. univ., Dep. of inform. technologies. - Turku : Åbo Akad. Univ., 2010. - 163 p. : tab., fig. - (TUCS Dissertations / Turku centre for computer science, ISSN 1239-1883 ; №127, August 2010). - Бібліогр.: с. 151-163.
Тематичний рубрикатор:
Дод. точки доступу: Åbo Akademi University. Department of information technologies
Видання зберігається у :
Основний фонд
|
11. | ІВ196552 Apt, Krzysztof R.. Verification of sequential and concurrent programs [Text] / K. R. Apt, E. Olderog. - 2. ed. - New York[etc.] : Springer, 1997. - 364 p. - (Graduate texts in computer science). - Бібліогр.: p. 343-352.
Тематичний рубрикатор:
Дод. точки доступу: Olderog, Ernst-Rüdiger
Видання зберігається у :
|
12. | СТ9804/1 Інженерія систем і програмних засобів. Тестування програмних засобів [Текст]. - Київ : УкрНДНЦ, 2018 . - (Національний стандарт України). Ч. 1 : ДСТУ ISO/IEC/IEEE 29119-1:2017 (ISO/IEC/IEEE 29119-1:2013, IDT). Поняття та визначення. - На заміну ДСТУ ISO/IEC/IEEE 29119-1:2015 ; Чинний від 2019-01-01. - 2018. - VI, 47 с. : рис. - Бібліогр.: с. 45-46.
Тематичний рубрикатор:
Видання зберігається у :
Основний фонд
|
13. | РА418064 Губа, Антон Андрійович. Інсерційне моделювання та верифікація багатопотокових систем [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 / Губа Антон Андрійович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - Київ, 2015. - 20 с.
Тематичний рубрикатор:
Дод. точки доступу: Національна академія наук України; Інститут кібернетики імені В. М. Глушкова (Київ)
Видання зберігається у :
Основний фонд
|
14. | СТ4983/2 Інформаційні технології. Методи захисту. Неспростовність [Текст]. - К. : Держспоживстандарт України. - (Національний стандарт України). Ч. 2 : ДСТУ ISO/IEC 13888-2:2009. Механізми використання симетричних методів (ISO/IEC 13888-2:1998, IDT). - Чинний від 2010-06-01. - К., 2010. - V, 14 с.
Тематичний рубрикатор:
Видання зберігається у :
Основний фонд
|
15. | СТ1751 Інформаційні технології; Пакети програм. Тестування і вимоги до якості (ISO/IEC 12119:1994, IDT) [Текст] / пер. і наук.-техн. ред. П. Андон [та ін.]. - Офіц. вид. - Чинний від 01.07.2004. - К. : Держспоживстандарт України, 2004. - V, 20 с. - (Національний стандарт України). - Бібліогр.: с. 14-16.
Тематичний рубрикатор:
Дод. точки доступу: Андон, П. (пер. і наук.-техн. ред.)
Видання зберігається у :
Основний фонд
|
16. | РА408961 Ремінний, Олександр Андрійович. Інформаційна технологія автоматизованого тестування користувацьких інтерфейсів програмних продуктів в умовах багатопродуктових компаній [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Ремінний Олександр Андрійович ; Вінниц. нац. техн. ун-т. - Вінниця, 2014. - 20 с. : рис., табл.
Тематичний рубрикатор:
Дод. точки доступу: Вінницький національний технічний університет
Видання зберігається у :
Основний фонд
|
17. | ВА669912 Винниченко, Илья Викторович. Автоматизация процессов тестирования [Текст] / И. В. Винниченко. - СПб. [и др.] : Питер, 2005. - 202 с.: рис.
Тематичний рубрикатор:
Видання зберігається у :
Основний фонд
|
18. | ВА643457 Дастин, Элфрид. Автоматизированное тестирование программного обеспечения [Текст] : внедрение, управление и эксплуатация / Э. Дастин [и др.] ; пер. с англ. Е. Молодцова, М. Павлов. - М. : Лори, 2003. - 567 с.: рис., табл.
Тематичний рубрикатор:
Дод. точки доступу: Рэшка, Джефф; Пол, Джон; Молодцова, Е. (пер. с англ.); Павлов, М. (пер. с англ.)
Видання зберігається у :
Основний фонд Універсальний підсобний фонд
|
19. | РА377687 Лисенко, Сергій Миколайович. Адаптивна інформаційна технологія діагностування комп'ютерних систем на наявність троянських програм [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Лисенко Сергій Миколайович ; Терноп. нац. екон. ун-т. - Т., 2010. - 20 с. : рис.
Тематичний рубрикатор:
Дод. точки доступу: Тернопільський національний економічний університет
Видання зберігається у :
Основний фонд
|
20. | ДС123646 Лисенко, Сергій Миколайович. Адаптивна інформаційна технологія діагностування комп'ютерних систем на наявність троянських програм [Текст] : дис. ... канд. техн. наук : 05.13.06 / Лисенко Сергій Миколайович ; Хмельниц. нац. ун-т. - Хмельницький, 2010. - 202 арк. : рис., табл. - Бібліогр.: арк. 187-202.
Тематичний рубрикатор:
Дод. точки доступу: Хмельницький національний університет
Видання зберігається у :
Основний фонд
|
| |