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

  • Колин К.К., Липаев В.В. Проектирование алгоритмов управляющих ЦВМ. — М.: Советское радио,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.

Липаєв В.В.

Володимир Васильович Липаєв — один із засновників вітчизняної школи програмної інженерії, провідний радянський та російський фахівець у галузі технології створення програмних систем реального часу. Доктор технічних наук, професор, Заслужений діяч науки та техніки РРФСР. За внесок у розвиток науки та техніки він був удостоєний звання Лауреата премії Ради міністрів СРСР та Лауреата премії Уряду РФ у галузі освіти. Закінчив фізичний факультет МДУ у 1950 році. З 1954 по 1988 роки працював у Московському НДІ приладової автоматики (МНДІПА), потім був головним конструктором та головою Координаційної ради Міністерства радіопромисловості СРСР з автоматизації проектування програмного забезпечення, керівником комплексного проекту "Прометей" за технологією створення великомасштабних програмних засобів для систем реального часу.

Близько 40 років займався дослідженнями та розробкою програмного забезпечення для систем обробки радіолокаційної інформації та інструментальних засобів для створення керуючих програм реального часу. На базі теоретичних досліджень та великого практичного досвіду реалізації великих програмних проектів під його керівництвом розроблено кілька великих інструментальних систем для автоматизації технологічних процесів життєвого циклу складних комплексів програм, що широко використовуються в оборонній промисловості та частково експлуатуються дотепер (Яуза, Руза, Прометей).

Основні наукові інтереси були зосереджені у галузі програмної інженерії, надійності функціонування програм, відкритих інформаційних систем та мобільності програмних засобів. Активно займався проблемами забезпечення якості, тестування, стандартизації та сертифікації складних програмних комплексів.

В.В. Липаєв створив наукову школу. Під його керівництвом захистили дисертації кілька докторів наук та понад 20 кандидатів наук. Він автор понад 50 монографій та навчальних посібників у галузі методів, технологій та інструментальних засобів тестування, а також у галузі стандартизації та сертифікації складних комплексів програм та систем реального часу. Близько 20 років він викладав курс «Програмної інженерії» у низці ВНЗ країни.

Останні роки він працював на посаді головного наукового співробітника ІСП РАН. В ІСП РАН їм було написано низку книг.