Липаев, Владимир Васильевич

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

Липаев Владимир Васильевич
Липаев, Владимир ВасильевичВ. В. Липаев
Дата рождения 14 июня 1928(1928-06-14)
Место рождения Москва, РСФСР, СССР
Дата смерти 21 сентября 2015(2015-09-21) (87 лет)
Место смерти Москва, Россия
Научная сфера программирование
Место работы ИСП РАН
Альма-матер МГУ
Учёная степень доктор технических наук (1965)
Учёное звание профессор (1970)
Награды и премии Премия Совета Министров СССР — 1985 Премия Правительства Российской Федерации в области образования — 2001
Сайт ispras.ru/lipaev/

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

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

В.В. Липаев создал научную школу. Под его руководством защитили диссертации несколько докторов наук и более 20 кандидатов наук. Он автор более 50 монографий и учебных пособий в области методов, технологий и инструментальных средств тестирования, а также в области стандартизации и сертификации сложных комплексов программ и систем реального времени. Около 20 лет он преподавал курс «Программной инженерии» в ряде ВУЗов страны.

Последние годы он работал в должности главного научного сотрудника в ИСП РАН. В ИСП РАН им был написан ряд книг.

Библиография править

  1. Колин К.К., Липаев В.В. Проектирование алгоритмов управляющих ЦВМ. — М.: Советское радио,1970.
  2. Липаев В.В., Колин К.К., Серебровский Л.А. Математическое обеспечение управляющих ЦВМ. — М.: Советское радио, 1972.
  3. Липаев В.В., Фидловский Л.А., Филиппович В.В., Шнейдер Б.А. Отладка систем управляющих алгоритмов ЦВМ реального времени.- М.: Советское радио, 1974.
  4. Липаев В.В., Яшков С.Ф. Эффективность методов организации вычислительного процесса в АСУ. — М.: Статистика, 1975.
  5. Липаев В.В. Проектирование математического обеспечения АСУ.- М.: Советское радио, 1977.
  6. Липаев В.В. Распределение ресурсов в вычислительных системах. — М.: Статистика, 1979.
  7. Малиновский Б.Н., Липаев В.В., Слобадинюк Т.Ф. Справочник по цифровой вычислительной технике (программное обеспечение). т.2, Киев. Техника, 1981.
  8. Липаев В.В. Надёжность программного обеспечения АСУ. — М.: Энергоиздат, 1981.
  9. Липаев В.В. Качество программного обеспечения. — М.: Финансы и статистика, 1983.
  10. Липаев В.В., Серебровский Л.А., Гаганов П.Г. и др. Технология проектирования комплексов программ АСУ. — М.: Радио и связь, 1983.
  11. Липаев В.В. Тестирование программ. — М.: Радио и связь, 1986.
  12. Липаев В.В., Потапов А.И. Оценка затрат на разработку программных средств. — М.: Финансы и статистика, 1988.
  13. Липаев В.В. Проектирование программных средств. Учебное пособие. — М.: Высшая школа, 1990.
  14. Липаев В.В, Позин Б.А., Штрик А.А. Технология сборочного программирования. — М.: Радио и связь, 1992.
  15. Липаев В.В. Управление разработкой программных средств. Методы, стандарты, технология. — М.: Финансы и статистика, 1993.
  16. Липаев В.В. Отладка сложных программ.– М.: Энергоатомиздат, 1993.
  17. Липаев В.В. Сертификация информационных технологий, программных средств и баз данных. Казань, 1995.
  18. Липаев В.В. Сертификация программных средств типовых ИВС региональной информатизации.– М.: Изд. ВНИИПВТИ. 1995.
  19. Костогрызов А.И., Липаев В.В. Сертификация качества функционирования автоматизированных информационных систем. — М.: Изд. Вооружение. Политика. Конверсия. 1996.
  20. Липаев В.В. Международные стандарты, поддерживающие жизненный цикл программных средств. – М.: МП Экономика. 1996.
  21. Липаев В.В. Алгоритмическая и программно-технологическая безопасность информационных систем. – М.: МП Экономика.1996.
  22. Липаев В.В. Программно-технологическая безопасность информационных систем. – М.: МИФИ. 1997.
  23. Липаев В.В., Филинов Е.Н. Мобильность программ и данных в открытых информационных системах. – М.: РФФИ. 1997.
  24. Липаев В.В. Документирование и управление конфигурацией программных средств. – М.: СИНТЕГ. 1998.
  25. Липаев В.В. Надёжность программных средств. — М.: СИНТЕГ.1998.
  26. Липаев В.В. Системное проектирование сложных программных средств для информационных систем. — М.: СИНТЕГ. 1999.
  27. Липаев В.В. Требования к структуре и содержанию документации на прикладные программные средства информационных систем. Методическое руководство. — М.: СТАНКИН. 1999.
  28. Липаев В.В. Тестирование программных средств. Методическое руководство. – М.: СТАНКИН. 1999.
  29. Липаев В.В. Сопровождение и конфигурационное управление версиями сложных программных средств. Методическое руководство. – М.: СТАНКИН. 2000.
  30. Липаев В.В. Обеспечение качества программных средств. Методы и стандарты. – М.: СИНТЕГ. 2001.
  31. Липаев В.В. Выбор и оценивание характеристик качества программных средств. Методы и стандарты. – М.: СИНТЕГ. 2001.
  32. Липаев В.В. Системное проектирование сложных программных средств для информационных систем. Издание второе переработанное и дополненное. — М.: СИНТЕГ. 2002.
  33. Липаев В.В. Качество программных средств. Методические рекомендации. – М.: Янус-К. 2002.
  34. Липаев В.В. Фрагменты истории развития отечественного программирования специализированных ЭВМ в 50 – 80-е годы. – М.: СИНТЕГ. 2003.
  35. Липаев В.В. Методы обеспечение качества крупномасштабных программных средств. – М.: РФФИ. СИНТЕГ. 2003.
  36. Липаев В.В. Функциональная безопасность программных средств. – М.: СИНТЕГ. 2004.
  37. Липаев В.В. Технико-экономическое обоснование проектов сложных программных средств. – М.: СИНТЕГ. 2004.
  38. Липаев В.В. Анализ и сокращение рисков проектов сложных программных средств. – М.: СИНТЕГ. 2005.
  39. Липаев В.В. Документирование сложных программных средств. – М.: СИНТЕГ. 2005.
  40. Липаев В.В. Сопровождение и управление конфигурацией сложных программных средств. – М.: СИНТЕГ. 2006.
  41. Липаев В.В. Процессы и стандарты жизненного цикла сложных программных средств. Справочник. – М.: СИНТЕГ. 2006.
  42. Липаев В.В. Документирование в жизненном цикле программных средств. Методические рекомендации. – М.: Янус-К. 2006.
  43. Липаев В.В. Программная инженерия. Методологические основы. Учебник. – М.: ГУ-ВШЭ. 2006.
  44. Липаев В.В. Отечественная программная инженерия: фрагменты истории и проблемы. – М.: СИНТЕГ. 2007.
  45. Липаев В.В. Тестирование крупных комплексов программ на соответствие требованиям. Учебник. – М.: Глобус. 2008.
  46. Липаев В.В. Экономика производства сложных программных продуктов. – М.: СИНТЕГ. 2008.
  47. Липаев В.В. Человеческие факторы в программной инженерии: рекомендации и требования к профессиональной квалификации специалистов. Учебник. – М.: СИНТЕГ. 2009.
  48. Липаев В.В. Сертификация программных средств. Учебник. – М.: СИНТЕГ. 2010.
  49. Липаев В.В. Тестирование компонентов и комплексов программ. Учебник. – М.: СИНТЕГ. 2010.
  50. Липаев В.В. Экономика производства программных продуктов. Издание второе. – М.: СИНТЕГ. 2011.
  51. Липаев В.В. Проектирование и производство сложных заказных программных продуктов. – М.:СИНТЕГ. 2011.
  52. Липаев В.В. Очерки истории отечественной программной инженерии 1940-е – 80-е годы. – М.: СИНТЕГ, 2012.
  53. Липаев В.В. Проблемы программной инженерии. Лекции ведущих учёных России. Красноярск. СФУ. 2011.
  54. Липаев В.В. Надёжность и функциональная безопасность комплексов программ реального времени. – М.: Изд. Светлица. 2013.
  55. Липаев В.В. Программная инженерия сложных заказных программных продуктов. Учебное пособие. Книга и электронный учебник с электронным дополнением Экономика программной инженерии сложных заказных программных продуктов. – М.: Изд. Макс — пресс. 2014.

Ссылки править

упавшие ссылки