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

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

Главная

ИРБИС64+

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

Описание

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС IPRBooks

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

ЭБС Юрайт

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

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

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

ВКР

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

в найденном

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

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

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

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

1-10 11-11

Вид документа : Однотомное издание
Шифр издания : 27294
Автор(ы) : Липаев В. В.
Заглавие : Документирование сложных программных комплексов : Электронное дополнение к учебному пособию «Программная инженерия сложных заказных программных продуктов» (для бакалавров)
Выходные данные : Саратов: Вузовское образование, 2015
Колич.характеристики :115 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 681.324.067
ББК : 32.98
Ключевые слова (''Своб.индексиров.''): документирование--оценка качества--программное средство--программный комплекс--стандартизация
Аннотация: Во втором электронном дополнении к учебному пособию рассматривается организация документирования сложных программных комплексов (ПК) и продуктов (ПП), а также формирование требований к документам проектов комплексов программ. Изложены особенности планирования документооборота проектов сложных ПК и организация работы специалистов при их документировании. Представлена структура и содержание документов, охватывающих: предварительные требования, спецификации и ресурсы для разработки ПК; процессов проектирования и характеристик качества, а также разработки и программирования компонентов. Значительное внимание уделено документированию верификации и тестирования компонентов, квалификационного тестирования, испытаний и оценивания качества ПК. Представлены структуры документов, поддерживающих сопровождение и управление конфигурацией программных средств (ПС) и процессы эксплуатации программных продуктов. Изложено содержание комплекса базовых стандартов, регламентирующих документацию крупных комплексов программ. Книга предназначена для заказчиков, руководителей и менеджеров крупномасштабных проектов программных комплексов, к которым предъявляются высокие требования к качеству документирования программных продуктов. Она может быть полезна системным аналитикам, исполнителям научных проектов и опытно-конструкторских работ, студентам и аспирантам, связанным с документированием программных продуктов.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 27303
Автор(ы) : Липаев В. В.
Заглавие : Экономика программной инженерии заказных программных продуктов : Дополнение к учебному пособию «Программная инженерия сложных заказных программных продуктов» (для бакалавров)
Выходные данные : Саратов: Вузовское образование, 2015
Колич.характеристики :139 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 004
ББК : 65.39
Ключевые слова (''Своб.индексиров.''): программный продукт--техническая система--экономика--экономический прогноз
Аннотация: В учебнике представлены основы экономики производства сложных программных продуктов высокого качества, которые базируются на традиционных принципах и методах экономики разработки сложных технических систем. Создание таких программных продуктов связанных с большими затратами, определяет необходимость их строгого планирования, формализации и стандартизации производственных процессов, а также экономического контроля и сопровождения, подобных при производстве других крупных промышленных изделий. Для конкретизации рассматриваемых задач и процессов изложены основы экономики программной инженерии промышленного производства программных продуктов. Представлены факторы, определяющие экономику технологии создания компонентов и комплексов программ, основные современные методы прогнозирования их трудоемкости, длительности и числа необходимых специалистов для проектирования и производства программных продуктов высокого качества с учетом их характеристик и ограниченных ресурсов.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 27295
Автор(ы) : Липаев В. В.
Заглавие : Надежность и функциональная безопасность комплексов программ реального времени (для магистров)
Выходные данные : Саратов: Вузовское образование, 2015
Колич.характеристики :207 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 62
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): надежность--программа--стандартизация--функциональная безопасность
Аннотация: Рассмотрены основные факторы, определяющие надежность и безопасность функционирования программных комплексов реального времени, характеристики систем и среды, для которых должна обеспечиваться функциональная безопасность программных продуктов реального времени и необходимые ресурсы. Представлены требования к проектированию функциональной пригодности сложных программ, организация, планирование и процессы разработки требований к безопасности программных продуктов. Изложено содержание основных международных стандартов технологических процессов обеспечивающих функциональную безопасности в жизненном цикле комплексов программ. Значительное внимание уделено испытаниям надежности и функциональной безопасности сложных программных продуктов, Программе и методикам испытаний компонентов и комплексов программ, динамическим характеристикам программных продуктов. Рассмотрены технологические средства автоматизации испытаний функциональной безопасности программных продуктов. удостоверение требуемой функциональной безопасности и сертификации сложных программных продуктов. Монография предназначена руководителям и разработчикам сложных систем и программных продуктов, к которым предъявляются высокие требования к надежности и функциональной безопасности применения. Книга ориентирована на исполнителей опытно-конструкторских работ, студентов и аспирантов, связанных с созданием систем и программных продуктов высокого качества и безопасности.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 27297
Автор(ы) : Липаев В. В.
Заглавие : Программная инженерия сложных заказных программных продуктов : Учебное пособие
Выходные данные : Москва: МАКС Пресс, 2014
Колич.характеристики :309 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-317-04750-4: Б.ц.
УДК : 004.41(075.8)
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): программная инженерия--программный продукт--промышленное производство
Аннотация: Учебное пособие состоит из двух частей, в которых изложены, соответственно, методы и процессы проектирования и производства сложных заказных программных продуктов для технических систем реального времени. Минимизация рисков, обусловленных отказами программ, достигается посредством верификации, тестирования, испытаний и сертификации, привлечением коллективов квалифицированных специалистов. При изложении активно используются современные международные и отечественные стандарты, описываются методы планирования производственных процессов с учетом ограниченных экономических ресурсов крупных проектов. Часть 1 посвящена методам системного проектирования комплексов программ, подбору и подготовке коллектива специалистов для проектирования и производства сложных программных продуктов. Часть 2 посвящена основам промышленного производства сложных заказных программных продуктов.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 27296
Автор(ы) : Липаев В. В.
Заглавие : Очерки истории отечественной программной инженерии 1940-е – 80-е годы
Выходные данные : Москва: СИНТЕГ, 2012
Колич.характеристики :262 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-89638-122-8: Б.ц.
УДК : 004.41(075.8)
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): вычислительная техника--история--программная инженерия
Аннотация: Монография начинается с истории появления в нашей стране электронных вычислительных машин (ЭВМ) и программирования в 1940-е 60-е годы. Далее изложена история проектирования и производства отечественных ЭВМ, а также средств и систем автоматизации технологических процессов производства программных продуктов в 1960-е – 80-е годы. Подробно представлена история формирования основных компонентов программной инженерии в 1960-е – 70-е годы. Внимание акцентируется на особенностях решения сложных задач по государственным заказам и на создании программных продуктов для мобильных и бортовых ЭВМ реального времени. Особое внимание уделяется истории разработки методов моделирования динамических объектов и стендов для тестирования и испытаний комплексов программ в реальном времени. Изложены методы оценивания качества программных продуктов, рисков, дефектов и ошибок при их разработке, а также история формирования требований к профессиям и квалификации специалистов программной инженерии в 1970-е – 80-е годы. Рассмотрен анализ сложности программных комплексов реального времени и распределение ресурсов ЭВМ для таких комплексов, характеристики и методы оценивания качества их компонентов. Один из разделов посвящен истории формирования в 1980-годы экономики программной инженерии, созданию средств технико-экономического анализа и экономическому обоснованию планов разработки крупных программных продуктов. Представлены реальные примеры их создания в 1960-е – 80-е годы для оборонных систем на основе методов программной инженерии. Книга предназначена для специалистов по вычислительной технике и программной инженерии, программистов, студентов и аспирантов, интересующихся историей развития, успехами и проблемами отечественной науки и техники в этой области.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 27298
Автор(ы) : Липаев В. В.
Заглавие : Проектирование и производство сложных заказных программных продуктов
Выходные данные : Москва: СИНТЕГ, 2011
Колич.характеристики :398 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-89638-119-8: Б.ц.
УДК : 004.41(075.8)
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): программный продукт--проектирование--производство
Аннотация: Монография состоит из двух частей, в которых изложены методы и процессы проектирования и производства сложных заказных программных продуктов для технических систем реального времени. Все компоненты и комплексы программ должны соответствовать требованиям заказчика, высокому качеству и минимальным рискам посредством верификации, тестирования, испытаний и сертификации, обеспечиваемыми коллективами квалифицированных специалистов. При изложении активно используются современные международные и отечественные стандарты, планирование производственных процессов с учетом ограниченных экономических ресурсов крупных проектов. Часть 1 посвящена методам системного проектирования комплексов программ, подбору и подготовке коллектива специалистов для проектирования и производства сложных программных продуктов. Изложено проектирование требований к компонентам и комплексам программ, а также требований к характеристикам качества и допустимым рискам при проектировании процессов производства программных комплексов. Представлено оценивание и прогнозирование сложности проектирования и экономических характеристик процессов производства заказных программных продуктов. Часть 2 содержит основы промышленного производства сложных заказных программных продуктов. Изложены организация и реализация верификации и тестирования комплексов программ, тестирования потоков управления и потоков данных программных модулей и компонентов, планирование производства и тестирования компонентов и комплексов программ. Представлено тестирование сложных динамических программных продуктов и методы сопровождения программных комплексов. Изложены методы и процессы управления конфигурацией и документированием программных комплексов, а также испытания, удостоверение качества и сертификация сложных заказных программных продуктов с учетом стандартов. Монография предназначена для руководителей предприятий и проектов технических систем, для специалистов, ответственных за проектирование и производство сложных заказных программных продуктов реального времени высокого качества, также может использоваться в качестве учебного пособия по программной инженерии.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 27304
Автор(ы) : Липаев В. В.
Заглавие : Экономика производства программных продуктов
Выходные данные : Москва: СИНТЕГ, 2011
Колич.характеристики :341 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-89638-116-7: Б.ц.
УДК : 004.41(075.8)
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): программный продукт--производство--техническая система--экономика
Аннотация: В монографии представлены основы экономики производства сложных программных продуктов высокого качества, которые базируются на традиционных принципах и методах экономики разработки сложных технических систем. Создание таких программных продуктов связанных с большими затратами, определяет необходимость их строгого планирования, формализации и стандартизации производственных процессов, а также экономического контроля и сопровождения, подобных применяемым при производстве других крупных промышленных изделий. Для конкретизации рассматриваемых задач и процессов изложены основы экономики индустриального производства сложных технических систем, а также особенности программной инженерии промышленного производства программных продуктов. Представлены факторы, определяющие экономику технологии создания компонентов и комплексов программ, основные современные методы прогнозирования их трудоемкости, длительности и числа необходимых специалистов для проектирования и производства программных продуктов высокого качества с учетом их характеристик и ограничений ресурсов. Значительное внимание уделено процессам организации, испытаний и сертификации создания программных продуктов. При изложении методов и процессов, которые являются основой для определения их экономических характеристик, активно используются международные стандарты в этой сфере. Монография предназначена для руководителей, системных аналитиков и экономистов, ответственных за анализ, прогнозирование и контроль экономических характеристик при проектировании и производстве сложных программных продуктов.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 27299
Автор(ы) : Липаев В. В.
Заглавие : Сертификация программных средств : Учебник
Выходные данные : Москва: СИНТЕГ, 2010
Колич.характеристики :338 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-89638-114-3: Б.ц.
УДК : 004.41(075.8)
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): программное средство--сертификация--система качества
Аннотация: В учебнике изложены принципы, методы и средства обеспечения качества в жизненном цикле сложных программных средств (ПС), контроль и подтверждение их соответствие исходным требованиям заказчиков с учетом действующей законодательной базы сертификации и требований национальных и международных стандартов. Качество ответственных программных продуктов должно быть удостоверено и гарантировано компетентными, независимыми организациями путем широких, регламентированных испытаний – сертификации. Учебник состоит из трех частей: методические основы обеспечения качества и сертификации сложных программных средств (лекции 1-2); сертификация процессов производства программных средств (лекции 3-6) и сертификация готовых программных продуктов (лекции 7-11). Представлены концепция, структура и основные требования национальных и международных стандартов в сфере создания программных средств высокого качества. Изложены принципы функционирования систем менеджмента качества на базе международных стандартов серии ИСО 9000; основы стандартизации, сертификации, обеспечения качества и безопасности программных продуктов. Высокое качество программных средств при проектировании и производстве рекомендуется достигать и удостоверять двумя методами: во первых, посредством применения регламентированных высококачественных технологий и систем обеспечения качества ПС, предотвращающих ошибки и дефекты, гарантирующих качество продуктов во время их производства; во вторых, методом использования заключительного контроля и испытаний готовых продуктов и исключения из поставки экземпляров, не соответствующих требуемым показателям качества. Соответственно выделены и подробно изложены два вида сертификационных испытаний: технологий обеспечения жизненного цикла программных средств, поддержанных регламентированными системами качества производства, а также испытаниями готового программного продукта с полным комплектом эксплуатационной документации. Учебник ориентирован на студентов старших курсов и аспирантов по Программной инженерии, а также на заказчиков, менеджеров, аналитиков и ведущих специалистов, обеспечивающих все этапы жизненного цикла сложных ПС, к которым предъявляются высокие требования к качеству и безопасности функционирования, ограничены доступные ресурсы и сроки разработки.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 27301
Автор(ы) : Липаев В. В.
Заглавие : Тестирование компонентов и комплексов программ : Учебник
Выходные данные : Москва: СИНТЕГ, 2010
Колич.характеристики :393 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-89638-115-0: Б.ц.
УДК : 004.41(075.8)
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): комплекс--компонент--программа--тестирование
Аннотация: Учебник состоит из двух частей. В первой части (7 лекций) рассматриваются системные основы разработки требований к сложным комплексам программ, эталоны при их проектировании и производстве, декомпозиция функций и архитектуры комплексов программ для формирования требований к компонентам и модулям. Изложены требования к характеристикам качества, к тестам и допустимым рискам комплексов программ (КП). Во второй части (7 лекций) представлены методы тестирования потоков управления и потоков данных программных модулей. Рассмотрено планирование тестирования модулей и компонентов для КП, нисходящая – восходящая сборка и тестирование программных компонентов, подготовка и применение графиков разработки и исполнения тестов для компонентов и комплексов программ. Изложены организация и процессы испытаний, Программа и методики тестирования компонентов и сложных комплексов программ. Учебник ориентирован на специалистов, студентов и аспирантов для обучения тестированию модулей и программных компонентов, а также крупных программных комплексов высокого качества
(для доступа требуется авторизация)

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

10.

Вид документа : Однотомное издание
Шифр издания : 27302
Автор(ы) : Липаев В. В.
Заглавие : Человеческие факторы в программной инженерии : Рекомендации и требования к профессиональной квалификации специалистов. Учебник
Выходные данные : Москва: СИНТЕГ, 2009
Колич.характеристики :313 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-89638-110-5: Б.ц.
УДК : 004.41(075.8)
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): программная инженерия--профессиональная квалификация--человеческий фактор
Аннотация: Для анализа и учета человеческих факторов при производстве программных продуктов в учебнике изложены общие психологические характеристики субъектов, особенности лидеров и коллективов специалистов. В основной группе лекций представлены требования к психологическим и профессиональным характеристикам руководителей и специалистов, их обучению необходимой квалификации, что они должны знать и уметь для успешной деятельности на основных этапах жизненного цикла сложных комплексов программ. Рекомендации и требования для обучения специалистов производству крупных программных продуктов иллюстрированы тремя десятками рисунков, каждый из которых отражает определенные квалификационные уровни и детализирован перечнем необходимых профессиональных знаний и навыков. Значительное внимание сосредоточено на задачах обучения специалистов, которым предстоит разрабатывать требования к программным продуктам, оценивать экономические характеристики производства, планировать деятельность коллективов специалистов при создании таких продуктов. Изложены требования к обеспечению профессиональной квалификации специалистов, управляющих модификацией, сопровождением и конфигурацией крупных программных продуктов, обеспечивающих их качество и безопасность, тестирующих компоненты и комплексы программ, осуществляющих их динамические испытания. Описаны организация и обучение применению стандартов программной инженерии, а также состав и содержание системы международных стандартов. Учебник целесообразно использовать при обучении студентов старших курсов, аспирантов и менеджеров проектов для повышения квалификации по созданию сложных комплексов программ на всем их жизненном цикле с учетом человеческих факторов. Курс лекций (30 часов) ориентирован также на заказчиков, менеджеров крупных проектов, аналитиков и ведущих специалистов, обеспечивающих все этапы жизненного цикла сложных программных систем, к которым предъявляются высокие требования к качеству и безопасности функционирования и ограничены доступные ресурсы и сроки разработки.
(для доступа требуется авторизация)

1-10 11-11

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

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

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

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