Бібліографія

• Колин К.К., Липаев В.В. Проектирование алгоритмов управляющих ЦВМ. — М.: Советское радио,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.
• Липаев В.В. Сертификация программных средств. Учебник. – М.: СИНТЕГ. 2010.
• Липаев В.В. Тестирование компонентов и комплексов программ. Учебник. – М.: СИНТЕГ. 2010.
• Липаев В.В. Экономика производства программных продуктов. Издание второе. – М.: СИНТЕГ. 2011.
• Липаев В.В. Проектирование и производство сложных заказных программных продуктов. – М.:СИНТЕГ. 2011.
• Липаев В.В. Очерки истории отечественной программной инженерии 1940-е – 80-е годы. – М.: СИНТЕГ, 2012.
• Липаев В.В. Проблемы программной инженерии. Лекции ведущих учёных России. Красноярск. СФУ. 2011.
• Липаев В.В. Надёжность и функциональная безопасность комплексов программ реального времени. – М.: Изд. Светлица. 2013.
• Липаев В.В. Программная инженерия сложных заказных программных продуктов. Учебное пособие. Книга и электронный учебник с электронным дополнением Экономика программной инженерии сложных заказных программных продуктов. – М.: Изд. Макс — пресс. 2014.