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

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

В Википедии есть статьи о других людях с фамилией Липаев.
Липаев Владимир Васильевич
Дата рождения 14 июня 1928(1928-06-14)
Место рождения Москва, РСФСР, СССР
Дата смерти 21 сентября 2015(2015-09-21) (87 лет)
Место смерти Москва, Россия
Научная сфера программирование
Место работы ИСП РАН
Альма-матер МГУ
Учёная степень доктор технических наук (1965)
Учёное звание профессор (1970)
Награды и премии
Сайт 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.

Ссылки
упавшие ссылки
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.