Приложение
для AndroidПолное описание
Старолетов, С. М. Моделирование распределенных многокомпонентных программных систем и их тестирование на основе автоматных вероятностных моделей / С. М. Старолетов, Е. Н. Крючкова. - Барнаул : АлтГТУ, 2011. - 107 с. : ил. - Библиогр.: с. 80-88. - 100 экз. - ISBN 978-5-7568-0859-9. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 50.01.81 | 004.4-047.58 | |
| 004.415.53 |
Рубрики:
Программное обеспечение ЭВМ -- Моделирование
Программы для ЭВМ -- Тестирование
Вычислительные системы распределенные
Доп. точки доступа:
Крючкова, Е.Н.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д9-11/79676)
Шифр в сводном ЭК: 46dafff19b265f8e8971b84de3da57e4
Крючкова Е.Н. Теория алгоритмов : Учеб.пособие по курсу "Теория вычисл.процессов и структур" по направлению "Информатика и вычисл.техника" / Е.Н.Крючкова, 1995. - 74 c. - Текст : непосредственный.Крючкова Е.Н. Теория формальных языков и автоматов : Учеб. пособие по курсу "Теория вычисл. процессов и структур" (для подгот. специалистов по направлению "Информатика и вычисл. техника") / Е.Н.Крючкова, 1996. - 82 с. - Текст : непосредственный.Старолетов С.М. Моделирование распределенных многокомпонентных программных систем и их тестирование на основе автоматных вероятностных моделей / С. М. Старолетов, Е. Н. Крючкова, 2011. - 107 с. - Текст : непосредственный.Старолетов С.М. Моделирование распределенных недетерминированных программных систем и их тестирование на основе автоматных мультиагентных вероятностных моделей : автореф. дис. .. канд. физ.-мат. наук: 05.13.11 / С. М. Старолетов, 2011. - 20 с. - Текст : непосредственный.Старолетов С.М. Функциональные языки распределённых систем : учебное пособие для студентов направления 09.04.04. "Программная инженерия" / С. М. Старолетов, 2019. - 215 с. - Текст : непосредственный.
Фролов А.Б. Модели и методы технической диагностики / А. Б. Фролов, 1990. - 47 с. - Текст : непосредственный.Зимнович Р.В. Программно-диагностический комплекс для управления состоянием многопараметрических технических объектов на основе методов семантического анализа : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / Р. В. Зимнович, 2007. - 27 с. - Текст : непосредственный.Бочкарев С.В. Диагностика и надежность автоматизированных систем / С. В. Бочкарев, А. И. Цаплин, 2006. - 262 с. - Текст : непосредственный.Сборник научных трудов. № 17 : Диагностика и прогнозирование состояния сложных систем, 2007. - 77 с. - Текст : непосредственный.Птицына Л.К. Модели и методы анализа вычислительных процессов при функциональном диагностировании динамических систем / Л. К. Птицына, В. В. Бородин, 1997. - 106 с. - Текст : непосредственный.ISSTA'09 : материалы временных коллективов / International symposium on software testing & analysis (2009 ; Chicago, Il), 2009. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный.Латышев А.В. Диагностирование непрерывных систем и цепей / А. В. Латышев, 1990. - 46 c. - Текст : непосредственный.Hardware and software, verification and testing / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный.Perry W.A. Handbook of diagnosing and solving computer problems / W. A. Perry, 1989. - XII,255 p. мкф. - Текст : непосредственный.Prace / Inst. podstaw informatyki. 655 : Wplyw liniowych sprzezen zwrotnych na skutecznosc analizy sygnaturowej uszkodzen / A.Hlawiczka,K.Mostowski, 1989. - 63 s. - Текст : непосредственный.Formal approaches to software testing / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Testing of communicating systems / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Гукин Д. Устранение неисправностей в ПК для "чайников" : монография / Д. Гукин, 2006. - 351 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Коваленко В.Н. Комплексное программное обеспечение грида вычислительного типа / В. Н. Коваленко, 2007. - 39 с. - Текст : непосредственный.Труды Института системного анализа Российской академии наук. Т. 14 : Проблемы вычислений в распределенной среде. Модели обработки и представления данных. Динамические системы : сб. статей / Под ед. С.В. Емельянова, А.П. Афанасьева, 2005. - 222 с. - Текст : непосредственный.Черемисинов Д.И. Формальные методы описания поведения распределенных систем / Д. И. Черемисинов, 1991. - 44 с. - Текст : непосредственный.Hamidzadeh B. Centralized scheduling strategies for shared-memory multiprocessors / B. Hamidzadeh, D. J. Lilja, 1994. - 26 p. - Текст : непосредственный.Tromp J.T. How to construct an atomic variable / J. T. Tromp, 1989. - 23 p. - Текст : непосредственный.Коваленко В.Н. Управление заданиями в распределенной среде и протокол резервирования ресурсов / В. Н. Коваленко, А. В. Орлов, 2002. - 25 с. - Текст : непосредственный.Цаценко Н.Н. Технологии работы с данными в интероперабельных средах CORBA, RMI, EJB / Н. Н. Цаценко, 2002. - 36 с. - Текст : непосредственный.Distributed systems / Ed. S. Millender, 1989. - XXII,458 p. p. - Текст : непосредственный.Foudriat E.C. new taxonomy for distributed computer systems based upon operating system structure : сборник научных трудов / E. C. Foudriat, 1985. - 21 мкфш. - Текст : непосредственный.Everaars C.T.H. Coordination of distributed/parallel multiple-grid domain decomposition / C. T.H. Everaars, F. Arbab, 1996. - 20 p. - Текст : непосредственный.Свистунов А.Н. Построение распределенных программных систем на Java : учебное пособие / А. Н. Свистунов, 2011. - 279 с. - Текст : непосредственный.Boxma O.J. Queueing-theoretic solution methods for models of parallel and distributed systems / O. J. Boxma, G. Koole, Z. Liu, 1994. - 24 p. - Текст : непосредственный.Орфали Р. Основы Corba / Р. Орфали, Д. Харки, Дж. Эдвардс, 1999. - 317 с. - Текст : непосредственный.Метадиспетчер: реализация средствами метакомпьютерной системы Globus / С. А. Богданов, В. Н. Коваленко, Е. В. Хухлаев, О. Н. Шорин, 2001. - 21 с. - Текст : непосредственный.Brovedani C. A verification of the bakery protocol combining algebraic and model-oriented techniques / C. Brovedani, A. S. Klusener, 1996. - 24 p. - Текст : непосредственный.Rupport E. Determining consensus number / E. Rupport, 1996. - 21 p.ill. - Текст : непосредственный.Zaky A. Tools and environments for parallel and distributed systems / A. Zaky, T. Lewis, 1996. - VIII,306 p. p. - Текст : непосредственный.Papatriantafilow M. How a rainbow coloring function can simulate wait-free handshaking / M. Papatriantafilow, P. Tsigas, 1994. - 12 p. - Текст : непосредственный.Распределенные системы : Пер. с англ. Кн. 1 : Ресурсы Microsoft Windows 2000 Server, 2001. - 830 с. - Текст : непосредственный.Разпределено управление на слабо свьрзани системи : сборник научных трудов / К. Л. Боянов, В. С. Кисимов, А. Л. Петков, 1989. - 335 с. - Текст : непосредственный.
Показать все результатыПетров К.В. Автоматизированная система моделирования логических неисправностей для тестирования вычислительных процессов : специальность 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 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽