Фундаментальная библиотека ФГБОУ ВО СПХФУ Минздрава России

Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A

Главная

ИРБИС64+

Упрощенный режим

Описание

Базы данных

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

Вид поиска

Электронный каталог

Картотека журнальных статей

Систематический имидж-каталог

Авторефераты диссертаций

Учебники и учебно-методические пособия СПХФУ

ЭБС IPRBooks

ЭБС Консультант студента

ЭБС Юрайт

Диссертации, защищенные в СПХФУ

Журнальный фонд СПХФУ

Библиотечный фонд техникума

ВКР

Область поиска

в найденном

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>A=Липаев, В. В.$<.>)

Общее количество найденных документов : 11
Показаны документы с 1 по 10

1-10 11-11

IPRBooks-27294

27294

Липаев, В. В.
Документирование сложных программных комплексов [Электронный ресурс] : электронное дополнение к учебному пособию «Программная инженерия сложных заказных программных продуктов» (для бакалавров) / Липаев В. В. - Саратов : Вузовское образование, 2015. - 115 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

681.324.067

ББК 32.98

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

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-27303

27303

Липаев, В. В.
Экономика программной инженерии заказных программных продуктов [Электронный ресурс] : дополнение к учебному пособию «Программная инженерия сложных заказных программных продуктов» (для бакалавров) / Липаев В. В. - Саратов : Вузовское образование, 2015. - 139 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004

ББК 65.39

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

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-27295

27295

Липаев, В. В.
Надежность и функциональная безопасность комплексов программ реального времени (для магистров) [Электронный ресурс] / Липаев В. В. - Саратов : Вузовское образование, 2015. - 207 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 32.97

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

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-27297

27297

Липаев, В. В.
Программная инженерия сложных заказных программных продуктов [Электронный ресурс] : учебное пособие / Липаев В. В. - Москва : МАКС Пресс, 2014. - 309 с. - ISBN 978-5-317-04750-4 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004.41(075.8)

ББК 32.97

Кл.слова (ненормированные):
программная инженерия -- программный продукт -- промышленное производство
Аннотация: Учебное пособие состоит из двух частей, в которых изложены, соответственно, методы и процессы проектирования и производства сложных заказных программных продуктов для технических систем реального времени. Минимизация рисков, обусловленных отказами программ, достигается посредством верификации, тестирования, испытаний и сертификации, привлечением коллективов квалифицированных специалистов. При изложении активно используются современные международные и отечественные стандарты, описываются методы планирования производственных процессов с учетом ограниченных экономических ресурсов крупных проектов. Часть 1 посвящена методам системного проектирования комплексов программ, подбору и подготовке коллектива специалистов для проектирования и производства сложных программных продуктов. Часть 2 посвящена основам промышленного производства сложных заказных программных продуктов.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-27296

27296

Липаев, В. В.
Очерки истории отечественной программной инженерии 1940-е – 80-е годы [Электронный ресурс] / Липаев В. В. - Москва : СИНТЕГ, 2012. - 262 с. - ISBN 978-5-89638-122-8 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004.41(075.8)

ББК 32.97

Кл.слова (ненормированные):
вычислительная техника -- история -- программная инженерия
Аннотация: Монография начинается с истории появления в нашей стране электронных вычислительных машин (ЭВМ) и программирования в 1940-е 60-е годы. Далее изложена история проектирования и производства отечественных ЭВМ, а также средств и систем автоматизации технологических процессов производства программных продуктов в 1960-е – 80-е годы. Подробно представлена история формирования основных компонентов программной инженерии в 1960-е – 70-е годы. Внимание акцентируется на особенностях решения сложных задач по государственным заказам и на создании программных продуктов для мобильных и бортовых ЭВМ реального времени. Особое внимание уделяется истории разработки методов моделирования динамических объектов и стендов для тестирования и испытаний комплексов программ в реальном времени. Изложены методы оценивания качества программных продуктов, рисков, дефектов и ошибок при их разработке, а также история формирования требований к профессиям и квалификации специалистов программной инженерии в 1970-е – 80-е годы. Рассмотрен анализ сложности программных комплексов реального времени и распределение ресурсов ЭВМ для таких комплексов, характеристики и методы оценивания качества их компонентов. Один из разделов посвящен истории формирования в 1980-годы экономики программной инженерии, созданию средств технико-экономического анализа и экономическому обоснованию планов разработки крупных программных продуктов. Представлены реальные примеры их создания в 1960-е – 80-е годы для оборонных систем на основе методов программной инженерии. Книга предназначена для специалистов по вычислительной технике и программной инженерии, программистов, студентов и аспирантов, интересующихся историей развития, успехами и проблемами отечественной науки и техники в этой области.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-27298

27298

Липаев, В. В.
Проектирование и производство сложных заказных программных продуктов [Электронный ресурс] / Липаев В. В. - Москва : СИНТЕГ, 2011. - 398 с. - ISBN 978-5-89638-119-8 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004.41(075.8)

ББК 32.97

Кл.слова (ненормированные):
программный продукт -- проектирование -- производство
Аннотация: Монография состоит из двух частей, в которых изложены методы и процессы проектирования и производства сложных заказных программных продуктов для технических систем реального времени. Все компоненты и комплексы программ должны соответствовать требованиям заказчика, высокому качеству и минимальным рискам посредством верификации, тестирования, испытаний и сертификации, обеспечиваемыми коллективами квалифицированных специалистов. При изложении активно используются современные международные и отечественные стандарты, планирование производственных процессов с учетом ограниченных экономических ресурсов крупных проектов. Часть 1 посвящена методам системного проектирования комплексов программ, подбору и подготовке коллектива специалистов для проектирования и производства сложных программных продуктов. Изложено проектирование требований к компонентам и комплексам программ, а также требований к характеристикам качества и допустимым рискам при проектировании процессов производства программных комплексов. Представлено оценивание и прогнозирование сложности проектирования и экономических характеристик процессов производства заказных программных продуктов. Часть 2 содержит основы промышленного производства сложных заказных программных продуктов. Изложены организация и реализация верификации и тестирования комплексов программ, тестирования потоков управления и потоков данных программных модулей и компонентов, планирование производства и тестирования компонентов и комплексов программ. Представлено тестирование сложных динамических программных продуктов и методы сопровождения программных комплексов. Изложены методы и процессы управления конфигурацией и документированием программных комплексов, а также испытания, удостоверение качества и сертификация сложных заказных программных продуктов с учетом стандартов. Монография предназначена для руководителей предприятий и проектов технических систем, для специалистов, ответственных за проектирование и производство сложных заказных программных продуктов реального времени высокого качества, также может использоваться в качестве учебного пособия по программной инженерии.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-27304

27304

Липаев, В. В.
Экономика производства программных продуктов [Электронный ресурс] / Липаев В. В. - Москва : СИНТЕГ, 2011. - 341 с. - ISBN 978-5-89638-116-7 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004.41(075.8)

ББК 32.97

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

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-27299

27299

Липаев, В. В.
Сертификация программных средств [Электронный ресурс] : учебник / Липаев В. В. - Москва : СИНТЕГ, 2010. - 338 с. - ISBN 978-5-89638-114-3 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004.41(075.8)

ББК 32.97

Кл.слова (ненормированные):
программное средство -- сертификация -- система качества
Аннотация: В учебнике изложены принципы, методы и средства обеспечения качества в жизненном цикле сложных программных средств (ПС), контроль и подтверждение их соответствие исходным требованиям заказчиков с учетом действующей законодательной базы сертификации и требований национальных и международных стандартов. Качество ответственных программных продуктов должно быть удостоверено и гарантировано компетентными, независимыми организациями путем широких, регламентированных испытаний – сертификации. Учебник состоит из трех частей: методические основы обеспечения качества и сертификации сложных программных средств (лекции 1-2); сертификация процессов производства программных средств (лекции 3-6) и сертификация готовых программных продуктов (лекции 7-11). Представлены концепция, структура и основные требования национальных и международных стандартов в сфере создания программных средств высокого качества. Изложены принципы функционирования систем менеджмента качества на базе международных стандартов серии ИСО 9000; основы стандартизации, сертификации, обеспечения качества и безопасности программных продуктов. Высокое качество программных средств при проектировании и производстве рекомендуется достигать и удостоверять двумя методами: во первых, посредством применения регламентированных высококачественных технологий и систем обеспечения качества ПС, предотвращающих ошибки и дефекты, гарантирующих качество продуктов во время их производства; во вторых, методом использования заключительного контроля и испытаний готовых продуктов и исключения из поставки экземпляров, не соответствующих требуемым показателям качества. Соответственно выделены и подробно изложены два вида сертификационных испытаний: технологий обеспечения жизненного цикла программных средств, поддержанных регламентированными системами качества производства, а также испытаниями готового программного продукта с полным комплектом эксплуатационной документации. Учебник ориентирован на студентов старших курсов и аспирантов по Программной инженерии, а также на заказчиков, менеджеров, аналитиков и ведущих специалистов, обеспечивающих все этапы жизненного цикла сложных ПС, к которым предъявляются высокие требования к качеству и безопасности функционирования, ограничены доступные ресурсы и сроки разработки.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-27301

27301

Липаев, В. В.
Тестирование компонентов и комплексов программ [Электронный ресурс] : учебник / Липаев В. В. - Москва : СИНТЕГ, 2010. - 393 с. - ISBN 978-5-89638-115-0 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004.41(075.8)

ББК 32.97

Кл.слова (ненормированные):
комплекс -- компонент -- программа -- тестирование
Аннотация: Учебник состоит из двух частей. В первой части (7 лекций) рассматриваются системные основы разработки требований к сложным комплексам программ, эталоны при их проектировании и производстве, декомпозиция функций и архитектуры комплексов программ для формирования требований к компонентам и модулям. Изложены требования к характеристикам качества, к тестам и допустимым рискам комплексов программ (КП). Во второй части (7 лекций) представлены методы тестирования потоков управления и потоков данных программных модулей. Рассмотрено планирование тестирования модулей и компонентов для КП, нисходящая – восходящая сборка и тестирование программных компонентов, подготовка и применение графиков разработки и исполнения тестов для компонентов и комплексов программ. Изложены организация и процессы испытаний, Программа и методики тестирования компонентов и сложных комплексов программ. Учебник ориентирован на специалистов, студентов и аспирантов для обучения тестированию модулей и программных компонентов, а также крупных программных комплексов высокого качества

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

10.

IPRBooks-27302

27302

Липаев, В. В.
Человеческие факторы в программной инженерии [Электронный ресурс] : рекомендации и требования к профессиональной квалификации специалистов. Учебник / Липаев В. В. - Москва : СИНТЕГ, 2009. - 313 с. - ISBN 978-5-89638-110-5 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004.41(075.8)

ББК 32.97

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

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

1-10 11-11

Тематический навигатор

Статистика обращений

Статистика за 26.06.2024
Число запросов	0
Число посетителей	0
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)