Полное описание
> Коган, Б. И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Традиционные методы покрытия испытаниями потока управления в программной единице. Ч.2. Методы, определяемые в терминах компонентов графа потока управления / Б. И. Коган, Т. О. Матвеева, Н. Ю. Никифорова. - Владивосток : [б. и.], 2002. - 34 с. : ил. - (Препринт / Институт автоматики и процессов упр.(Владивосток) ; 29-2002). - Текст : непосредственный. Библиогр.: с. 33-34
ГРНТИ УДК 50.05.13 004.415.53(04)
Рубрики: Программы для ЭВМ -- Тестирование
Кл.слова (ненормированные): ПРОГРАММА -- ТЕСТИРОВАНИЕ -- ЭВМ
Доп. точки доступа: Матвеева, Т.О.
Никифорова, Н.Ю.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/30395/29-2002)>
Шифр в сводном ЭК: c5343a325ec5d45506ad481ca9024988
Иванов О.П. Инженерная экология : Учеб. пособие для студентов III-IV курсов всех спец. и всех форм обучения. Кн. 1, 1994. - 184 с. - Текст : непосредственный. Коган Б.И. Изготовление пластмассовой модельной оснастки (опыт АО "ВНИПТИМ") / Б. И. Коган, 2006. - 95 с. - Текст : непосредственный. Завора В.А. Основы эксплуатации и ремонта агроагрегатов / В. А. Завора, Б. И. Коган, М. В. Чибряков, 2004. - 426 с. - Текст : непосредственный. Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Ч.2 / Б. И. Коган, Е. А. Шалфеева, 2000. - 30 с. - Текст : непосредственный. Коган Б.И. Проектирование сборочно-сварочных участков : учебное пособие / Б. И. Коган, 2008. - 211 с. - Текст : непосредственный. Коган Б.И. Ремонт горных машин. Технология и организация : учебное пособие / Б. И. Коган, 2009. - 280 с. - Текст : непосредственный. Коган Б.И. Формирование производственных систем для сборки машин : выставочные материалы / Б. И. Коган, С. А. Бочарников, 2005. - 112 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Ч.2 / Б. И. Коган, Е. А. Шалфеева, 2000. - 30 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Традиционные методы покрытия испытаниями потока управления в программной единице. Ч.2. Методы, определяемые в терминах компонентов графа потока управления / Б. И. Коган, Т. О. Матвеева, Н. Ю. Никифорова, 2002. - 34 с. - Текст : непосредственный. Артемьева И.Л. Исследование задач одного класса систем логических соотношений / И.Л.Артемьева,В.В.Суров, 1999. - 36 с. - Текст : непосредственный. Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Модели и метрики объектно-ориентированных проектов и программ / Б.И.Коган,Е.А.Шалфеева, 2000. - 50 p. - Текст : непосредственный. Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Язык спецификации требований к качеству программных средств: формальное определение / Б.И.Коган,Т.О.Матвеева, 1999. - 45 с. - Текст : непосредственный. Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Традиционные методы покрытия испытаниями потока управления в программной единице. Ч.1. Методы, определяемые в терминах семантических конструкций языка программирования / Б. И. Коган, Т. О. Матвеева, Н. Ю. Никифорова, 2002. - 23 с. - Текст : непосредственный. Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Построение измерительной модели современного языка программирования / Б.И.Коган,С.Н.Остроухова, 1998. - 38 с. - Текст : непосредственный. Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Контекст в языках программирования: определение контекста в программе / Б.И.Коган,Н.Ю.Никифорова, 2001. - 21 с. - Текст : непосредственный. Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Измерительная модель языка программирования JAVA / Б. И. Коган, Г. Е. Бардин, С. Н. Остроухова, 1998. - 47 с. - Текст : непосредственный. Шалфеева Е.А. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Внутренние свойства и метрики программ. Ч.1 / Е.А.Шалфеева, 1998. - 38 с. - Текст : непосредственный. Показать все результаты Оузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный. Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный. От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный. Структуры данных / В. И. Жаков, Н. В. Корсаков, А. В. Никитин, В. В. Фильчаков, 1989. - 76 с. - Текст : непосредственный. Корольков А.В. Структуры данных / А. В. Корольков, 1990. - 44 с. - Текст : непосредственный. Tutorial:Microprogramming and firmware engineering / Ред.Compl. V. Milutinovic, 1989. - VII,409 p. p. - Текст : непосредственный. Боресков А.В. Разработка и отладка шейдеров / А. В. Боресков, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Демаков А.В. Объектно-ориентированное описание графового представления программ и моделей / А. В. Демаков, 2006. - 26 с. - Текст : непосредственный. Мельникова О.И. Технология программирования / О. И. Мельникова, А. Ю. Бонюшкина, 2001. - 84 с. - Текст : непосредственный. Галявов И.Р. Borland C++ 5 для себя / И. Р. Галявов, 2001. - 427 с. - Текст : непосредственный. Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный. Современные проблемы конструирования программ / Ред. В. Н. Касьянов, 2002. - 248 с. - Текст : непосредственный. Сеппа Д. Microsoft ADO.NET : монография / Д. Сеппа, 2003. - 605 с. ил. - Текст : непосредственный. Александреску А. Современное проектирование на С++ . Обобщенное программирование и прикладные шаблоны проектирования / А. Александреску, 2004. - 335 с. - Текст : непосредственный. Ковтушенко А.П. Информационный анализ программ, ориентированный на процессор с длинным командным словом : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Ковтушенко, 1993. - 16 с. - Текст : непосредственный. Райли Д. Абстракция и структура данных.Вводный курс / Д. Райли ; ред. Н. И. Ильинский, 1993. - 750 c. - Текст : непосредственный. Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Model checking and artificial intelligence / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Показать все результаты Лицевая сторона карточки Обратная сторона карточки
Денисов Е.Ю. Автоматизация тестирования интерактивной системы моделирования освещенности / Е. Ю. Денисов, А. Г. Волобой, И. А. Калугина, 2018. - 19 с. - Текст : непосредственный. Бобков В.Г. Разработка и автоматическое регрессионное тестирование программного комплекса NOISEtte / В. Г. Бобков, 2018. - 20 с. - Текст : непосредственный. Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Традиционные методы покрытия испытаниями потока управления в программной единице. Ч.2. Методы, определяемые в терминах компонентов графа потока управления / Б. И. Коган, Т. О. Матвеева, Н. Ю. Никифорова, 2002. - 34 с. - Текст : непосредственный. Кауфман А.В. ОСТ: система контроля тестированности модула-2-программ / А.В.Кауфман,С.К.Черноножкин, 1997. - 46 с. - Текст : непосредственный. Заказать
Заказ фрагмента документа ₽