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

[Текст] : Учебное пособие для вузов по спец. "Автоматизир. системы обраб. информ. и управления" / В.В. Липаев. - Москва : Высшая школа, 1990. - 303 с. : ил. - Библиогр.: с. 301-302. - 1.00 р.

УДК

681.142.1

ББК З973.2

Аннотация: В учебном пособии с позиции современной системотехники рассмотрены проблемы проектирования сложных программных средств для различных типов ЭВМ. Изложены технология и основные методы проектирования программных средств. Представлены этапы и методы проектирования программ, основные способы и средства автоматизации разработки, отладки, испытаний и сопровождения программ. Приводятся оценки эффективности методов и средств автоматизации проектирования программ.

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

[Текст] : монография / В.В. Липаев. - Москва : Радио и связь, 1986. - 295 с. : ил., табл. - Библиогр.: с. 289-294 . - 1.30 р.

УДК	681.326.74.06

ББК З973

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

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

[Текст] : учебное пособие / В.В. Липаев, Е.Н. Филинов. - Москва : [б. и.], 1997. - 368 с. : ил. - Библиогр.: с. 351-359. - 2.60 р.

УДК

681.3.06

ББК З973

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Филинов, Е.Н.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / В.В. Липаев. - Москва : Энергоиздат, 1981. - 241 с. : ил., табл. - Библиогр.: с. 236-240 . - 0.85 р.ББК З 973.2-018

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

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

[Текст] : монография / В.В. Липаев. - Москва : Синтег, 1998. - 232 с. : ил. - (Информатизация России на пороге XXI века). - Библиогр.: с. 216-219. - ISBN 5-89638-008-9 : 32.72 р.ББК З973.2-018

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

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