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

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

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

Около 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.

Ссылки

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

Read other articles:

Agapanthia annularis Klasifikasi ilmiah Kerajaan: Animalia Filum: Arthropoda Kelas: Insecta Ordo: Coleoptera Famili: Cerambycidae Subfamili: Lamiinae Tribus: Agapanthiini Genus: Agapanthia Spesies: Agapanthia annularis Agapanthia annularis adalah spesies kumbang tanduk panjang yang tergolong famili Cerambycidae. Spesies ini juga merupakan bagian dari genus Agapanthia, ordo Coleoptera, kelas Insecta, filum Arthropoda, dan kingdom Animalia. Larva kumbang ini biasanya mengebor ke dalam kayu dan...

 

Overview of and topical guide to Japan The flag of JapanThe Imperial Seal of Japan An enlargeable map of Japan The following outline is provided as an overview of and topical guide to Japan: Japan – an island nation in East Asia, located in the Pacific Ocean. It lies to the east of the Sea of Japan, China, North Korea, South Korea and Russia, stretching from the Sea of Okhotsk in the north to the East China Sea and Taiwan in the south. The characters that make up Japan's name mean sun-o...

 

Biografi ini tidak memiliki sumber tepercaya sehingga isinya tidak dapat dipastikan. Bantu memperbaiki artikel ini dengan menambahkan sumber tepercaya. Materi kontroversial atau trivial yang sumbernya tidak memadai atau tidak bisa dipercaya harus segera dihapus.Cari sumber: Abdurrahman as-Sudais – berita · surat kabar · buku · cendekiawan · JSTOR (Pelajari cara dan kapan saatnya untuk menghapus pesan templat ini) Abdurrahman as-SudaisNama dalam bahasa ...

Cardiac stimulant drug XamoterolClinical dataATC codeC01CX07 (WHO) Identifiers IUPAC name (RS)-N-(2-{[2-hydroxy-3-(4-hydroxyphenoxy)propyl]amino}ethyl)morpholine-4-carboxamide CAS Number81801-12-9 NPubChem CID155774IUPHAR/BPS538ChemSpider137213 YUNII7HE0JQL703KEGGD06328 YChEMBLChEMBL75753 YCompTox Dashboard (EPA)DTXSID8045222 Chemical and physical dataFormulaC16H25N3O5Molar mass339.392 g·mol−13D model (JSmol)Interactive image SMILES O=C(NCCNCC(O)COc1ccc(O...

 

Election for Governor of Maine 1838 Maine gubernatorial election ← 1837 September 10, 1838 1839 →   Nominee John Fairfield Edward Kent Party Democratic Whig Popular vote 46,216 42,897 Percentage 51.58% 47.88% Governor before election Edward Kent Whig Elected Governor John Fairfield Democratic The 1838 Maine gubernatorial election took place on September 10, 1838. Incumbent Whig Governor Edward Kent was defeated for re-election by Democratic candidate John Fairf...

 

11th President of Cuba from 1948–1952 (1903–1977) This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Carlos Prío Socarrás – news · newspapers · books · scholar · JSTOR (January 2010) (Learn how and when to remove this template message) In this Spanish name, the first or paternal surname is Prío a...

2002 soundtrack album by Badly Drawn BoyAbout a BoySoundtrack album by Badly Drawn BoyReleased8 April 2002GenreFolk rock, folk popLength44:22Label Twisted Nerve XL ARTISTdirect ProducerBadly Drawn Boy, Tom Rothrock, Steve McLaughlinBadly Drawn Boy chronology The Hour of Bewilderbeast(2000) About a Boy(2002) Have You Fed the Fish?(2002) Singles from About a Boy Silent SighReleased: 25 March 2002 Something to Talk AboutReleased: 10 June 2002 Professional ratingsAggregate scoresSourceRa...

 

French duke Philippe CharlesDuke of AnjouMythological portrait of Louis XIV and the royal family, by Jean NocretBorn5 August 1667Château de Saint-Germain-en-LayeDied10 July 1671Château de Saint-Germain-en-LayeBurial12 July 1671Basilica of Saint-DenisHouseBourbonFatherLouis XIVMotherMaria Theresa of Spain Philippe-Charles, Duke of Anjou (5 August 1667 – 10 July 1671) was the fifth child and second son of King Louis XIV of France and Maria Theresa of Spain, and as such was a fils de France....

 

1940 military campaign in Namsos, Norway This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (August 2017) (Learn how and when to remove this message) Namsos campaignPart of the Norwegian Campaign of the Second World WarBritish troops pick through the ruins of Namsos after a German air raid, April 1940.DateApril and early May, 1940LocationNamsos and points to the ...

Style of art 10th century mosaic of Virgin and Child on a gold ground in the former cathedral Hagia Sophia in Istanbul, Turkey Byzantine mosaics are mosaics produced from the 4th to 15th[1] centuries in and under the influence of the Byzantine Empire. Mosaics were some of the most popular[2] and historically significant art forms produced in the empire, and they are still studied extensively by art historians.[3] Although Byzantine mosaics evolved out of earlier Hellen...

 

تحتاج هذه المقالة إلى الاستشهاد بمصادر إضافية لتحسين وثوقيتها. فضلاً ساهم في تطوير هذه المقالة بإضافة استشهادات من مصادر موثوق بها. من الممكن التشكيك بالمعلومات غير المنسوبة إلى مصدر وإزالتها. بحاجة للاستشهاد بمعجم مطبوع بدلاً عن قاعدة بيانات معجمية على الإنترنت.   م...

 

باربرا بوش (بالإنجليزية: Barbara Bush)‏    معلومات شخصية اسم الولادة (بالإنجليزية: Barbara Pierce)‏  الميلاد 8 يونيو 1925 [1][2][3][4]  مانهاتن،  ونيويورك  الوفاة 17 أبريل 2018 (92 سنة) [5][4]  هيوستن[5]  سبب الوفاة نفاخ رئوي  مكان الدفن المكتبة الرئا�...

American politician For other people named James Gerard, see James Gerard (disambiguation). James W. GerardGerard in 1916Treasurer of the Democratic National CommitteeIn officeAugust 11, 1924 – June 1932Preceded byWilbur W. MarshSucceeded byFrank C. Walker7th United States Ambassador to Germany In officeOctober 29, 1913 – February 5, 1917PresidentWoodrow WilsonPreceded byJohn G. A. LeishmanSucceeded byEllis Loring Dresel (Acting, 1921) Personal detailsBornJames Watson Ge...

 

Pour les articles homonymes, voir Chandra. Cet article est une ébauche concernant l’hindouisme. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants. Chandra hindoue Chandra sur son char tiré par dix chevaux blancs. Caractéristiques Autre(s) nom(s) Soma, Rajanipati, Kshuparaka Fonction principale dieu de la Lune Fonction secondaire récipient de l'amrita, dirigeant des étoiles Groupe divin Navagraha Monture char...

 

Pulau SariDesaKantor desa Pulau SariPeta lokasi Desa Pulau SariNegara IndonesiaProvinsiKalimantan SelatanKabupatenTanah LautKecamatanTambang UlangKode pos70854Kode Kemendagri63.01.08.2007 Luas... km²Jumlah penduduk... jiwaKepadatan... jiwa/km² Pulau Sari adalah salah satu desa di Kecamatan Tambang Ulang, Kabupaten Tanah Laut, Provinsi Kalimantan Selatan, Indonesia. Pranala luar (Indonesia) Keputusan Menteri Dalam Negeri Nomor 050-145 Tahun 2022 tentang Pemberian dan Pemutakhiran Kode, ...

British television series (1996–1998) For the 2019 television series, see The Demon Headmaster (2019 TV series). The Demon HeadmasterGenreScience fictionHorrorCreated byGillian CrossStarringTerrence HardimanFrances AmeyGunnar Atli CautheryThomas SzekeresCountry of originUnited KingdomNo. of series3No. of episodes19ProductionRunning time25 minutesOriginal releaseNetworkBBC1Release2 January 1996 (1996-01-02) –22 January 1998 (1998-01-22) The Demon Headmaster is a British tele...

 

Meat stew originating in the Indian subcontinent This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Nihari – news · newspapers · books · scholar · JSTOR (August 2017) (Learn how and when to remove this message) NihariMutton NihariCourseBreakfast, lunch, dinnerPlace of originIndian subcontinentRegion or stateLuc...

 

イベリア半島における音素/θ/の分布:あり(黄)なし(緑)赤い線は異種の言語の使用範囲を示す アンダルシア州におけるセセオの分布:ceceo(赤)seseo(緑)区別あり(白) セセオ(スペイン語:seseo)とは、スペイン語の音素 /θ/(“z”, “ce”, “ci”で書かれる)を /s/ と区別せず [s] と発音する現象のことで、中南米のほぼ全域、アンダルシア州(スペイン)の�...

A busy city square in Léopoldville, capital of the Belgian Congo, 1943 The involvement of the Belgian Congo (the modern-day Democratic Republic of the Congo) in World War II began with the German invasion of Belgium in May 1940. Despite Belgium's surrender, the Congo remained in the conflict on the Allied side, administered by the Belgian government in exile. Economically, the Congo provided much-needed raw materials such as copper and rubber to the United Kingdom and the United States. Ura...

 

شتولبرغ    علم شعار   الإحداثيات 50°46′00″N 6°14′00″E / 50.766666666667°N 6.2333333333333°E / 50.766666666667; 6.2333333333333   [1] تقسيم إداري  البلد ألمانيا[2][3]  التقسيمات الإدارية براينجربيرغ  خصائص جغرافية  المساحة 98.48 كيلومتر مربع (31 ديسمبر 2017)[4][5]&#...