Приложение
для AndroidПолное описание
Коган, Б. И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Традиционные методы покрытия испытаниями потока управления в программной единице. Ч.1. Методы, определяемые в терминах семантических конструкций языка программирования / Б. И. Коган, Т. О. Матвеева, Н. Ю. Никифорова. - Владивосток : [б. и.], 2002. - 23 с. - (Препринт / Институт автоматики и процессов упр.(Владивосток) ; 50-2002). - 100 экз. - Б. ц. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 50.41 | 004.422.8(04) |
Рубрики:
Программы для ЭВМ
Доп. точки доступа:
Матвеева, Т.О.
Никифорова, Н.Ю.
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Дорожко В.М. Оптимизация схем слежения в потоке объектов / В.М.Дорожко, 1998. - 35 с. - Текст : непосредственный.Артемьева И.Л. Исследование задач одного класса систем логических соотношений / И.Л.Артемьева,В.В.Суров, 1999. - 36 с. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Ч.2 / Б.И.Коган,Е.А.Шалфеева, 2000. - 30 с. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Средства специфицирования моделей и метрик программ. Ч.1 / Б.И.Коган,Е.А.Шалфеева, 2000. - 46 с. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Модели и метрики объектно-ориентированных проектов и программ / Б.И.Коган,Е.А.Шалфеева, 2000. - 50 p. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Язык спецификации требований к качеству программных средств: формальное определение / Б.И.Коган,Т.О.Матвеева, 1999. - 45 с. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Традиционные методы покрытия испытаниями потока управления в программной единице. Ч.1. Методы, определяемые в терминах семантических конструкций языка программирования / Б. И. Коган, Т. О. Матвеева, Н. Ю. Никифорова, 2002. - 23 с. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Построение измерительной модели современного языка программирования / Б.И.Коган,С.Н.Остроухова, 1998. - 38 с. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Контекст в языках программирования: определение контекста в программе / Б.И.Коган,Н.Ю.Никифорова, 2001. - 21 с. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Измерительная модель языка программирования JAVA / Б. И. Коган, Г. Е. Бардин, С. Н. Остроухова, 1998. - 47 с. - Текст : непосредственный.Шалфеева Е.А. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Внутренние свойства и метрики программ. Ч.1 / Е.А.Шалфеева, 1998. - 38 с. - Текст : непосредственный.Никифорова Н.Ю. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Контекст в языках программирования: пример построения модели контекста в программе / Н.Ю.Никифорова, 2001. - 29 с. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Контекст в языках программирования: модель контекста в программе / Б.И.Коган,Н.Ю.Никифорова, 2001. - 43 с. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Традиционные методы покрытия испытаниями потока управления в программной единице. Ч.2. Методы, определяемые в терминах компонентов графа потока управления / Б. И. Коган, Т. О. Матвеева, Н. Ю. Никифорова, 2002. - 34 с. - Текст : непосредственный.
Программное обеспечение NCOS, NCOS 1 : Руководство прикладного программиста / ВЦП. - 195 с. - Текст : непосредственный.Программное обеспечение NCOS. NCOS 1.Поддержка сопровождения программного обеспечения / ВЦП. - 256 с. - Текст : непосредственный.Программное обеспечение NCOS / ВЦП. - 166 с. - Текст : непосредственный.Основы операционной системы NCOS1 : Руководство по обучению / ВЦП. - 142 с. - Текст : непосредственный.Математическое обеспечение NCOS. NCOS1 : Инструментальные средства для разработки программ / ВЦП. - 63 с. - Текст : непосредственный.Программное обеспечение NCOS. NCOS1. : Организации файлов и форматы данных / ВЦП. - 268 с. - Текст : непосредственный.Производственная логистика при изготовлении тел вращения / ВЦП. - 15 с. - Текст : непосредственный.Настольная система моделирования без управления TX 8D : Инструкция по эксплуатации и описание работы / ВЦП. - 32 с. - Текст : непосредственный.Операционная система NCOS1. Дисковые сортировка / слияние / ВЦП. - 108 с. - Текст : непосредственный.Использование на месте. Технология работы резанием. Трехмерное моделирование является эффективной помощью при программировании систем ЧПУ для точения и фрезерования / ВЦП. - 10 с. - Текст : непосредственный.Программное обеспечение операционной системы NCOS / ВЦП. - 196 с. - Текст : непосредственный.Среда формирования профессиональной прикладной системы VS (PACE). Версия 2.20. Примечания к версии потребительского программного обеспечения / ВЦП. - 110 с. - Текст : непосредственный.Программа Reflex 1.x. : Учебное руководство и примеры использования в приложениях / ВЦП. - 264 с. - Текст : непосредственный.Руководство по пакету программ Loco Script PC / ВЦП. - 138 с. - Текст : непосредственный.Уровень развития управления ЧПУ для шлифовальных станков / ВЦП. - 16 с. - Текст : непосредственный.Введение в VAX/VMS / ВЦП. - 130 с. - Текст : непосредственный.Пакет для создания среды, предназначенной для профессиональных приложений (РАСЕ). Версия 2.20. Замечания по версии математического обеспечения, предназначенной для заказчика / ВЦП. - 112 с. - Текст : непосредственный.Программное обеспечение NCOS,NCOSI : Инструкция по эксплуатации / ВЦП. - 331 331 с. - Текст : непосредственный.Инструкции пользователю программного пакета для платы для сбора данных PCLS-718-C, написанного на языке СИ / ВЦП. - 97 с. - Текст : непосредственный.Руководство по обслуживанию линии связи организатора Пбмодель IQ-890 / ВЦП. - 135 с. - Текст : непосредственный.
Показать все результатыПрограмма Reflex 1.x. : Учебное руководство и примеры использования в приложениях / ВЦП. - 264 с. - Текст : непосредственный.Программа связи для компьютеров IBM PC и совместимых с ними : Сжатое руководство пользователя. Версия 3.5Х / ВЦП. - 63 с. - Текст : непосредственный.Программа EZ Tape для работы в среде ДОС / ВЦП. - 95 c. - Текст : непосредственный.Программное обеспечение для многопортовых последовательных компьютерных систем Р.С.СОМ тм / ВЦП. - 47 c. - Текст : непосредственный.Центр программирования. Разд.3,4,5,4(доп.) : Руководство пользователя / ВЦП. - 114 c. - Текст : непосредственный.Характеристики программных средств Interview Magnascan / ВЦП. - 71 c. - Текст : непосредственный.Система Кроссток-16 : Руководство пользователя / ВЦП. - 218 c. - Текст : непосредственный.Библиотека программ для персональной ЭВМ : Справочное руководство к программному пакету SmARTWORK / ВЦП. - 109 c. - Текст : непосредственный.Проверка эффективности действия системного программного обеспечения / ВЦП. - 53 c. - Текст : непосредственный.Jamsa K. Microsoft quick C:Covers microsoft quick C version 2 : монография / K.Jamsa, 1989. - V,169 p. мкф.Townsend C. PC tools deluxe tm : Covers version 6 / C.Townsend, 1990. - 156 мкф.Craig J.C. Microsoft quick C programmer's toolbox : An essential collection of more than 200 programs,functions and utilities for superchanging QuickC programs / J.C.Craig, 1990. - VII,523 p. p. - Текст : непосредственный.Dr.HALO Plus tm : монография, 1989. - Pag.var.Apt K.R. On the occur-check free Prolog programs / K.R.Apt,A.Pellegrini, 1992. - 36 p. - Текст : непосредственный.Marchiori E. Proving run-time properties of general programs w.r.t. constructive negation / E.Marchiori, 1992. - 28 p. - Текст : непосредственный.Модели,алгоритмы,программы : Сб. науч. тр. / Тверской гос.ун-т, 1993. - 133 с. - Текст : непосредственный.Скрыпник В.А. Программы на Бейсике для персональных ЭВМ радиолюбителя / В.А.Скрыпник, 1993. - 144 c. - Текст : непосредственный.48 программ для изучающих BASIC, 1993. - 86 c. - Текст : непосредственный.Системные программы для ZX Spectrum : Сб.описаний. Вып. 1, 1993. - 210 с. - Текст : непосредственный.Apt K.R. On the unification free Prolog programs / K.R.Apt,S.Etalle, 1993. - 16 p. - Текст : непосредственный.
Показать все результатыИванченко В.Н. СОСНА - пакет программ для структурирования экспериментальных данных / В.Н.Иванченко, 1994. - 38 . - Текст : непосредственный.Черноножкин С.К. Меры сложности программ : Обзор / С.К.Черноножкин, 1994. - 35 c. - Текст : непосредственный.Городняя Л.В. Функциональный подход к системному представлению прикладных программ учебного назначения / Л.В.Городняя, 1994. - 24 c. - Текст : непосредственный.Егошина Т.В. Решение информационных задач на основе пакета программ "Управление табличной памятью" / Т.В.Егошина, 1995. - 23 c. - Текст : непосредственный.Поттосин И.В. О критериях добротности программ / И.В.Поттосин, 1966. - 35 с. - Текст : непосредственный.Макаров В.М. Имитационная модель МКП для получения временных характеристик программ : Препринт / В.М.Макаров,Н.К.Скурат, 1991. - 46 с. - Текст : непосредственный.Петлинский В.П. Комплекс программ для сопровождения архива АРФА / В.П.Петлинский, 1991. - 10 с. - Текст : непосредственный.Кузьминов Т.В. Языково-настраиваемый структурный редактор для ЭВМ Кронос / Т.В.Кузьминов, 1990. - 29 с. - Текст : непосредственный.Витяев Е.Е. Предсказание и индуктивный синтез пролог-программ по вероятностной модели данных / Е.Е.Витяев, 1990. - 34 c. - Текст : непосредственный.Купневич О.А. Экспертная система, моделирующая процесс оптимизации программ. Модель оптимизации программ : Препринт / О.А.Купневич,М.А.Князева, 1997. - 40 с.. - Текст : непосредственный.Хухлаев Е.В. Metamake - средство подготовки программ в сетевой гетерогенной среде / Е.В.Хухлаев, 1999. - 32 с. - Текст : непосредственный.Зизин М.Н. Требования к вычислительному модулю для Фортрана-77. Редакция 1998 года / М.Н.Зизин, 1999. - 23 с. - Текст : непосредственный.Антонюк Я.П. Избранные программы на языке ФОРТРАН-IY. Ч.1.Описание программ / Я.П.Антонюк, 1990. - 47 с. - Текст : непосредственный.Кириенко Н.А. Оптимизация ЛЯПАС-М-программ при реализации на ПЭВМ / Н.А.Кириенко, 1989. - 34 c. - Текст : непосредственный.Евстигнеев В.А. Векторизация программ: анализ зависимостей / В.А.Евстигнеев,С.В.Спрогис, 1989. - 36 с., с.,. - Текст : непосредственный.Евстигнеев В.А. Топологические меры сложности программ / В.А.Евстигнеев,Г.П.Кожевникова, 1989. - 30 c. - Текст : непосредственный.Клещев А.С. Экспертная система, моделирующая процесс оптимизации программ. Обработка знаний : Препринт / А.С.Клещев,М.А.Князева, 1990. - 44 с. - Текст : непосредственный.Косарева З.М. Программа для работы с файлом библиографии в банке терминов аналитических вычислений / З.М.Косарева, 1991. - 7 с. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Модели и метрики объектно-ориентированных проектов и программ / Б.И.Коган,Е.А.Шалфеева, 2000. - 50 p. - Текст : непосредственный.Коган Б.И. Оценка качества и исследование программных продуктов: языково-ориентированный подход. Традиционные методы покрытия испытаниями потока управления в программной единице. Ч.1. Методы, определяемые в терминах семантических конструкций языка программирования / Б. И. Коган, Т. О. Матвеева, Н. Ю. Никифорова, 2002. - 23 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽