Статьи, монографии

Список научных трудов Лаврищевой Е.М.

1. Лаврищева Е.М. Наука моделирования в программировании задач математики, информатики, техники и интеллектуальных сервисных ресурсов. Научно-исторические материалы. М: ИСП РАН, 2024. – 72 с.

   В монографию Е.М. Лаврищевой вошли интересные материалы, связанные с появлением и развитием отечественной школы программирования, фундаментальных и прикладных исследований в области программных технологий, программной инженерии, кибернетики, информатики, искусственного интеллекта и связанных с ними проблем физики, биологи и техники. Логическим стержнем описанных технологий являются технологии сборки программных систем, которые создавала автор. Помимо текстового материала в данной электронной книге много презентаций докладов, которые были представлены автором на отечественных и международных научных форумах.

2. Лаврищева Е.М. Технология сборки модулей, компонентов, интеллектуальных, информационных и сервисных ресурсов, 2023.

   Приводится система автоматизации программирования АПРОП, сделанная по договору с НИЦЕВТ (1975-1976) для ОС ЕС или IBM-360 (Система автоматизации производства программ (АПРОП).-.Глушков В.М., Стогний А.А., Лаврищева Е.М. и др. -1976.- Киев.-134с. Основное направление автоматизация разработки программных систем с помощью модулей и других ресурсов в ЯП и сборки из них прикладных систем для автоматизации деятельности предприятий средствами ЭВМ. Система была принята Госкомиссией АН СССР и сдана в ГосФон СССР в 1978г. Доклад о системе АПРОП сделал академик Глушков В.М. в Минрадиопроме и был заключен договор с МНИИПА по сборке технических и программных модулей под руководством д.т.н. Липаева В.В. в комплексы программных и технических систем. В период 1978-1985гг в МНИИПА при создании сложных программно-технических комплексов использовался метод сборки модулей операциями CALL, link и интерфейсным посредником (stub, skeleton Сorba) для передача данных и преобразования эквивалентных и неэквивалентных общих типов данных (GDT) стандарта ISO/EC 12207 к формату ЭВМ. Была разработана библиотека интерфейсных модулей преобразователей (БМИ) для общесистемнных сред - IBM-360, Corba, MS.Net, Oberon, Unix, Intel и др.). Были созданы комплексы Прометей, Протва, Яуза, Руза и технические бортовые средства (более 100) для авиации, морфлота и космоса. В стране сформировалось сборочное программирование* прикладных и технических систем, которое использовалось в стране при создании систем управления, экономики, промышленности, строительства домов, транспорта и т.п. Основные разработчики технических, программных комплексов ВПК и бортовых устройств награждены премией СМ СССР в 1985г. Были защищены диссертации и написаны книги: *Лаврищева Е.М., Грищенко В.Н. Сборочное программирование. 1989.-137с. Липаев В.В., Позин Б.А., Штрик А.А. Технология сборочного программирования.-М.-1992.-280с. После развала СССР работы по сборке продолжались для интеллектуальных (Reuses), КПИ, информационных и сервисных ресурсов, накапливаемых в Библиотеках и Хранилищах Интернет, при создании прикладных систем знаний - Веб-систем и сайтов, Биосистем, Медсистем, OS Linux и др. В общесистемных средах Интернет появились новые операции сборки: make в BSD, GNU, MSBuild; assemble, Kconfig ресурсов в Grid, Etics; assemble SOA, SCA Semantic Web; weaver BEA WebLogic Oracle, SAP Net. Для этих операций создан интерфейсный посредник сборки, обеспечивающий преобразование данных, включая Big Data, информационные, интеллектуальные и сервисные ресурсы средствами стандарта ISO/IEC 11404 GDT, GPD к формату указанных сред Интернет. Комитет стандартов США создал IEEE 828 Configuration-1998 для создания конфигурационной, сборочной структуры программных, операционных, информационных и интеллектуальных систем. Созданы стандарты по обеспечению надежности, качества, защиты данных (Big Data), безопасности ресурсов и систем в среде Интернет. Описано их применение при создании прикладных систем представления знаний, изготавливаемых в ИСП РАН по проектам РФФИ 325 и 206. В рамках этих работ предложена концепция сборщика ресурсов в Интернет как обобщение всех операций сборки ресурсов в Интернет.

3. Лаврищева Е.М. Наука моделирования и программирования задач математики, информатики и техники из программных, интеллектуальных, сервисных и сетевых ресурсов на современных компьютерах. Курс лекций студентам МФТИ. Москва, МФТИ, 2023. 67 с.

   Учебное пособие посвящено моделированию и программированию задач кибернетики, информатики, математики, физики, техники и искусственному интеллекту на ЭВМ. Каждая задача алгоритмизируется, декомпозируется на более простые элементы и описываются в ЯП для реализации в общесистемных средах Интернет (IBM, MS.Net, Intel, Unix, Linux и др.). Отдельные элементы задач описываются как модули Адресным языком и современными ЯП. Модули анализируются, верифицируются, транслируются к формату ЭВМ, оцениваются на качество и проверку на контрольных данных. Готовый программный ресурс накапливается в виде КПИ, Reuses, Assets, Services в Библиотеках ИС-2, MatLab, Dermal и др. Проводится сборка ресурсов (модулей, компонентов, объектов) через операции Call, Link интерфейсного модуля-посредника, обеспечивающего передачу данных и преобразование неэквивалентных типов данных к формату ЭВМ. Первый вариант метода сборки модулей реализован на ВПК (1976-1985) под руководством В.В. Липаева. Созданы комплексы Прометей, Яуза и Руза и более 100 технических средств для авиации, флота и космоса. Работы ВПК награждены СМ СССР в 1985. Моделирование математических задач началось на первой ЭВМ СССР-МЭСМ А.С. Лебелева с 1953 года. Второй вариант сборки информационных и интеллектуальных ресурсов в ЯП и интерфейсов в API, IDL, DSL, ASPL, WSDL производился новыми операций сборки: make в BSD, GNU, MSBuild; assemble, Kconfig в IBM, Grid, Etics; assemble в SOA, SCA Semantic Web; weaver BEA WebLogic Oracle, SAP Net. Использовался безбумажный документооборот информации ИС, предложенный В.М. Грушковым в книге «Основы безбумажной информатики» (1982). Представлен курс лекций и докладов по этой тематике для обучения студентов 4-6 курсов, изучающих кибернетику, информатику, Computer Science и математику в университетах и ВНЗ.

4. Лаврищева Е. М., Грищенко В. Н. Сборка модулей, объектов и компонентов в языках программирования.— М., ИСП РАН.—2022 — 174 с.

   Книга посвящена методам объединения, сборки модульных элементов, записанных в языках программирования (ЯП) ОС ЕС и интеллектуальных ресурсов в WWW3C. Цель работы – научить программистов методу сборки модулей в разных ЯП для создания сложных программных систем и комплексов путем их конструирования из готовых ресурсов с использованием разработанной библиотеки межъязыкового интерфейса (БМИ). От пользователей требуется знание ЯП высокого уровня для описания функций прикладных систем модульными элементами в современных ЯП в средах IBM 360 (ОС ЕС), VS.Net, Java.Net, Corba и др. Приводятся функции БМИ для преобразования передаваемых простых, сложных, неструктурированных данных от одного ресурса к другому с учетом современных общих типов данных GDT (General Data Types) стандарта ISO/IEC 11404-2012 и метода сборки ресурсов, записанных в современных ЯП (Algol, Cobol, Smalltalk, Fortran, Java, Ruby, Basic, C, C++ и др. ) в средах Интернет (IBM, VS.Net, Corba, Grid, Etic, BSD, Oracle BD и др.) для получения систем в медицине, биологии, физических экспериментах, нано приборах и роботах.

5. Е.М. Лаврищева, В. В. Кулямин, Л. Е. Карпов, В. С. Мутилин, С. В. Козин, С. В. Зеленов, А. Г. Рыжов. Теория и методы разработки программных и операционных систем. Модели, методы и средства обеспечения надежности, безопасности и защиты данных в программных, технических и информационных системах — М., ИСП РАН. —2016-2021. - 400с. ISBN 978-5-00244-411-3. DOI: 10.15514/LAVR-2023-400

   В монографии представлены методы моделирования и программирования программно-технических, информационных и операционных систем с обеспечением качества, безопасности и защиты, исследованные в проектах РФФИ №16-01-00352 (2016-2018) и РФФИ №19-01-00206 (2019-2021). Основу моделирования и программирования прикладных систем составляет: отечественный метод сборки (связывания–linking) прикладных ресурсов в более сложные системы и 64 функции преобразования обмениваемых типов данных ресурсов с учетом стандарта ISO/IEC 11404 GDT-1996 в общесистемных средах IBM, MS, OMG, Oberon, INTEL, UNIX и др., сделанных в 80-е годы ХХ века. Представлены формальные средства спецификации ресурсов (VDM, Z, Clear, Monadic, ОКМ, GDM), технологии программирования ОС и трансляторов; системных и сервисных средств моделирования программных и технических систем (SOA, SCA, SCM, WSDL, Grid, Etics и др.). Описана онтология в Semantic Web для представления задач вычислительной математики, геометрии, биологии и Жизненного цикла стандарта ISO/IEC 12207, представленного на Конференции в Лондоне «Sciences and Information – 2015. Определены методы верификации и тестирования изменяемых ресурсов и создаваемых систем из них c обеспечением качества, безопасности и защиты данных. В рамках проектов РФФИ используется стандарт метода сборки IEEE 828-Configuration – 2001 и типов данных, задаваемых стандартом данных 11404 GPD-2007 для структурных и неструктурированных типов данных Big Data и Cloud Computing в современной среде Интернет. Предложен новый вариант сборщика информационных, интеллектуальных и операционных ресурсов с использованием новых операций конфигурационной сборки: config, assembly в .Net, Grid; build, waver в Etics: make в BSD, cmake в GNU и JavaEE. С помощью этих операций создан экспериментальный вариант ядра ОS Linux и Веб-система с использованием сервисных ресурсов SOA, SCA, SOAP WWW3C Интернет. Вариант ядра OS Linux отработан с помощью средств верификации, тестирования, безопасности и защиты данных. Рекомендуется студентам старших курсов, аспирантам и научным работникам.

6. Лаврищева Е. М. , Петров И. Б. , Петренко А. К. Парадигмы моделирования и программирования задач предметных областей знаний. Москва; Берлин : Директ-Медиа, 2021. – 496 с.

   Монография посвящена парадигмам моделирования и программирования современных предметных областей знаний (физика, математика, биология, химия, медицина и др.), начиная с появления первых аналитических машин и ЭВМ для численного решения технических задач и задач предметных областей знаний. Описываются сформировавшиеся подходы к моделированию математических задач на первых ЭВМ (А. А. Самарского, Е. Л. Ющенко, В. М. Глушкова, О. М. Белоцерковского, О. М. Поспелова, И. Б. Петрова и дискретных программно-технических систем (ПТС) с участием В. М. Глушкова, В. Н. Коваля и др. Дана характеристика зарубежных парадигм программирования задач разных предметных областей знаний (ООР, VDM, UML, Z, RAISE, RSL, Agaile и др.), а также отечественных парадигм модульного, синтезирующего, композиционного, аспектного, агентного программирования и инженерии приложений и доменов (DSL, OWL, ОСМ и др.). В период появления первых ЭВМ и языков программирования (ЯП) — Algol-58, 60; Fortran, Cobol, PL/1, Snobol, Lisp и др. описана программирующая программа трансляторов с ЯП (ТА1-ТА5) для перевода исходных схем программ в ЯП в код первой ЭВМ. Обсуждаются сформировавшиеся методы трансляции, как средств автоматизации программирования. Показано развитие схем к моделированию структур алгоритмов графовым и сетевым нейронным способом. Описана сборка разнородных модулей в ЯП, работающих с разными данными из класса фундаментальных типов данных (ФДТ) и межъязыкового преобразования совместных данных в среде IBM-360 (1976–1982). Описана парадигма графового математического моделирования задач предметных областей знаний с применением математических операций и аппарата матриц смежности, инцидентности и средств обеспечения правильности (Model Checking, V&V, Testing функций задач), обеспечения безопасности и надежности функционирования задач в Интернет. Представлено математическое моделирование задач прикладной математики средствами компьютеров (Петров И. Б. МФТИ) для биологии и вычислительной геометрии. Определены задачи интеллектуализации и информатизации знаний в рамках Европейского проекта Е-science, Grid и Semantic Web глобальной сети Интернет. Приведены парадигмы моделирования космических задач, вычислительной геометрии и прикладного домена ЖЦ с использованием интеллектуальных методов Data Mining и др. Описана парадигма моделирования сложных вариабельных прикладных систем с использованием моделей систем Msys, модели характеристических свойств функций систем MF (Model Feature) и моделей знаний Mining, сформовавшихся в мировом сообществе в рамках промышленных технологий в разных странах. Приведен вариант ядра OS Linux с использованием Variability Mining на примере магистерских работ МФТИ и операций конфигурационной сборки в ОС Интернет, выполненных участниками в рамках проекта РФФИ № 16-01-00352. Описан общий сборщик интеллектуальных, информационных, программных и технических ресурсов Интернет в ЯП пятого поколения (C++, Java, Python, Ruby и др.) в общесистемных средах (JavaEE, IBMSphere, OS Linux, Intel, Grid, Visial Studio и др.) в Веб-системы и сайты глобальной сети. Приведены алгоритмы преобразования общих типов данных (GDT) ISO/IEC 11404 GDT и неструктурированных типов данных Big Data, Cloud Computing Semantic Web Интернет. Приводятся парадигмы DSL, инженерии SE, фабрик Чернецкого и Бея, основанных на методе конвейерной сборки интеллектуальных ресурсов Интернет для ПТС. Приводится характеристика зарубежных и отечественных парадигм моделирования, методов синтеза частиц нано и ДНК в МФТИ; Нейроучебников для обучения студентов университетов (МФТИ, МГУ и др.) современным парадигмам моделирования, инженерии и программирования ПТС для разных предметных областей знаний.

7. Лаврищева Е.М., Петренко А.К. Моделирование операционных, программных и технических систем в проектах РФФИ. Труды Института системного программирования РАН. 2021; 33(6):265-280. https://doi.org/10.15514/ISPRAS-2021-33(6)-19

   Рассмотрен широкий круг вопросов теории и практики разработки крупномасштабного программного обеспечения и гибридных программно-аппаратных систем, в том числе операционных систем. Затрагиваются вопросы управления конфигурацией, моделирования и верификации таких систем, построения онтологических моделей предметных областей, связанных с прикладным и системным программным обеспечением. Такое многостороннее рассмотрение необходимо для обеспечения надежности, безопасности и элволюционного развития в течение многолетнего периода эксплуатации инфраструктурных и критически важных систем. Статья основана на материалах исследований, выполненных в рамках двух проектов РФФИ. Помимо недавних результатов, авторы уделяют внимание истории развития исследований в соответствующих областях в Советском Союзе.

8. Лаврищева Е.М., Петров И.Б. Технология моделирования физических и математических задач предметных областей знаний. «Евразийское Научное Объединение», Физико-математические науки, № 1 (71), Январь, 2021.

   Представлено моделирование физических и математических задач, их алгоритмизацию и программирование для решения на компьютерах. Дается характеристика численного моделирования физикотехнических задач и прикладной математики: физико-технических экспериментов, энергетических, баллистических и сейсмических методов И.В Курчатова, начиная с математических методов 17-20 вв., первых ЭВМ и компьютеров. Рассмотрены численные методы решения физико-технических задач, реализованные под руководством академиков А.А.Самарского, О.М.Белоцерковского и других ученых на современных суперкомпьютерах. Приведено математическое моделирования биологической задачи лечения глаз и предмета «Вычислительной геометрии» в среде Интернет. Показан современный аппарат компьютеризации технических и программных средств, близкий нано технологиям.

9. Лаврищева Е.М., Петренко А.К., Зеленов С.В., Козин С.В. Tехнология сборочного создания экспериментального варианта ядра ОS Linux с обеспечением качества для применения в прикладных и технических системах. Наука и технологии. Системный администратор. Ноябрь, 2021. с.80-89.

   Предлагается технология сборки экспериментального варианта ядра OS Linus с надежным и безопасным функционированием в технических устройствах и прикладных системах. Разработка варианта ядра проводилась в рамках проектов РФФИ № 352 и № 206 в период 2016–2021 гг. Представлена технология сборочного создания вариантов OS Linus и обеспечения безопасности и надежности функционирования варианта ядра в системах и устройствах. Описаны операции config, make конфигурационной сборки ядра ОС IEEE 828 Configuration – 1996, 2012, средства верификации, тестирования, безопасности, защиты и оценки надежности отдельных элементов и варианта ядра OS Linus. Приведены примеры методов обеспечения надежности, защиты и безопасности для технических и прикладных систем

10. Lavrischeva E. M. Petrenko A. K. Kozin V. P. Technology of assembly creation of an experimental version OS Linux kernels with quality assurance for applied and subject areas of knowledge. Euroazian Science Assosiation, № 11 (81), November-2021. pp. 94-105. DOI: 10.5281/zenodo.5796926.

    Discribed the technology of assembling an experimental version of the OS Linus kernel with reliable and safe operation in technical devices and application systems is proposed. The development of the core variant was carried out within the framework of RFBR projects No. 352 and No. 206 in the period 2016-2021. The technology of assembly creation of OS Linus variants and ensuring the safety and reliability of the core variant functioning in systems and devices is presented. The config, make operations of the configuration assembly of the IEEE 828 Configuration - 1996, 2012 of OS Linus kernel, means of verification, testing, security, protection and reliability assessment of individual elements and variants of the OS Linus kernel are described.

11. Лаврищева Е. Развитие программного обеспечения вычислительной техники в СССР и в рамках межправительственной комиссии (МПК) СССР – СЭВ (1969 – 1991). Пятая международная конференция SoRuCom-20 (6 –7октября 2020 г., Москва), c. 200-208.

    В работе представлены пути развития программного обеспечения (ПО),вычислительной техники (ВТ) итехнологии программирования в СССР согласно решениям Межправительственной комиссии (МПК) по ВТ СССР-СЭВ (стран Совета экономической взаимопомощи: Болгария, Венгрия, ГДР, Куба, Польша, Румыния, СССР, Чехословакия) 1969-1991. Рассмотрены основные Всесоюзные и Международные конференции, сыгравшие важную роль в становлении технологии программирования (ТП) в СССР. Представлены базовые задачи МПК: координация разработки ВТ, автоматизация научных исследований,создание технических и программных средств ВТ для использованияв разных областях науки, техники и народного хозяйства. К 1979 г. в СЭВ были созданы 111 организаций НИИОКР, производящих разработку систем автоматизации проектирования (САПР), автоматизированных систем научных исследований (АСНИ), автоматизированных системуправления предприятиями (АСУ)СССР-СЭВ. В СССР была создана комиссия по вычислительной технике при Государственном комитете по науке и технике (ГКНТ) для координации работ по компьютеризации страны. К 1985 г. была сформулирована Комплексная Программа (КП), в которуювошлипрограммы научно-технического прогресса стран СЭВ (1.1.1-1.1.10) до 2000 года. Одна из программ (1.1.6) «Технология программирования СЭВ» ставила своей целью разработку средств спецификации языков программирования (ЯП) и интерфейсов для описания предметных областей, проведение Всесоюзных конференций по ТП, Международных конференций по ТП-СЭВ и публикацию материалов в журнале «Вычислительная техника Социалистических стран» и отечественных журналах «Программирование», «Вычислительная математика и математическая физика» и других. Представлены специализированные ТП в проектах Военно-промышленного комплекса (ВПК) и Военно-морского флота (ВМФ) СССР (1975-1991).

12. Лаврищева Е.М., Петров И.Б. Моделирование технических и математических задач прикладных областей знаний на ЭВМ. Труды Института системного программирования РАН. 2020; 32(6):167-182. https://doi.org/10.15514/ISPRAS-2020-32(6)-13

    Рассмотрено моделирование технических задач и задач прикладной математики, их алгоритмизация и программирование. Дается характеристика численного моделирования технических задач и прикладной математики: физико-технических экспериментов, энергетических, баллистических и сейсмических методов И.В Курчатова, начиная с математических методов 17-20 вв., первых ЭВМ и компьютеров. Дан анализ первых технических задач и задач прикладной математики, их моделирование, алгоритмизация и программирование с помощью граф-схемного языка А.А.Ляпунова, адресного языка и языков программирования. Представлены численные методы, реализованные под руководством А.А. Дородницына, А.А.Самарского, О.М. Белоцерковского и других ученых на современных суперкомпьютерах. Приведены примеры математического моделирования биологической задачи лечения глаз и предмета «Вычислительной геометрии» в Интернет.

13. Лаврищева Е.М., Зеленов С.В. Модельный подход к обеспечению безопасности и надежности Web-сервисов. Труды Института системного программирования РАН. 2020; 32(5):153-166. https://doi.org/10.15514/ISPRAS-2020-32(5)-12

    Дается анализ проблематики надежности и безопасности в мировой практике и в нашей стране. Рассмотрены аспекты моделирования программно-технических систем (ПТС) из сервисных ресурсов и готовых КПИ с обеспечением надежности и безопасности. Приводятся сформировавшиеся базовые и теоретические основы проблемы моделирования, опыта использования современных сервисных средств SOA, SCA, SOAP в ПТС и Web-системах с обеспечением их надежности и безопасности в Интернет. Отмечается, что ПТС и Web-системы создаются методом сборки в современных средах: IBM WSDK + WebSphere, Apache Axis + Tomcat; Microsoft .Net + IIS и др. Должны проводиться верификация и тестирование систем для поиска ошибок, возникающих при исключительных ситуациях (кибератаках, запрещенных доступах к БД и др.). Описаны методы анализа таких ситуаций и применения методов надежности и безопасности для обеспечения устойчивой и безотказной работы сервисных компонентов ПТС в информационной среде Интернет.

14. Lavrischeva E., Karpov L., Petrov I., Podlesnykh D. Ontological describing of the mathematical subject "Computational geometry" in education. Fifth International Congress on Information and Communication Technology, 20-21 February 2020, London, Great Britain.
15. Лаврищева Е.М., Петренко А.К. Технология сборки интеллектуальных и информационных ресурсов Интернет. Научный сервис в сети Интернет: труды XXI Всероссийской научной конференции (23-28 сентября 2019 г., г. Новороссийск). — М.: ИПМ им. М.В.Келдыша, 2019. — С. 469-488. https://doi.org/10.20948/abrau-2019-93

    Предлагается технология конфигурационной сборки интеллектуальных (Reuses) и информационных (data) ресурсов, которые разрабатываются и накапливаются в библиотеках и хранилищах Интернет, в прикладные web-системы разного назначения. Представлены средства описания ресурсов, верификации, тестирования, сборки и обеспечения безопасности и качества их взаимодействия. Обмениваемые между ресурсами данные трансформируются к требуемым форматам данных серверной среды Интернет с учетом стандарта ISO/IEC 11404 GDT в соответствии исходными данными клиента. Рассмотрена конфигурационная сборка вариантов веб-систем из компонентов повторного использования (КПИ) и приведена оценка показателей качества создаваемой веб-системы.

16. Лаврищева Е.М., Зеленов С.В., Пакулин Н.В. Методы оценки надежности программных и технических систем. Труды Института системного программирования РАН. 2019; 31(5):95-108. https://doi.org/10.15514/ISPRAS-2019-31(5)-7

    Определяются основные методы обеспечения и оценки надежности и безопасности программно-технических систем в процессах их жизненного цикла, a также сбора сведений о возникающих в системах ошибках, дефектах и отказах для последующих изменений. Рассматривается стандартная модель надежности и дается характеристика базовых показателей, среди которых присутствует показатель надежности; функциональность и безопасность составляют основу измерения надежности. Приводится классификация моделей надежности, дается характеристика моделей оценочного типов, используемых при проверке показателей надежности компонентов программно-технических систем. Обсуждаются экспериментальные результаты применения оценочных моделей надежности к разным размерам программных компонентов программно-технических систем и приводится оценка результатов измерения показателя надежности на этих компонентах с учетом плотности дефектов, интенсивности отказов и восстанавливаемости. Отмечается важность обеспечения надежности и безопасности (dependability and safety) систем в рамках новых стандартов интеллектуальных систем и Интернета вещей.

17. Лаврищева Е.М., Мутилин В.С., Козин С.В., Рыжов А.Г. Моделирование прикладных и информационных систем из готовых сервисных ресурсов Интернет. Труды Института системного программирования РАН. 2019; 31(1):7-24. https://doi.org/10.15514/ISPRAS-2019-31(1)-1

    Рассматривается подход к созданию сложных (информационных и прикладных) систем из готовых ресурсов (модулей, компонентов, КПИ, сервисов, reuses и др.). В основе подхода создания систем, веб–систем лежит компонентная модель (КМ), включающая функциональные, системные, сервисные и интерфейсные готовые ресурсы (ГОР), и алгебра компонентов для выполнения разных операций над ГОР. Прикладные функции компонентов, КПИ описываются в языках программирования (ЯП), интерфейсы в языках IDL и WSDL, а сервисные компоненты создаются в SOA, SCA IBMSphere или выбираются из Интернет библиотек, как готовые. Исходные компоненты верифицируются и сохранятся в репозитории ГОР и интефейсов. Представлен метод сборки ГОР: Link в среде IBM, MS.VS; make в BSD, config в JavaEE; стандарт IEEE 828–96–2012 (Configuration), как итог всех сборок. ГОР тестируются на множестве тестовых данных, проверяется их правильность и надежность работы. На готовый сконфигурированный продукт формируется сертификат качества на основе стандартов ISO/IEC 9000 (1–4) quality. Даны перспективы развития средств обеспечения безопасности и качества веб–систем.

18. E. M. Lavrischeva. The Theory Graph Modeling Systems From Quality Modules of the Application Areas. CEUR Workshop Proceedings, 2514, 2019. pp. 235-247.

    The graph modeling of applied systems (AS) from ready resources (modules) are presented. The graph is represented by an adjacency and reach ability matrix. A new program structures are modeling by mathematical operations (unions, connections, etc.). The assemble of programs structures (complex, system, packets, AS, OS, IS, etc.) from modules in LP, as resources are integrating by such operations (link, make, weaver, config, etc.) and controlled on the quality every recourses and the making systems from them.

19. Lavrischeva E. The Theory Graph Modeling and Programming Systems from Module Elements to the Application Areas. Computer and Information Science. Vol. 12, No. 4, 2019. pp. 20-39. doi:10.5539/cis.v12n4p20.

    The mathematical basics of graph modeling and paradigm programming of applied systems (AS) are presented. The vertices of graph are been the functional elements of the systems and the arcs define the connections between them. The graph is represented by an adjacency and reach ability matrix. A number of graph of program structures and their representation by mathematical operations (unions, connections, differences, etc.) are shown. Given the characteristics of graph structures, complexes, units, and systems created from the modules of the graph. The method of modeling the system on the graph of modules, which describe in the programming languages (LP) and calling them with operations (link, assembling, building, etc.). The standard of configuration (2012) Assembly of heterogeneous software elements in AS of different fields of knowledge is made. Brief descriptions of modern and future programming paradigms for formal theoretical creation of systems from service-components for Internet in the near future are given.

20. Лаврищева Е.М., Петренко А.К. Информатика: становление программного обеспечения и технологий программных систем. Труды Института системного программирования РАН. 2018; 30(5):7-30.

    Рассматривается становление информатики и аспектов компьютерной поддержки создания программного обеспечения, в том числе системных и прикладных программных систем, начиная от периода появления первых ЭВМ 1948-1990-х годов XX века. Рассмотрена программа информатизации России 1992 года и пути развития фундаментальных основ современных компьютерных наук или информатики и интеллектуализации разработки различных видов программных систем.

21. Пакулин Н.В., Лаврищева Е.М., Рыжов А.Г., Зеленов С.В. Анализ методов оценки надежности оборудования и систем. Практика применения методов. Труды Института системного программирования РАН. 2018; 30(3):99-120. https://doi.org/10.15514/ISPRAS-2018-30(3)-8

    Проводится анализ моделей и методов оценки надежности технических и программных средств. Определяются основные понятия методов надежности и безопасности таких систем и ситуаций, приводящих к ошибкам, дефектам и отказам. Дано определение надежности и безопасности технических систем и программного обеспечения (ПО) систем. Приведена классификация моделей надежности: прогнозирующего, измерительного и оценочного типов. Описаны оценочные модели, которые применяются на практике. Определен стандарт жизненного цикла ПО (ISO 15288:2002), ориентированный на разработку и контроль компонентов систем на ошибки, начиная с требований к системе. Представлены результаты применения моделей надежности (Мусы, Гоэла-Окомото и др.) к малым, средним и большим проектам и дана сравнительная их оценка. Описан технологический модуль (ТМ) оценки надежности сложных комплексов программ ВПК (1989). Показана модель качества стандарта ISO 9126 (1-4):2002-2004 с показателями функциональность, надежность, эффективность и др., которые используются при определении зрелости и сертификата качества продукта.

22. Lavrischeva E. Scientific Basis of System Programming. Journal of Software Engineering and Applications, No. 11, 2018, pp. 408-434.

    Theoretical foundations of programming systems from modules, objects, components, services are given. Identified relevant theory of programming proposed by the author with the participation of students and postgraduates: graph modular programming theory with graph representation as an adjacency matrix for mathematical achievability of graph vertices; theory of generating programming and theory of software factories; theory of graph object and component modeling (OCM) by means of logic and algebra-mathematical theory of determining individual elements of complex systems; theory of system programming based on ontological and service-component models (SOA, SCA) with security and quality systems. The Internet Smart and Nanotechnology are given for perspective transition of computer technology to nanotechnology.

23. E.M. Lavrischeva. The Scientific basis of Software Engineering. International Journal of Applied and Natural Sciences, vol. 7, issue 5, 2018, pp. 15-32.

    Define the scientifical concepts and fundamental basis of Software Engineering (SE). The scientifically concepts are modules, objects, programs, systems and processes of design program systems. The fundamental basic of the SE are: assembly method of modules; disciplines SE (scientific, engineering, economic, management, etc.); paradigms of programming modules, objects, components, etc.; automatization of Life Cycle (ISO/IEC 12207); theory of technological and production lines, factory programs and App Fabric; new logical-mathematical theory of object-component modeling graph of object model (OM); verification of OM and MF (feature model) and testing ready elements of system and evaluation reliability and quality of systems product. Tool support of scientific basis was represented on the website http://7dragons.ru/ru.

24. Лаврищева Е.М. Развитие теории программ и систем в СССР. История и современные теории программ и систем.- Сборник SORUCOM-2017.- Развитие ВТ в России и в странах бывшего СССР. История и перспективы.- 3-5 октября 2017.-с.162-176.

    Приведен анализ теории программ советских ученых (Ляпунова, Ершова, Янова, Глушкова, Ющенко, Липаева и др.). Определена сущность теории программ, технологии программирования, синтеза, сборки и доказательства программ и систем (1963-1990). Представлены элементы теории зарубежной инженерии программных продуктов Software Engineering (1980-2016) и SEMAT (2009). Представлены новые перспективные теории и методы моделирования изменяемых систем из готовых программных ресурсов (объектов, компонентов, сервисов и др.) и их конфигурационной сборки в варианты выходного кода продуктов и систем.

25. Лаврищева Е.М. Научные основы программной инженерии (Понятия, Парадигмы, Технологии, СASE-средства .- Theoretical and Applied Aspects of Program Systems Development» (TAAPSD’2017), 4-8 дек. 2017. - с. 201-214.
26. Е.М. Лаврищева, В.С. Мутилин, А.Г. Рыжов. Аспекты моделирования вариабельных программных и операционных систем.- Сборник XIX Всероссийский научной конференции «Научный сервис в сети Интернет», Новороссийск, 18-23 сентября 2017.-327-341.

    Рассматриваются подходы к формированию вариабельности действующих и создаваемых программных систем (ПС), и их семейств (СПС). Предложенная модель характеристик (Feature Model) К. Pohl в проекте SEI Product Line и Product Family, а также модель конвейерной сборки готовых артефактов в пространстве задач и решений K. Czarnecki послужили исходной концепцией для создания модели вариабельности для программных и операционных систем (ОС). Определены новые модели ПС и ОС, включающие готовые ресурсы (ГОР) – функциональные и интерфейсные элементы, а также модель характеристик (МХ) элементов, по которым генерируются варианты ПС из их семейств. Определена концепция управления вариабельностью и конфигурационной сборкой ПС из ГОР в объектно-компонентном методе (ОКМ) для получения вариантов выходного продукта. Предложен подход к тестированию вариантов ПС.

27. Lavrischeva E.M., Mutilin V.S., Ryzhov A.G. Designing variability models for software, operating systems and their families.. Trudy ISP RAN/Proc. ISP RAS, vol. 29, issue 5, 2017, pp. 93-110. DOI: 10.15514/ISPRAS-2017-29(5)-6.

    The complexity of existing Legacy systems and the difficulty of amending it led to the development of the new concept of variability of systems specified by a model of the characteristics of FM (Feature Model). In the paper, we discuss the approaches to formal definition of FM and creating on its basis variants of program systems (PS), operating systems (OS) and families of program systems (FPS) for PS and OS. We give methods of manufacturing of PS in the Product Family/Product Lines, the conveyor of K.Czarnecki for assembling of artifacts in the space of problems and solutions, logical-mathematical modeling of PS from the functional and interface objects by Object-Components Method (OCM), extraction of the functional elements from OS kernel to FM for the generation of new variants of the OS. We discuss approaches for formalization of variability of legacy and new PS and their FPS. The new concept of management of variability systems with help OCM is defined. The approach to verify models of the FM, PS, FPS and OS and to configuration of functional and interface objects for obtaining the variants of the resulting product are proposed. We elaborate the characteristics for the testing process of variants of the PS, OS and FPS.

28. Лаврищева Е.М. Фундаментальные основы программной инженерии. Парадигмы, технологии, СASE-средства. Сборник научных трудов 5-международной конференции «Актуальные проблемы системной и программной инженерии». - Сборник трудов АПСПИ-2017, 14-16 октября 2017. - с.163-177.

    Определяются базовые понятия и фундаментальные основы Software Engineering (SE). Базовые понятия – это объекты, модули, программы, системы; процессы разработки объектов. Фундаментальную основу SE составляют: метод сборки (конфигурирования) модулей; дисциплины SE (научная, инженерная, экономическая, управленческая и др.); парадигмы программирования модулей, объектов, компонентов и др.; жизненный цикл (стандарт ISO/IEC Life Cycle 12207); линии изготовления систем; фабрики программ и AppFab; логико-математическая теория объектно-компонентного моделирования (ОКМ) изменяемых систем; верификация и тестирование систем.

29. Е. М. Лаврищева, Л. Е. Карпов, А. Н. Томилин. Подходы к представлению научных знаний в Интернет науке. Сб. XIX Всероссийский научной конференции «Научный сервис в сети Интернет», Новороссийск, 18-23 сентября 2017.-с.310-326.

    Дано определение Интернет науки, получившей название e-science, и ее целей, приводится перечень базовых организаций, занимающихся ее развитием. Представлены основные научные понятия этой науки – информация, данные, знания. Определен схема научного процесса формирования знаний в e-science. Дан анализ состояния e-science и пути развития ресурсов семантической сети (Семантик Web), включая готовые ресурсы и сервисы. Дано определение базовых понятий этой науки и семантического Grid, включающего ресурсы, сервисы и онтологию управления знаниями. Приведена архитектура Web-Grid, содержащая набор программных, сервисных и интерфейсных ресурсов, хранящихся в репозитории, брокер сервисов и инструментов. Рассмотрены перспективные пути развития е-науки.

30. E.M. Lavrischeva, I.B. Petrov. Ways of Development of Computer Technologies to Perspective Nano. Proceeding of Future Technologies Conference (FTC) 2017, 29-30 November 2017, Vancouver, Canada, рр. 539-548.

    The ways of development of the first computers to modern computers, which are assembled from transistors, chips, integrated microcircuits on crystals, etc. are considered. New substances, materials, electronic devices, manipulators from new micro Nano elements are created. It is noted that computer technologies provide people communication (mail, video, Skype, etc.), improve the everyday life of each member of the world community. The analysis of the development of computer engineering is given and the technologies of modern supercomputers in the future are determined. A number of operating supercomputers Simulation and Digital Manufacturing in industry, energy, transport, and construction are presented. The ways of development of the Internet, technologies lines of life cycle, ontologies, smart products in the fields of e-science (biology, genetics, physics, medicine, energy, etc.) and industry are discussed.

31. Е.М. Лаврищева, Программная инженерия и технология программирования сложных систем.- Учебник для Вузов. Москва-Юрайт -2017. ВБК32973я73, ISBN 978-6-534-4591-8.-432 с.

    Серия «Университеты России» позволит высшим учебным заведениям нашей страны использовать в образовательном процессе учебники и учебные пособия по различным дисциплинам, подготовленные преподавателями лучших университетов России и впервые опубликованные в издательствах университетов. Все представленные в этой серии учебники прошли экспертную оценку учебно-методического отдела издательства и публикуются в оригинальной редакции. Описаны основные положения технологии программирования и инженерии программных продуктов и систем. Изложены отечественные и зарубежные методы разработки сложных программных систем из готовых компонентов повторного использования (КПИ). Рассмотрены подходы к инженерии программных продуктов из КПИ и их вариантов в SPLE (Software Product Line/Product Family), GDM (Generative Programming), Grid и др. Изложен метод сборки программных систем из КПИ с учетом модели характеристик (Feature Model), изменяющей структуру программных продуктов и систем. Описан объектно-компонентный метод моделирования вариантов программных систем и семейств программных систем из КПИ. Излагаются онтология представления доменов, методы извлечения знаний о готовых системах, спецификациях КПИ и доказательстве систем из них. Рассмотрены методы экспертизы, верификации, тестирования и оценки качества систем. Описаны дисциплины SЕ и методы создания веб-систем в среде Semantic Web и требования стандарта SEMAT к применению теории и методов SЕ в разработке систем. Для разработчиков и специалистов, которые интересуются современными технологиями изготовления отдельных программ и КПИ в разных языках программирования, их сборкой для получения вариантов программных систем и продуктов с обеспечением качества, а также студентов, магистров и специалистов но направлению подготовки «Теория и технология программирования».

32. Лаврищева Е.М. Программная инженерия. Тема 3. Базовые основы программной инженерии. Учебно-методическое пособие. Москва, МФТИ, 2016. 52 с.

    Дано определение программой инженерии, представленное П. Науром в 1968 г. на конференции НАТО. Она занимает центральное место в компьютерных науках и информатике. Ориентирована на разработку программного обеспечения (ПО) прикладных и информационных систем разного назначения. Создано ядро знаний SWEBOK (2001), которое включает базовые разделы знаний - разработка требований, проектирование, конструирование, тестирование и сопровождение ПО и организационные разделы - управление проектом, конфигурацией, качеством, методы и средства инженерии ПО. Ядро знаний отображено в процессах жизненного цикла (ЖЦ) стандарта 1SO/1EC 12207 и в ряде парадигм программирования (SCRUM, Reusebility, eXtremal Programming и др.) Предназначено для преподавания студентам 1-3 курсов, обучающихся в области информатики, программной инженерии и компьютерных наук.

33. Лаврищева Е.М. Программная инженерия. Тема 2. Технология программирования. Учебно-методическое пособие. Москва, МФТИ, 2016. 52 с.

    В учебно-методическом пособии рассматривается вопросы развития технологии программирования - четыре транслятора ТА1-ТА4, системы синтеза, отладки тестирования программ. Дана характеристика технологии разработки крупных систем В.В. Липаева. Определено понятие - сборочное программирование, - основу которого составляют модули и интерфейсы связи через модули-посредники разноязычных программ. Приведена теория модульного программирования и методы доказательства объединяемых из модулей программ математическим аппаратом матриц смежности и достижимости. Приведены методы тестирования модульных программ и точка зрения академика А.П. Ершова на перспективу доказательства программ в системе сборки. Предназначено для студентов 4-5 курсов, изучающих программную инженерия и технологию программирования.

34. Лаврищева Е.М. Программная инженерия. Тема 1. Теория программирования. Учебно-методическое пособие. Москва, МФТИ, 2016. 48 с.

    Представлены школы по теории программирования (А.А. Ляпунова, Ю.И. Янова, А.П. Ершова, В.М. Глушкова, Е.Л. Ющенко, Г.Е. Цейтлина, В.Н. Редька и др.) на первых ЭВМ. Дана характеристика теории схем программ и автоматов, алгоритмического, алгебраического и синтезирующего программирования. Рассмотрены подходы к формальной спецификации программ и доказательства их правильности. Дана теория композиции и сборки модулей в сложные системы. Предназначено для преподавания студентам 1-3 курсов, обучающихся в области информатики, программной инженерии и компьютерных наук.

35. Е.М. Лаврищева. Теория объектно-компонентного моделирования программных систем. Препринт ИСП РАН 29, 2016 г., стр. 1-52. ISBN 978-5-91474-025-9

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

36. Лаврищева Е.М. Научные основы построения программных и информационных систем. Е-обучение теории и методам. Сборник трудов XII Научно-практической конференции «Современные информационные технологии и ИТ-образование», 25-26 ноября 2016, МГУ им. М.В.Ломоносова.
37. Лаврищева Е.М., Рыжов А.Г. Применение теории общих типов данных стандарта ISO/IEC 11404 GDT к Big Data. «Актуальные проблемы в современной науке и пути их решения», 27 октября 2016, c. 99-108.

    . Рассматриваются вопросы применения теории общих типов данных (GDT) к Большим Данным (Big Data). Подан базовый аппарат представления типов данных (ТД) GDT (стандарта ISO/IEC 11404-2007) и теория генерации нестандартных ТД GDT. Определены операции и набор функций трансформации данных с одной платформы на другую. Предложен подход к анализу неструктурированных данных и генерации с помощью функций, аналогичных функциям библиотеки CTS (Common Type System) VS.Net.

38. E.М. Лаврищева, Л.Е. Карпов, А.Н. Томилин. Семантические ресурсы для разработки онтологии научной и инженерной предметных областейБ. Научный сервис в сети Интернет: труды XVIII Всероссийской научной конференции (19-24 сентября 2016 г., г. Новороссийск). — М.: ИПМ им. М.В.Келдыша, 2016. — c. 223-239.

    Представлены основные положения и ресурсы онтологии семантической сети для определения концептуальных моделей сложных предметных областей и сетевых приложений. Ресурсами являются предметноориентированные языки описания онтологий (OWL, DSL и др.) и системы их поддержки (FODA, Protégé, DSL Tool VS.Net и др.). Дана характеристика основных понятий научной области – вычислительная геометрия и инженерного домена программной инженерии – жизненный цикл стандарта ISO/IEC 12207. Представлен общий набор семантических ресурсов онтологии, включая средства предметно-ориентированного языка DSL и систем Protégé и DSL Tool VS.Net для представления этих предметных областей. Приведены примеры их описания.

39. Лаврищева Е.М. Теоретические основы моделирования программных систем из объектов и компонентов. Сборник трудов международной научно-практической конференции «Теория активных систем» (ТАС-2016), 16-17 ноября 2016. - ИПУ РАН им. В.А.Трапезникова.
40. В.В. Кулямин, Е.М. Лаврищева, В.С. Мутилин, А.К. Петренко. Верификация и анализ вариабельных операционных систем. Труды Института системного программирования РАН, Том 28, выпуск 3, 2016 г., стр. 189-208.

    В данной работе рассматриваются проблемы верификации и анализа сложных операционных систем с учетом их вариабельности, или наличия большого количества разнообразных конфигураций. Исследуются методы, позволяющие преодолеть эти проблемы, проводится их обзор и классификация. Выделены классы методов, использующих для анализа инструменты, не учитывающие вариабельность, и выборки вариантов системы и методов, использующих специализированные инструменты, учитывающие вариабельность. Как наиболее перспективные с точки зрения масштабируемости, выделены техники анализа, использующие выборки вариантов системы, обеспечивающие покрытие ее кода и комбинаций значений конфигурационных параметров, а также специализированные, учитывающие вариабельность кода техники анализа с итеративным уточнением модели поведения системы на основе контрпримеров.

41. Е.М. Лаврищева, А.К.Петренко. Моделирование семейств программных систем. Труды Института системного программирования РАН, Том 28, Выпуск 6, 2016 г.

    Большие программные системы всегда создаются достаточно долго, в несколько этапов, это приводит к необходимости появления версий (релизов) систем. Кроме того, у большой системы всегда есть несколько, а иногда много, конфигураций установки, что обуславливается либо разным набором программно-аппаратного окружения, либо требованиями пользователя системы. Тем самым результатом разработки можно рассматривать не отдельную систему, а цепочку и семейство программных систем или программных продуктов (Product Lines/Product Families). Появление этого понятия можно рассматривать как развитие методов повышения доли повторно-используемого программного обеспечения (re-use). Однако, в отличие от ранних работ по повторно-используемому ПО исследования по семействам программ рассматривают весь спектр работ и задач создания ПО, то есть не только собственно проектирование и программирование, но и документирование, верификацию, поддержку эксплуатации, в частности, инсталляцию и так далее. Одной из работ, выполняемых в ходе создания семейства программ, является моделирование. Статья рассматривает современные подходы к моделированию семейств программных систем, а также, подробнее, одно из направлений этого исследования — моделирование семейств операционных систем (описывая задачи исследования, поддержанного грантом РФФИ).

42. Лаврищева Е.М., Рыжов А.Г. Применение теории общих типов данных стандарта ISO/IEC 12207 GDT к Big Data, Актуальные проблемы в современной науке и пути их решения, 27 декабря 2016, с.99-110.
43. Ekaterina M.Lavrischeva. Assemblling Paradigms of Programming in Software Engineering. Journal of Software Engineering and Applications, 2016, 9, 296-317.
44. Лаврищева Е.М., Слабоспитская О.А. Технология моделирования изменяемых программных продуктов и систем//XII Межд. Научно-практ. конф. «Теоретические и прикладные аспекты построения программных систем».-TAAPSD’2015, 23-26 ноября, 2015.-с.118-128.
45. Лаврищева Е.М., Слабоспитская О.А. Коллекция CASE-Tools для сборки вариабельных систем из готовых ресурсов.- Сб. статей «Технология разработки информационных систем -2015» НИИ Моделирования и проектирования информационных систем, РФФИ.- Таганрог, с.148-179.
46. Е. М. Лаврищева Л. Е. Карпов. Н. Томилин. Сервисные средства интернет для решения бизнес-задач, Труды Института системного программирования РАН Том 27. Выпуск 1. 2015 г. Стр. 125-150.

    Описываются различные виды сервисов и служб, используемых в современных программных и распределенных системах. Дается характеристика широко распространенных и внедренных в практику систем со спектром системных и функциональных сервисов. Рассмотрены модели сервисной, сервисно-компонентной архитектур и системы сервисной поддержки WCF для представления прикладных систем из готовых сервисов с целью решения бизнес-задач. Приведен пример решения бизнес задачи обработки данных в калькуляторе, реализованном с помощью сервисной службы WCF комплекса ИТК.

47. Лаврищева Е.М., Карпов Л.В., Томилин А.Н. Системная поддержка бизнес задач в глобальной информационной сети. Труды конференции «Научный сервис в сети Интернет -2015», 21-26 сентября 2015, Новоросийск, c. 193-218.

    Рассмотрены сервисы как системная поддержка процессов разработки программных систем и сервисы Интернет (или веб-сервисы) для решения бизнес-задач и приложений в среде Интернет. Дано описание набора системных сервисов CORBA для управления объектами и интерфейсами (stub и skeleton) между клиентом и сервером. Представлены архитектуры сервисов SOA и SCA, используемые для композиции систем из сервисов и компонентов в Интернет среде. Приведены языки описания сетевых сервисов (XML, SOAP, BPMN, WSDL, BPEL и др.) консорциума W3C и протоколы Icontract WCF для передачи сообщений между распределенными системами Интернет. Рассмотрены сервисные протоколы, и технологии обработка Web-сервисов в Grid-системе, обеспечивающей поддержку научного сервиса в глобальной сети е-sciences.

48. Е.М.Лаврищева. Object modelling of subject domains. Заочный журнал «Объектные системы», 2015, с.34-40.
49. Е.М. Лаврищева. Компонентная теория и коллекция технологий для разработки индустриальных приложений из готовых ресурсов, Труды Четвертой научно-практической конференции «Актуальные проблемы системной и программной инженерии», АПСПИ-2015, 20-21 мая 2015, c 101-119.
50. Ekaterina M. Lavrischeva. Ontology of Domains. Ontological Description Software Engineering Domain. The Standard Life Cycle, Journal of Software Engineering and Applications, 2015, 8, p.1-15.
51. Lavrischeva Ekaterina. Ontological Approach to the Formal Specification of the Standard Life Cycle, "Science and Information Conference-2015", London, UK, Jule 28-30, 2015. pp.965-972. doi:10.1109/SAI.2015.7237259
52. Lavrischeva E.M. Software Engineering: New Disciplines And E-Learning Theme For Development Of Applied Systems. European Journal of Engineering and Technology, Progressive Academic Publishing, 2015, 3 (3), 36-63.

    This article presents the new scientific disciplines of software engineering (SE), which oriented on constructing different applications, applied systems (AS) and product families system (SPF) from ready reusable components (RC) in conditions of factories. These disciplines: are such as: theories of reuses, them engineering (technology), economy, management and productions of programs products from RC. The new formal basis of programming by components, models of variability and interoperability systems of components for executions in the modern environment and practices building AS and SPF of RC for these disciplines are realized into the instrumental and technological complex (ITC) as the programs factory based on systems tools and instruments of MS.Net. This factory ITS may be used for electronic learning of different aspects of proposed disciplines for the building AS and SPF, which describes in our textbooks, which may be use for building simple applications and AS.

53. Лаврищева Е.М. Развитие отечественной технологии программирования. Кибернетика и системный анализ, 2014, том 50, № 3.

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

54. Лаврищева Е. От информационных технологий к нанотехнологиям. УСиМ, №4, 2014.
55. Лаврищева Е. The Operating Computing Complex «Dnepr-2». Третья международная конференция SoRuCom-2014.

    In paper shortly describes handling calculable complex "Dnepr-2, which including a calculable machine "Dnepr-21" and handling machine "Dnepr-22" for the management by Technologies Processes (TP) objects to Automatisation Systems. Complex"Dnepr-2" was elaborated in Institute of cybernetics AN Ukraine and his special designer bureau of mathematical machines and systems under the direction of the academician V.M. Gluchkov (Decision of CM USSR No 1250 from 12.12.1965). This complex was one of pioneer works in USSR. In him on period of 60 years of past century new and original scientific and technical decisions are realized. In complex "Dnepr-2" was realized management by the calculation and treatment in real time by objects, system of breaking, operation system with the division of time, translators from the new languages (Auto cod, Algol-60, COBOL and others).

56. Лаврищева Е.М. Парадигмы программирования сборочного типа в программной инженерии. Международная конференция, УкрПрог-2014.-Специальный сборник трудов, с. 76-92.
57. Лаврищева Е.М. Развитие идей академика В.М. Глушкова по технологии компьютеров, систем и программ. Программная инженерия, №2, 2014, Москва. с.19-26.
58. Ekaterina Lavrischeva, Andrey Stenyashin, Andrii Kolesnyk. Object-Component Development of Application and Systems. Theory and Practice. Journal of Software Engineering and Applications, 2014, 7, Published Online August 2014 in SciRes.

    The Оbject-Componet Development (ОCD) is a variety of the compositional programmings, where a role of elements of assembling is warmed by objects, interfaces and components. For developing application systems, the theory of design of subject domain based on Frege object theory is developed, together with the presentation of their functions by methods and interfaces with formal annotations for saving them in libraries. Mathematical vehicle ОCDs are models, methods, algebra of operations of objective analysis and their configuring with the use of the component algebra of running, evolution and transformation of data types that are passed between objects through interfaces. Row of the theoretical and applied aspects ОCD was realized in the instrumental-technological complex (ІТC) as CASE-instruments of web-site http://sestudy.edu-ua.net. With their help the students can study, create, model, certify and accumulate or configure the objects and components into repository of ITC, and also assemble together from them in more complex applied systems.

59. Lavrischeva E.M. Developmentof Domestic Programming Technology. Cybernetics and Systems Analysis, Volume 50, Isuue 3. May 2014, pp. 452-464. doi: 10.1007/s10559-014-9634-4.
60. Lavrischeva K., Aronov A., Dzubenko A. Programs Factory – A Conseption of Knowledge Reprezentation of Scientifically Artifacts From Standpoint of Software Engineering. Computer and Information Science, Canadion Center of Science and Education, 2013.pp.21-28. doi:10.5539/cis.v6n3p21

    The factory of the programs is created by students of the cybernetics department at KNU. A primary objective of this factory is the electronic presentation of the “Software engineering” textbook, created based on international programs “Curricula-2001” and intended for mastering of this discipline by students and acquiring knowledge on these fundamental aspects. It is used for implementation by the students of laboratorials, diplomas and master’s works. Their algorithms and programs are developed at technological lines (TL) with the specifications in various programming languages (C#, Pascal, etc), WSDL, IDL and saved in repository for the prepared program products (artifacts and programs). Factory helps to study the textbook and create products that can be used by the other students at different universities from ready reusable components in the MS.NET system.

61. Е. М. Лаврищева. Software Engineering компьютерных систем. Парадигмы, технологии и CASE-средства программирования. Наук. думка, 2013. 283 с.

    В монографии рассмотрены парадигмы программирования и Case-средства для разработки сложных компьютерных систем из программных ресурсов дан-ных парадигм. В первом разделе даны базовые понятия программной инжене-рии, технологии программирования и метода сборки разноязычных модулей в сложные системы, а также компьютерные средства их автоматизации и реин-женерии ресурсов и систем. Во втором разделе приведены новые формализмы парадигм программирования (модульной, объектной, компонентной, аспектной и сервисной) в программной инженерии. Каждая парадигма представлена тео-ретическим аппаратом моделирования и проектирования соответствующего ресурса. Дано формальное описание метода сборки ресурсов этих парадигм в сложные системы с инструментами их поддержки. В третьем разделе описаны разработанные технологии, линии и CASE-средства поддержки парадигм сред-ствами процессов жизненного цикла и инженерии качества. Представлен ориги-нальный набор CASE-инструментов – линии изготовления компонентов, сбор-ки их в конфигурационные структуры, а также линии обучения языкам С#, JAVA, VBasic описания ресурсов и аспектам предмета программной инжене-рии в среде веб-сайтов ИТК и фабрики программ КНУ. Для разработчиков и специалистов, занимающихся теоретическими и при-кладными вопросами проектирования и реализации сложных компьютерных систем, а также для студентов высших учебных заведений по специальности программная инженерия, компьютерные науки и информатика.

62. E. Lavrischeva and A. Ostrovski, New Theoretical Aspects of Software Engineering for Development Applications and E-Learning. Journal of Software Engineering and Applications, Vol. 6 No. 9A, 2013, pp. 34-40. doi: 10.4236/jsea.2013.69A004.

    This paper presents new theoretical aspects of software engineering which oriented on product lines for building applied systems and software product families from readymade reusable components in conditions of program factories. These aspects are the new disciplines such as the theory of component programming; models variability and interoperability of system; theory for building systems and product families from components. Principles and methods of implementing these theories were realized in the instrumental and technological complex by lines of component development: assembling program factories using lines, e-learning to new theories and technologies in textbook of “Software Engineering” by the universities students.

63. Lavrischeva E. Generative and Composition Programming: Aspects of Developing Software System Families. Cybernetics and Systems Analysis, Springer, volume 49, issue 1(2013), p. 110-123. doi:10.1007/s10559-013-9491-6.
64. Lavrischeva E., Dzubenko A., Aronov A. Conception of Programs Factory for Representation and E-learning Disciplines of Software Engineering. Proceedings of the 9th International Conference ICTERI - 2013 “ICT in Education, Research and Industrial Applications; Integration, Harmonization and Knowledge Transfer”, Ukraine, June 17–21, 2013.

    The paper presents a new idea of knowledge representation for students studying software engineering by developing artifacts and software components accumulated in libraries or repositories for further reuse. The idea is based on the concept of assembly line by V. Glushkov, further elaborated by Soviet and foreign specialists (A. Ershov, V. Lipaev, J. Greenfield, G. Lenz, Y. Bai, M. Fowler). The paper introduces the elements of program factory: reusable components, their interfaces, and assembly lines for designing and assembling complex software products from components. It is shown that modern operating environments provide prerequisites for such factories. The students’ program factory, implemented at Taras Shevchenko Kiev National University, is then described. The technologies behind the factory, as well as its goals are studied.

65. Lavrischeva E., Stenyashin A. Industrial Approach of Application Systems Development and Implementation in the Heterogeneous Environments. Parallel and Distributed Computing Systems Kharkiv, March 13-14, 2013. р. 157-168.
66. Лаврищева Е.М. Технология электронного обучения базовым основам программной инженерии. УСиМ, №3, 2012. с.51-63.
67. Лаврищева Е.М. Генерационное и композиционное программирование. Аспекты разработки семейств программных систем. Кибернетика и системный анализ, №4, 2012. с. 127-139.
68. Lavrischeva E., Ostrovski A., Radetskyi I. Approach to E–Learning Fundamental Aspects of Software Engineering. Proceedings of the 8th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, June 6-10, 2012. pp. 176-187.

    New theoretical and applied aspects of software engineering are introduced, viz.: technologies of developing programs and reusable components with MS.NET, CORBA, Java, Eclipse environments; assembling them into applied systems and their families; embedding components into the modern environments for shared usage; modeling applied domains in ontological DSLlike languages with tools like MS DSL Tools, Workflow, Eclipse-DSL, and Protégé. These aspects are implemented in the instrumental and technological complex (ITC). They are oriented towards improving software industry based on the readymade software resources (reuses, assets, services, artifacts). The ITC is represented by a web site with modern design, the contents of which has no known counterparts. The site is introduced as a tool for developing various kinds of programs and systems in the corresponding product lines, as well as for teaching computer science students the subject of software engineering.

69. Lavrischeva E.,Ostrovski A. General Disciplines and Tools for E–Learning Software Engineering. Proceedings of the 9th International Conference ICTERI– 2012 “ICT in Education, Research and Industrial Applications”, Ukraine, June, 2012, Communication in Computer and Information Sciences, ISSN 1865-0929, doi: 10.1007/978-3-642-35737-4_13.
70. Лаврищева Е.М. Теория и практика фабрик программных продуктов. Кибернетика и системный анализ, №6, 2011. с. 145–158.
71. K. M. Lavrischeva. Theory and Practice of Software Factories. Cybernetics and Systems Analysis November 2011, Volume 47, Issue 6, pp 961-972. doi: 10.1007/s10559-011-9376-5.
72. Лаврищева Е.М. Формальные основы интероперабельности компонентов в программировании.Кибернетика и системный анализ, №4, 2010. с.134–150.
73. K. M. Lavrischeva. Formal Fundamentals of Component Interoperability in Programming. Cybernetics and Systems Analysis, July 2010, Volume 46, Issue 4, pp 639-652. doi: 10.1007/s10559-010-9240-z.
74. Лаврищева Е.М., Грищенко В.Н. Сборочное программирование. Основы индустрии программных продуктов. Второе изд. Киев: Наук. Думка, 2009. 371 с.

    В монографии систематизированы существующие подходы и методы сборки сложных программ из более простых программных ресурсов (модулей, компонентов, компонентов повторного использования – КПИ и программ). Приведено теоретическое обобщение и обоснование метода сборочного программирования программных систем из программных ресурсов. Определены основные операции над ними. Разработаны формальные основы компонентного программирования: модели компонентов, интерфейсов, среды, а также внешней и внутренней алгебры. Дана классификация программных ресурсов и подходов к применению информационных ресурсов. Рассмотрены технологические аспекты метода сборки модулей, КПИ и других готовых ресурсов, а также предложена новая концепция инженерии сборки технологий для реализации программных приложений СОД на их основе. Приведено общее описание средств автоматизации метода сборки программных ресурсов, определены фундаментальные основы (теоретические, инженерные, экономические, управленческие) индустрии программных продуктов различного назначения. Для специалистов, занимающихся автоматизированным созданием программных систем из готовых ресурсов в разных предметных областях с использованием современных инструментально-технологических средств и сред, а также студентов и аспирантов вузов специальностей – прикладная математика и программная инженерия.

75. Лаврищева Е.М., Слабоспицкая О.А. Подход к экспертному оцениванию в программной инженерии. Кибернетика и системный анализ, № 4, 2009. С.151–168.
76. Лаврищева Е.М. Сборочное программирование. Теория и практика. Кибернетика исистемный анализ, №6, 2009. C.3–12. 
77. E. M. Lavrischeva and O. A. Slabospickaya. An Approach to Expert Assessment in Software Engineering. Cybernetics and Systems Analysis, July 2009, Volume 45, Issue 4, pp 638-654. doi: 10.1007/s10559-009-9131-3.
78. K. M. Lavrischeva. Compositional Programming: Theory and Practice. Cybernetics and Systems Analysis November 2009, Volume 45, Issue 6, pp 845-853. doi: 10.1007/s10559-009-9154-9.
79. Лаврищева Е.М., Коваль Г.И.,Коротун Т.М. Подход к управлению качеством программных систем. Киберетика и системный анализ, № 5, 2008. С.173–185.
80. Лаврищева Е.М. Программная инженерия–научная и инженерная дисциплина. Кибернетика и системный анализ, №3, 2008. C. 19–28.
81. Лаврищева Е.М. Классификация дисциплин программной инженерии. Кибернетика и системный анализ, №6, 2008. С.3–9.
82. E. M. Lavrishcheva. Software Engineering as a Scientific and Engineering Discipline. Cybernetics and Systems Analysis, May 2008, Volume 44, Issue 3, pp 324-332. doi: 10.1007/s10559-008-9010-3.
83. E. M. Lavrischeva. Classification of Software Engineering Disciplines. Cybernetics and Systems Analysis, November 2008, Volume 44, Issue 6, pp 791-796. doi: 10.1007/s10559-008-9053-5.
84. Лаврищева Е.М., Петрухин В.А. Методы и средства инженерии программного обеспечения. Москва, МФТИ, 2007. 415 c.

    В учебнике систематически изложены методы программирования , их теория и практика с учетом ядра знаний SWEBOK ( SoftWare Engineering of Body Knowledge ) и положений стандартов программной инженерии. Представлены методы прикладного и теоретического проектирования, методы доказательства, верификация и тестирование, а также методы интеграции и преобразования программ и данных. Определены основы инженерной дисциплины разработки – управление проектом, риском и качеством. Описана инженерия приложений и предметной области на основе повторного использования компонентов, определены подходы и методы их аннотации для накопления, выбора и оценки применимости в новых программных проектах.

85. Андон Ф.И., Коваль Г.И., Коротун Т.М., Лаврищева Е.М., Суслов В.Ю. Основы инженерии качества программных систем. Киев: Академпериодика, 2007. 680 с.

    Первая монография в СНГ по проблематики качества ПО. В ней представлено систематизация зарубежных работ в этой области и дано определение ядра знаний инженерии качества программных систем и парадигмы программирования. Рассмотрены процессы ЖЦ и методы верификации, валидации, тестирования, измерения, управления риском, обеспечения качества и др. Предложены методы измерения этих процессов, затрат на разработки ПС, а также методики оценки продуктов на качество, стоимость их создания и управления проектами сложной структуры. Дана краткая характеристика используемых инструментов–GQM, FPA, COCOMO II, CMM и др. Результаты анализа основаны на материалах зарубежных организаций–лидеров в области инженерии качества–SEI, ISO, IEEE, NIST и др.

86. Лаврищева Е.М. Методы программирования. Теория, практика, инженерия. Наукова думка, 2006. 471 с.

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

87. Лаврищева Е.М. Современные методы программирования: возможности и инструменты. Проблеми програмування, №2–3, 2006. С.60–74.

    Анализируются современные широко используемые методы систематического и теоретического программирования. Рассмотрены их возможности и инструменты для проектирования программных систем. Среди этих методов определяются перспективные – порождающее и агентно-ориентированное.

88. Лаврищева Е.М., Коваль Г.И., Коротун ТМ. Подход к управлению качеством программных систем обработки данных. Кибернетика и системный анализ, № 5, 2006. С.174–185.
89. Лаврищева Е.М. Интерфейс в программировании. Проблеми програмування. №2, 2006. С.126–139.

    Рассматриваются базовые понятия интерфейса, подходы к обеспечению интерфейса языков программирования (ЯП) и взаимодействия разноязыковых программ и данных. Определены общие проблемы неоднородности ЯП, платформ компьютеров и сред, влияющие на выполнение связей между разноязыковыми программами, сформулированы пути их решения. Изложены стандартные решения ISO/IEC 11404–1996 по обеспечению независимых от ЯП типов данных и стандарты преобразования форматов данных.

90. E. M. Lavrishcheva, G. I. Koval and T. M. Korotun. An Approach to the Software Quality Management. Cybernetics and Systems Analysis, September 2006, Volume 42, Issue 5, pp 758-768. doi: 10.1007/s10559-006-0115-2.
91. Грищенко В.Н., Лаврищева Е.М. Области знаний программной инженерии–SWEBOK и подход к обучению этой дисциплины. УсиМ, 2005.№1. С.38–54.
92. Лаврищева Е.М., Рожнов А.М. Концепция аналитической оценки характеристик качества программных компонентов.Проблеми програмування, 2004.№3–4. С.180–187.
93. Грищенко В.Н., Лаврищева Е.М. Методы и средства компонентного программирования. Кибернетика и системный анализ, 2003.№1. с.39–54.
94. V. N. Grishchenko and Ye. M. Lavrishcheva. Methods and Tools of Component Programming. Cybernetics and Systems Analysis, January 2003, Volume 39, Issue 1, pp 33-45. doi: 10.1023/A:1023816924979.
95. Коротун Т.М.,Лаврищева Е.М. Построение процессов тестирования информационных систем. Проблеми програмування, 2002, №1–2. с.272–281.
96. Лаврищева Е.М.Пути стандартизации программной инженерии как специальности. Труды междунар. конф. “Теория и практика стандартизации образования”, Минск, 2001.с.11–17.
97. Лаврищева Е.М. Парадигма интеграции в программной инженерии. Проблемы программирования, 2000. №1–2. С.351–360.
98. Лаврищева Е.М. Сборочное программирование. Некоторые итоги и перспективы. Проблемы программирования, 1999.№2.C.20–32.
99. Андон Ф.И., Лаврищева Е.М. Методы инженерии распределенных компьютерных приложений. Киев: Наук. думка, 1998. 228 с.

    В монографии изложены новые концепции (с учетом статей 23–25), методы и средства разработки приложений с использованием объектно–ориентиронного стандарта в системе CORBA, а также принципы взаимодействия приложений на основе механизмов удаленного вызова RPC и функционирования их в сетевой среде клиент–сервера Sun OS для Unix и OS Microsoft. Определена роль объектного брокера при передачи данных между приложениями в среде CORBA через посредника Stub и Skeleton.

100. Андон П.И., Лаврищева Е.М. Модели и средства разработки распределенных приложений. УсиМ, 1996.№3.C.57–67.
101. Андон Ф.И., Лаврищева Е.М. Тенденции развития технологии программирования 90-х. УСиМ, 1993.№3.C.22–30.
102. Бабенко Л.П., Лаврищева Е.М. Приобретение знаний в инженерии приложений. Киев. – 1992.–21 с. (Препр. Ин-т кибернетики им. В.М. Глушкова; 92–37)

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

103. Лаврищева Е.М., Грищенко В.М. Сборочное программирование. Киев: Наук. думка, 1991. 213 с.

     Монография посвящена описанию нового вида программирования. Его основные понятия, операции и объекты формировались постепенно (1982 –1991) и обрели языковый статус, который проверен практикой создания сложных программных систем по модульному принципу из разноязыковых модулей с использованием понятия интерфейса. Приведено описание нескольких ТЛ, которые были созданы в рамках системы АИС»Юпитер».

104. Коваль Г.И., Коротун Т.М., Лаврищева Е.М. Программирование в системе виртуальных машин ЕС ЭВМ. Москва: Финансы и статистика. 1990. 254 с. Предложена концепция системы виртуальных машин (СВМ) и ее прикладные аспекты–диалоговая обработка, текстовый редактор, язык процедур и монитор машин применительно к языкам программирования ПЛ! и Фортран. Дана цепочка технологических операций для работы с этими языками в СВМ.

105. Лаврищева Е.М. Модель процесса разработки программных средств. УСиМ. 1988. № 5. С. 43–46.
106. Лаврищева Е.М. Технологическая подготовка и программная инженерия. УСиМ. 1988. №1.С. 48–52.
107. Лаврищева Е.М., Грищенко В.Н. Связь разноязыковых модулей в ОС ЕС. Москва: Финансы и статистика, 1982. 127 с.

     Первая монография с изложением всех проблем взаимосвязи разноязыковых модулей в среде ОС ЕС. Описана программная реализация межъязыкового и межмодульного интерфейса через модуль –посредник. Разработаны примитивные функции преобразования нерелевантных типов данных в составе библиотеки интерфейса (64). Система АПРОП стала первой системой производства программ из разнородных модулей с автоматической генерацией модулей посредников, с библиотекой интерфейса. Была приобретена 52 организациями страны, в которых использовалась ЭВМ ОС ЕС для разных вычислений.

108. Лаврищева Е.М. Методика модульного изготовления программных агрегатов.Кибернетика.1980.№2.С.51–60.
109. E. M. Lavrishcheva. Modular Design of Large Programs, Cybernetics, March–April, 1980, Volume 16, Issue 2, pp 244-249. doi: 10.1007/BF01069113.
110. Грищенко В.Н., Лаврищева Е.М. О создании межъязыкового интерфейса для ОС ЕС. УсиМ, 1979, №1. С.46–54.
111. Лаврищева Е.М. Об автоматизированном изготовлении программных агрегатов из разноязыковых модулей, УсиМ, 1979.№5.С.54–60.
112. Лаврищева Е.М. Подход к промышленной технологии изготовления больших программ. – Новосибирск, 1978.- с.122-127.
113. Лаврищева Е.М. Вопросы объединения разноязыковых модулей в ОС ЕС. Программирование, 1978. №1. С.22–27.
114. Глушков В.М.,Лаврищева Е.М., Моренцов Е.И., Стогний А.А. и др. Система автоматизации производства программ (АПРОП). Киев: Ин-т кибернетики АН УССР, 1976. 134 с.

     Концепция системы, как конвейерной фабрики программ высказанной В.М. Глушков в 1975г., отображена в данной монографии. В ней представлены проектные решения по созданию первой системы производства программ из готовых модулей, которые были разработаны в языках программирования (ЯП) Алгол, Кобол, АКД, Фортран, ПЛ1 и др. и накапливались в Банке модулей. Была разработана структура, состав системных модулей и принципов их реализации в системе АПРОП на машинах ЕС ЭВМ.

115. E. M. Lavrishcheva and E. L. Yushchenko. A method of Analyzing Programs Based on a Machine Language. Cybernetics, March–April, 1972, Volume 8, Issue 2, pp 219-223. doi: 10.1007/BF01068491.