Список научных трудов Липаева В.В.

Список научных трудов профессора, доктора технических наук, заслуженного деятеля науки и техники РФ, главного научного сотрудника Института системного программирования РАН Владимира Васильевича Липаева

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

В.В. Липаев является автором 5 изобретений и свыше 400 публикаций в научных журналах.