Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


БД "Статьи" - результаты поиска

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=качество программ<.>)
Общее количество найденных документов : 7
Показаны документы с 1 по 7
1.


    Бураков, В. В.
    Модель качества программных средств [Текст] / В. В. Бураков // Информационно-управляющие системы. - 2009. - N 2 (39). - С. 75-78. : 2 рис. - Библиогр.: с. 78
УДК
^a004.41/.42
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
программные средства -- качество программ -- моделирование качества программ -- модель качества программ
Аннотация: Приводится обзор современных моделей качества, обосновываются основные недостатки этих моделей. Формируются требования к модели качества, которая бы смогла преодолеть эти недостатки. Вводится формальная модель качества, основанная на использовании аппарата теории категорий.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
2.


    Бураков, В. В.
    Управление качеством программных средств [Текст] / В. В. Бураков // Информационно-управляющие системы. - 2009. - N 5 (42). - С. 43-47. : 2 рис. - Библиогр.: с. 47
УДК
^a004.41/.42
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
программные средства -- качество программ -- управление качеством программ
Аннотация: Описывается система управления качеством программ. Перечислены и кратко описаны формальные модели, образующие основу системы, обоснована их значимость на каждом этапе цикла управления качеством.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
3.


    Мейер, Б.
    Строитель надежных программ [Текст] / Б. Мейер ; беседовала Н. Дубова // Открытые системы. СУБД. - 2011. - № 10. - С. 52-55.
УДК
^a004.41/.42
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
программная инженерия -- языки программирования -- Eiffel -- объектно-ориентированные языки -- качество программ -- интервью -- информационные технологии -- ИТ -- программное обеспечение -- ПО
Аннотация: Бертран Мейер - один из специалистов, определяющих лицо современной программной инженерии. Его исследования в области формального доказательства качества программ показывают, что программная инженерия способна быть полноценной научной дисциплиной.


Доп.точки доступа:
Дубова, Н. \.\

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
4.


    Лоскутов, А. И.
    Автоматизация контроля состояния сложных технических систем на основе использования конечно-автоматной модели и нейросетевых структур [Текст] / А. И. Лоскутов, В. Б. Вечеркин, О. Л. Шестопалова // Информационно-управляющие системы. - 2012. - № 2 (57). - С. 74-81 : 6 рис. - Библиогр.: с. 81 . - ISSN 1684-8853
УДК
^a004.78
ББК 32.973.202
Рубрики: Вычислительная техника
   Диалоговые вычислительные системы для специальных целей
Кл.слова (ненормированные):
автоматизация контроля технического состояния -- сложные технические системы -- контрольно-испытательная аппаратура -- бортовая аппаратура космических аппаратов -- конечно-автоматная модель -- динамическая нейронная сеть -- качество программ -- моделирование качества программ -- нейросетевые структуры
Аннотация: Описывается подход к построению автоматизированной контрольно-испытательной аппаратуры сложных технических систем на основе использования математической конечно-автоматной модели и динамических нейросетевых структур.


Доп.точки доступа:
Вечеркин, В. Б.; Шестопалова, О. Л.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
5.


    Карпов, Ю.
    Новая жизнь верификации [Текст] / Ю. Карпов // Открытые системы. СУБД. - 2012. - № 3. - С. 50-53
УДК
^a004.41/.42
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
верификация программ -- программы -- проверка модели -- model checking -- тестирование программ -- отладка программ -- качество программ -- информационные технологии -- ИТ -- программное обеспечение -- ПО
Аннотация: Обеспечение высокой надежности и безошибочности программ - одна из главных задач ИТ-индустрии, однако до сих пор нет ее универсального и надежного решения. Использование верификации, дополняющей традиционные методы тестирования и отладки, позволяет повышать качество программ.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
6.


    Соркар, П.
    Когда качество важнее времени [Текст] / Пия Соркар // PR в России. - 2011. - № 11. - С. 2-3
УДК
^a002
ББК 76
Рубрики: Средства массовой информации
   СМИ в целом
Кл.слова (ненормированные):
образовательные проекты -- информационные программы -- качество программ -- переводы программ -- иллюстрации
Аннотация: Условия успеха информационных образовательных проектов для различных групп населения в разных странах. На примере образовательной программы о ВИЧ-инфекции Стэнфордского университета.


Доп.точки доступа:
Стэнфордский университет

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
7.


    Белеванцев, А. А.
    Многоуровневый статический анализ исходного кода программ для обеспечения качества программ [Текст] / А. А. Белеванцев // Программирование. - 2017. - № 6. - С. 3-25. - Библиогр.: с. 25 (10 назв.) . - ISSN 0132-3474
УДК
^a004.94
ББК 32.973-018.2
Рубрики: Вычислительная техника
   Имитационное компьютерное моделирование
Кл.слова (ненормированные):
качество программ -- контекстно-чувствительный анализ -- многоуровневые системы анализа -- многоуровневый анализ -- поиск ошибок -- синтаксические деревья -- статистический анализ
Аннотация: В настоящей статье обсуждаются методы анализа программ для поиска ошибок в исходном коде, которые вместе формируют многоуровневую систему анализа.


Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 19.08.2024
Число запросов 58162
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)