Сводный каталог книг

w10=
Найдено документов в текущей БД: 3
   З 973.2
   С 202

    Повышение качества программ на основе автоматизированных методов.
[Текст] : монография / А.А. Саркисян. - Москва : Радио и связь, 1991. - 156 с. : Ил + Табл. - Библиогр.: с.152-155%ISBN 5-256-00629-0. - 2.50 р.
УДК

Аннотация: Рассматриваются задачи, связанные с созданием научно-обоснованной методологии автоматизированного повышения качества программ в процессах их разработки, сопровождения и использования. Основное назначение данной методологии заключается в развитии технологий программирования для обеспечения максимальной независимой характеристики качества программ от личностных факторов ее разработчиков и специалистов по сопровождению. В начале рассматриваются сравнительно общие вопросы: исследование основных факторов, обусловливающих качество программ на протяжении жизненного цикла, выбор и обоснование важнейших характеристик качества программы, их доминирующая роль и содержание относительно каждой стадии ее существования, основные положения и характерные особенности предлагаемой концепции комплексного решения проблемы повышения качества, теоретические основы и методы анализа логико-информационнной структуры программы. Затем излагаются автоматизированные методы, ориентированные на улучшение конкретных характеристик качества программ: понимаемости, корректности, сопровождаемости и эффективности. В конце описываются технологические этапы процесса автоматизированного повышения качества программ и возможные области его применения. Для научных работников в области программного обеспечения и технологий программирования, может быть полезна инженерам.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
   З97
   С202

    Машинонезависимая оптимизация исходных программ
[Текст] : монография / А.А. Саркисян. - Москва : Радио и связь, 1985. - 207 с. : ил. - Библиогр: с.199-202. Предм. указ.: с.203-204. - 0.55 р.
УДК

Аннотация: Изложены теоретические и практические основы глобальной машинонезависимой оптимизации исходных программ, написанных на языках программирования высокого уровня. Подробно рассмотрены вопросы выбора места выполнения оптимизации, промежуточного представления программы, удобного для анализа и оптимизации, анализа логических и информационных связей в программах и собственно оптимизации. Рассмотрены также технологические возможности системы оптимизации и предпосылки создания на ее основе автоматизированной системы повышения качества программного продукта. Для инженеров, занимающихся вопросами создания программного обеспечения вычислительных систем и АСУ; для научных работников.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
   У826
   С20

    Банковские инструменты защиты от рисков в экспортно-импортных операциях
[Текст] / А.А. Саркисян. - Новосибирск : [б. и.], 1999. - 80 с. - 10-00 р.
ГРНТИ
ББК У826.22
Рубрики:
Банки
Кл.слова (ненормированные):
экономика, финансы, банки, экспорт, импорт


Держатели документа:
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50
Экземпляры всего: 1
ЦНБ-ХР (1)
Свободны: ЦНБ-ХР (1)