Список рекомендуемой литературы

• 1. Авдошин, С. М. Фабрики программного обеспечения / С. М. Авдошин. — 2011. — URL: http://www.ewwek.com/on.
• 2. Андон, Ф. И. Методы инженерии распределенных компьютерных приложений / Ф. И. Андон, Е. М. Лаврищева. — Киев: Наук, думка, 1997.
• 3. Андон, Ф. И. Основы инженерии качества программных систем / Ф. И. Андон [и др.]. — 2-е изд. — Киев: Академпериодика, 2007.
• 4. Бабенко, Л. П. Основы программной инженерии: учебник / Л. П. Бабенко, Е. М. Лаврищева. — Киев: Знание, 2001.
• 5. Бей, И. Взаимодействие разноязыковых программ. Диалектика / И. Бей. — М.: Вильямс, 2005.
• 6. Боггс, У. UML Rational Rose / У. Боггс, М. Боггс. — М.: Лори, 2000.
• 7. Боем, Б. У. Инженерное проектирование программного обеспечения / Б. У. Боем. — М.: Радио и связь, 1986.
• 8. Буч, Г. Объектно-ориентированный анализ / Г. Буч. — М.: БИНОМ. Лаборатория знаний, 1998.
• 9. Буч, Г. Язык UML. Руководство пользователя: пер. с англ. / Г. Буч, Д. Рамбо, А. Джекобсон. — М.: ДМ К, 2000.
• 10. Быстродействующая вычислительная машины М-20 / под ред. И. С. Брука. М" 1957*
• 11. Вельбицкий, И. В. Технологический комплекс автоматизации программ на машинах «ЕС ЭВМ» и «БЭСМ-6» / И. В. Вельбицкий, В. Н. Ходаковский, Л. И. Шолмов. — М.: Статистика, 1980.
• 12. Вельбицкий, И. В. Технология программирования / И. В. Вельбицкий. — Киев: Техника, 1984.
• 13. Волховер, В. Г. Производственные методы разработки программ / В. Г. Волховер, Л. А. Иванов. — М.: Финансы и статистика, 1983.
• 14. Вудкок, Д. Первые шаги к решению проблемы верификации программ / Д. Вудкок // Открытые системы. — 2006. — № 8.— С. 36—43.
• 15. Глушков, В. М. Алгебра. Языки. Программирование / В. М. Глушков, Г. Е. Цейтлин, Е. Л. Ющенко. — Киев: Наук, думка, 1974.
• 16. Глушков, В. М. Вычислительная машина «Киев» / В. М. Глушков, Е. Л. Ющенко. — Киев: Изд-во ГИТЛ, 1962.
• 17. Глушков, В. М. Кибернетика, ВТ, информатика (АСУ) / В. М. Глушков // Избр. труды: в 3 т. — Киев: Наук, думка, 1990.
• 18. Глушков, В. М. Основы безбумажной информатики / В. М. Глушков. — М.: Наука, 1982.
• 19. Глушкова, В. М. Прошлое, устремленное в будущее / В. М. Глушкова. — Киев: Академпериодика, 2013.
• 20. Глушков, В. М. Система автоматизации производства программ — АПРОП / В. М. Глушков [и др.]. — Киев: Изд-во Ип-та кибернетики АН УССР, 1976.
• 21. Гринфильд, Дж. Фабрики разработки программ. Диалектика / Дж. Гринфильд. М.: Вильямс, 2007.
• 22. Ершов, А. П. Введение в теорию программирования / А. П. Ершов. — М.: Наука, 1977.
• 23. Ершов, А. П. Научные основы доказательного программирования: научное сообщение в президиуме АН СССР / А. П. Ершов. — М.: Наука, 1984.
• 24. Жоголев, Е. А. Система стандартных подпрограмм / Е. А. Жоголев [и др.]. — М.: Изд-во ГИФМЛ, 1958.
• 25. Задорожная, Н. Т. Менеджмент документооборота в информационных системах образования / Н. Т. Задорожная, Е. М. Лаврищева. — Киев: Педагог, думка, 2007.
• 26. Иванников, В. ГГ Распределенные объектно-ориентированные среды / В. П. Иванников [и др.] //Труды ИСП. — М.: Изд-во РАН, 2000. — С. 84—100.
• 27. Кахро, М. И. Инструментальная система программирования на ЕС ЭВМ (ПРИЗ) / М. И. Кахро, Э. X. Тыугу. — М.: Финансы и статистика, 1981.
• 28. Коваль, Г. И. Программирование в системе виртуальных машин ЕС ЭВМ / Г. И. Коваль, Т. М. Коротун, Е. М. Лаврищева. — М.: Финансы и статистика, 1990.
• 29. Кулаков, А. Ф. Оценка качества программ ЭВМ / А. Ф. Кулаков. — Киев: Техника, 1984.
• 30. Лаврищева, Е. М. Методы и средства программной инженерии: учеб, — метод. пособие / Е. М. Лаврищева. — М.: Изд-во МФТИ, 2007.
• 31. Лаврищева, Е. М. Методы и средства инженерии ПО: учеб, пособие / Е. М. Лаврищева, В. А. Петрухин. — М.: Изд-во МФТИ, 2007.
• 32. Лаврищева, Е. М. Методы программирования. Теория, инженерия, практика / Е. М. Ларищева. — Киев: Наук, думка, 2006.
• 33. Лаврищева, Е. М. Основы технологической разработки прикладных программ СОД / Е. М. Лаврищева. — Киев, 1987. — (Препр. Ин-та кибернетики им. В. М. Глушкова).
• 34. Лаврищева Е. М. Проблематика программной инженерии / Е. М. Лаврищева. — Киев: Знание: Изд-во РДНТП, 1991.
• 35. Лаврищева, Е. М. Программная инженерия. Теория программирования: учеб.-метод. пособие / Е. М. Лаврищева. — М.: Изд-во МФТИ, 2016.
• 36. Лаврищева, Е. М. Программная инженерия. Парадигмы, технологии и CASE-средства: учебник для вузов / Е. М. Лаврищева. — 2-е изд., иснр., 2016
• 37. Лаврищева, Е. М. Сборочное программирование. Основы индустрии программных продуктов / Е. М. Лаврищева, В. Н. Грищенко. — Киев: Наук, думка, 2009.
• 38. Лаврищева, Е. М. Связь разноязыковых модулей в ОС ЕС / Е. М. Лаврищева, В. Н. Грищенко. — М.: Финансы и статистика, 1982.
• 39. Лаврищева, Е. М. Программная инженерия. Технология программирования: учеб.-метод. пособие / Е. М. Лаврищева. — М.: Изд-во МФТИ, 2016
• 40. Лаврищева, Е. М. Транслятор «Д-АЛГАМС» для УВК «Днспр-2» / Е. М. Лаврищева [и др. ]. — Киев: Изд-во Ин-та кибернетики АН УССР, 1981.
• 41. Липаев, В. В. Качество АСУ / В. В. Липаев. — М.: Радио и связь, 1983.
• 42. Липаев, В. В. Оценка затрат на разработку ПС / В. В. Липаев. — М.: Финансы и статистика, 1988.
• 43. Липаев, В. В. Технология проектирования комплексов программ /

B. В. Липаев. — М.: Радио и связь, 1982.

• 44. Липаев, В. В. Технология сборочного программирования / В. В. Липаев, Б. А. Позин, А. А. Штрик. — М.: Радио и связь, 1992.
• 45. Иванников, В. П. Распределенные объектно-ориентированные среды / В. П. Иванников [и др.] // Труды Института системного программирования РАН. — 2000. — С. 84—100.
• 46. Морган, М. JAVA2. Руководство разработчика: пер. с англ. / М. Морган. — М.: Вильямс, 2000.
• 47. Непомнящий, В. А. Спецификация и верификация распределенных систем средствами языка Elementary-REAL / В. А. Непомнящий, Н. В. Шилов, Е. В. Бодин // Программирование. — 1999. — № 4. — С. 54—67.
• 48. Орлов, С. А. Технология разработки ПО / С. А. Орлов. — СПб.: Питер, 2002.
• 49. Орлик, С. Программная инженерия / С. Орлик. — URL: http://www. almportal.ru/public/so/book/3-soft ware_engineering.pdf.
• 50. Рекомендации программной инженерии и информатики в университетах. Software Engineering 2004, Computing Curricula 2001: Computer Science / ИНТУИТ 2007.
• 51. Роджерсон, Д. Основы COM / Д. Роджерсон. — M.: Изд.-торг. дом «Русская редакция»: Microsoft Press, 1997.
• 52. Системы компьютерной алгебры семейства АНАЛИТИК. Теория, Реализация, Применение / НАНУ Украины. Институт математических машин и систем. — Киев, 2010.
• 53. Соммервил, И. Инженерия программного обеспечения: пер. с англ. / И. Соммервил. — 6-е изд. — М.: Вильямс, 2002.
• 54. Тыугу, Э. X. Концептуальное программирование / Э. X. Тыугу. — М.: Наука, 1984.
• 55. Уилсон, С. Ф. Принципы разработки ПО: учеб, курс: пер. с англ. /

C. Ф. Уилсон, Б. Мэйплс, Т. Лэндгрейв. — М.: Изд.-торг. дом «Русская редакция», 2000.

• 56. Управляющая вычислительная система «Днепр-2» / А. Г. Кухарчук, В. М. Египко и др. — Киев: Наук, думка, 1972.
• 57. Фаулер, М. UML в кратком изложении. Применение стандартного языка объектного моделирования: пер. с англ. / М. Фаулер, К. Скотт. — М.: Мир, 1999.
• 58. Фреге, Г. Логика и логическая семантика / Г. Фреге. — М.: Аспектпресс, 2000.
• 59. Фуксман, А. Л. Технологические основы создания программных систем / А. Л. Фуксман. — М.: Статистика, 1979.
• 60. Чернецки, К. Порождающее программирование. Методы, инструменты, применение / К. Чернецки, У. Айзенкер. — СПб.: Питер, 2005.
• 61. Эммерих, В. Конструирование распределенных объектов. Методы и средства программирования интероперабельных объектов в архитектурах OMG/CORBA, Microsoft СОМ и JAVA RMI / В. Эммерих. — М.: Мир, 2002.
• 62. Ющенко, Е. Л. Адресное программирование / Е. Л. Ющенко. — Киев: Знание, 1963.
• 63. Agile — манифест разработки ПО. — URL: www. agilemanifesto/org/ iso.
• 64. Bachmann, F. Variability in software product lines / F. Bachniann, P. Clements. CMU/SEI Technical Report CMU/SEI-2005;TR-012, 2005.
• 65. Barker, R. CASE-method. Entity Relationship Modelling / R. Baker. — N. Y.: Publ., 1990.
• 66. Bettin, J. Model-Driven Software Development / Jorn Bettin // MDA Journal. — 2004, April. — URL: http://www.bptrends.com/ publicationfiles/04−04%20COL%20MDSD%20Frankel%20-%20Bettin%20 -%20Cook.pdf.
• 67. Duval, P. Continuous integration Improving Software Quality and Reducing Risk / P. Duvual, Matyas, Grover A. — Addison Wesley, 2009.
• 68. Fowler, M. Language Workbenches and MDA / M. Fowler. — URL: http:// martinfowler.com.
• 69. Guckenheimer, S. Software Engineering with Microsoft Studio Team System / S. Guckenheimer, J. I. Perez. — Crawfordsville, USA: Adison-Wesley, 2006.
• 70. Hoare, T. Verified software: Theories, Tools, Experiments. Vision of Grant Challenge project / T. Hoare, J. Misra. — Microsoft Research Ltd and the University of Texas at Austin, 2005.
• 71. ISO/IEC DTR 19 759 Software Engineering — Guide to the Software Engineering Body of Knowledge — SWEBOK. — URL: http://www.swebok. org/ironman/pdf/ SWEBOK_Guide_2004.pdf.
• 72. Jacobson, I. Object-oriented Software Engineering. A use case driven Approacth / I. Jacobson. — N. Y.: Wesley Addison Publ. Co., 1994.
• 73. Jackson, M. Software requirement & specifications / M. Jackson. — Wokingham, England: Addison-Wesley, ACM Press Books, 1995.
• 1 A. Jacobson, I. Software Reuse: Architecture, Process and organization for Business Success / I. Jacobson, M. Griss, P. Johnson. — Addison Wesley, Reading, MA, May 1997.
• 75. Lenz, G. Practical software fabrics in Net. From theory in practice — a primer referense and case study / G. Lenz, C. Wienands. — Apress, 2007.
• 76. Memik, M. When and How to Develop Domain-Specific Languages / M. Mernik, J. Heering, A. M. Sloane // ACM Computing Surveys. — 2006. — Vol. 37. — № 4. — P. 316−344.
• 77. Model Driven Development and Software Product Lines. BigLever Software Inc. — 2007. — URL: http://www.biglever.com/technotes/mdd_spl. html? source=mdd.
• 78. MSF — Microsoft Solution Framework, 2005. — URL: http://msdn. microsoft.com.
• 79. Northrop, L. M. SEFs Software Product Line Tenets / L. M. Northrop // IEEE Software. — 2002. — Vol. 19, № 4. — P. 32−39.
• 80. OMG Unified Modeling Language Specification. — Version 1.3, June 1999. — URL: http://folk.uio.no/inods/doc/UMLL3.pdf.
• 81. Pohl, K. Software Product Line Engineering: Foundions, Principles and Techniques / K. Pohl, G. Bockle, F. J. Linden. — N. Y.: Springer-Verlag, 2005.
• 82. Siegel, J. CORBA Fundamentals and Programming / J. Siegel. — N. Y.: Wiley Co. Publ. Group, John Wiley & Sons, Inc., 1996.
• 83. Skidmore, S. SSADM: Models and Mehtods / S. Skidmore, G. Mills, R. Farmer. — Prentice-Hall, Englewood Cliffs, 1994.
• 84. URL: http://computer.org/education/cc2001.
• 85. URL: http://se.math.spbu.ru/cc2001.
• 86. Гринфильд, Дж. Фабрики разработки программ / Дж. Гринфильд. — М.; СПб.; Киев: Диалектика; Изд. дом «Вильямс», 2007.
• 87. Морган, М. JAVA2. Руководство разработчика / М. Морган: пер. с англ. — М.: Изд. дом «Вильямс», 2000.