Новости
24 Апреля, 2024
ИСП РАН и «Базис» расширяют работу по повышению безопасности российских облачных решений
12 Апреля, 2024
Защита диссертаций
15 Марта, 2024
Сегодня стартовали выборы Президента России
Список научных трудов профессора, доктора технических наук, заслуженного деятеля науки и техники РФ, главного научного сотрудника Института системного программирования РАН Владимира Васильевича Липаева
- Колин К.К., Липаев В.В. Проектирование алгоритмов управляющих ЦВМ. - М.: Советское радио,1970.
- Липаев В.В., Колин К.К., Серебровский Л.А. Математическое обеспечение управляющих ЦВМ. - М.: Советское радио, 1972.
- Липаев В.В., Фидловский Л.А., Филиппович В.В., Шнейдер Б.А. Отладка систем управляющих алгоритмов ЦВМ реального времени.- М.: Советское радио, 1974.
- Липаев В.В., Яшков С.Ф. Эффективность методов организации вычислительного процесса в АСУ. - М.: Статистика, 1975.
- Липаев В.В. Проектирование математического обеспечения АСУ.- М.: Советское радио, 1977.
- Липаев В.В. Распределение ресурсов в вычислительных системах. - М.: Статистика, 1979.
- Малиновский Б.Н., Липаев В.В., Слобадинюк Т.Ф. Справочник по цифровой вычислительной технике (программное обеспечение). т.2. Киев. Техника, 1981.
- Липаев В.В. Надежность программного обеспечения АСУ. - М.: Энергоиздат, 1981.
- Липаев В.В. Качество программного обеспечения. - М.: Финансы и статистика, 1983.
- Липаев В.В., Серебровский Л.А., Гаганов П.Г. и др. Технология проектирования комплексов программ АСУ. - М.: Радио и связь, 1983.
- Липаев В.В. Тестирование программ. - М.: Радио и связь, 1986.
- Липаев В.В., Потапов А.И. Оценка затрат на разработку программных средств. - М.: Финансы и статистика, 1988.
- Липаев В.В. Проектирование программных средств. Учебное пособие. - М.: Высшая школа, 1990.
- Липаев В.В, Позин Б.А., Штрик А.А. Технология сборочного программирования. - М.: Радио и связь, 1992.
- Липаев В.В. Управление разработкой программных средств. Методы, стандарты, технология. - М.: Финансы и статистика, 1993.
- Липаев В.В. Отладка сложных программ. – М.:Энергоатомиздат, 1993.
- Липаев В.В. Сертификация информационных технологий, программных средств и баз данных. Казань, 1995.
- Липаев В.В. Сертификация программных средств типовых ИВС региональной информатизации. - М.: Изд. ВНИИПВТИ. 1995.
- Костогрызов А.И., Липаев В.В. Сертификация качества функционирования автоматизированных информационных систем. - М.: Изд. Вооружение. Политика. Конверсия. 1996.
- Липаев В.В. Международные стандарты, поддерживающие жизненный цикл программных средств. – М.: МП Экономика. 1996.
- Липаев В.В. Алгоритмическая и программно-технологическая безопасность информационных систем. – М.: МП Экономика.1996.
- Липаев В.В. Программно-технологическая безопасность информационных систем. – М.: МИФИ. 1997.
- Липаев В.В., Филинов Е.Н. Мобильность программ и данных в открытых информационных системах. – М.: РФФИ. 1997.
- Липаев В.В. Документирование и управление конфигурацией программных средств. – М.: СИНТЕГ. 1998.
- Липаев В.В. Надежность программных средств. - М.: СИНТЕГ.1998.
- Липаев В.В. Системное проектирование сложных программных средств для информационных систем. - М.: СИНТЕГ. 1999.
- Липаев В.В. Требования к структуре и содержанию документации на прикладные программные средства информационных систем. Методическое руководство. - М.: СТАНКИН. 1999.
- Липаев В.В. Тестирование программных средств. Методическое руководство. – М.: СТАНКИН. 1999.
- Липаев В.В. Сопровождение и конфигурационное управление версиями сложных программных средств. Методическое руководство. – М.: СТАНКИН. 2000.
- Липаев В.В. Обеспечение качества программных средств. Методы и стандарты. – М.: СИНТЕГ. 2001.
- Липаев В.В. Выбор и оценивание характеристик качества программных средств. Методы и стандарты. – М.: СИНТЕГ. 2001.
- Липаев В.В. Системное проектирование сложных программных средств для информационных систем. Издание второе переработанное и дополненное. - М.: СИНТЕГ. 2002.
- Липаев В.В. Качество программных средств. Методические рекомендации. – М.: Янус-К. 2002.
- Липаев В.В. Фрагменты истории развития отечественного программирования специализированных ЭВМ в 50 – 80-е годы. – М.: СИНТЕГ. 2003.
- Липаев В.В. Методы обеспечение качества крупномасштабных программных средств. – М.: РФФИ. СИНТЕГ. 2003.
- Липаев В.В. Функциональная безопасность программных средств. – М.: СИНТЕГ. 2004.
- Липаев В.В. Технико-экономическое обоснование проектов сложных программных средств. – М.: СИНТЕГ. 2004.
- Липаев В.В. Анализ и сокращение рисков проектов сложных программных средств. – М.: СИНТЕГ. 2005.
- Липаев В.В. Документирование сложных программных средств. – М.: СИНТЕГ. 2005.
- Липаев В.В. Сопровождение и управление конфигурацией сложных программных средств. – М.: СИНТЕГ. 2006.
- Липаев В.В. Процессы и стандарты жизненного цикла сложных программных средств. Справочник. – М.: СИНТЕГ. 2006.
- Липаев В.В. Документирование в жизненном цикле программных средств. Методические рекомендации. – М.: Янус-К. 2006.
- Липаев В.В. Программная инженерия. Методологические основы. Учебник. – М.: ГУ-ВШЭ. 2006.
- Липаев В.В. Отечественная программная инженерия: фрагменты истории и проблемы. – М.: СИНТЕГ. 2007.
- Липаев В.В. Тестирование крупных комплексов программ на соответствие требованиям. Учебник. – М.: Глобус. 2008.
- Липаев В.В. Экономика производства сложных программных продуктов. – М.: СИНТЕГ. 2008.
- Липаев В.В. Человеческие факторы в программной инженерии: рекомендации и требования к профессиональной квалификации специалистов. Учебник. – М.: СИНТЕГ. 2009.
- Липаев В.В. Сертификация программных средств. Учебник. – М.: СИНТЕГ. 2009.
- Липаев В.В. Тестирование компонентов и комплексов программ. Учебник. – М.: СИНТЕГ. 2010.
- Липаев В.В. Экономика производства программных продуктов. Издание второе. – М.: СИНТЕГ. 2011.
- Липаев В.В. Проектирование и производство сложных заказных программных продуктов. – М.:СИНТЕГ. 2011.
- Липаев В.В.Очерки истории отечественной программной инженерии 1940-е – 80-е годы. –М.: СИНТЕГ, 2012.
- Липаев В.В. Проблемы программной инженерии. Лекции ведущих ученых России. Красноярск. СФУ. 2011.
- Липаев В.В., Надежность и функциональная безопасность комплексов программ реального времени. –М.: Изд. Светлица.. . 2013.
- Липаев В.В., Программная инженерия сложных заказных программных продуктов. Учебное пособие. Книга и электронный учебник с электронным дополнением Экономика программной инженерии сложных заказных программных продуктов. –М.: Изд. Макс - пресс. 2014.
В.В. Липаев является автором 5 изобретений и свыше 400 публикаций в научных журналах.