Preview

Труды Института системного программирования РАН

Расширенный поиск

Информатика: становление программного обеспечения и технологий программных систем

Полный текст:

Аннотация

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

Об авторах

Е. М. Лаврищева
Институт системного программирования им. В.П. Иванникова РАН; Московский физико-технический институт
Россия


А. К. Петренко
Институт системного программирования им. В.П. Иванникова РАН; Московский Государственный университет имени М. В. Ломоносова; НИУ “Высшая школа экономики”
Россия


Список литературы

1. Ф. Бауэр, Г. Гооз. Информатика. М.: Мир, 1976, 484 с.

2. Глушков В.М. Основы безбумажной информатики. М.: Наука, 1982, 552с.

3. Иванников В.П., Королев Л..Н., Любимский Э.З. и др. Разработка Московской школы ОС ЭВМ. Международный симпозиум «Компьютеры в Европе. Прошлое, настоящее и будущее (Computers in Europe. Past, Present and Future) 5-9 октября 1998. Киев, Украина, 265-270 стр.

4. Иванников В.П., Гонтаренко С,В., Говорун Н.Н. Архитектура ОС суперЭВМ.- Вопросы кибернетики. Проблемы создания высокопроизводительных ЭВМ.- Совет по проблеме «Кибернетики», 1984. -М., стр.117-126.

5. Шура-Бура М.Р., Любимский Э.З. Транслятор с языка Алгол-60. Журнал вычислительной математики и математической физики, том 4, № 1, 1964.

6. Бабецкий Г.И., М.М.Бежанова, Ершов А.П. и др. Система программирования АЛЬФА. Журнал вычислительной математики и математической физики, №2, 1965, стр. 317-325.

7. Лаврищева Е.М., Борисенко Л.Г., Гришкевич Е.И. и др. Транслятор с языка Д-АЛГАМС для УВК Днепр-2. К.: ИК АН УССР, 1970, 186 стр.

8. Терехов А.Н. Проблемы идентификации и структура компилятора с языка АЛГОЛ 68. Программирование, No 2, 1975, стр. 61-67.

9. А.П.Ершов, М.Р.Шура-Бура. Становление программирования в СССР (переход ко второму поколению языков и машин). Новосибирск: Изд. ВЦ СО АН СССР, Препринт №13, 1976.

10. В.О. Сафонов. Языки и методы программрования для ЭВМ «Эльбрус», М.: Наука, 1989, 389 стр.

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

12. В.В. Липаев, Б.А. Позин, А.А. Штрик. Технология сборочного программирования. Москва:1992, 271 стр.

13. Е.М. Лаврищева, В.Н. Грищенко. Сборочное программирование. Основы индустрии систем, Киев.: 2009, 371 стр.

14. Липаев В.В. Процессы и стандарты жизненного цикла сложных программных средств. Справочник. Москва, Синтег. 2011, 260 стр.

15. Лаврищева Е.М. Развитие теории программирования в СССР. История и современные теории. Sorucom-17. Развитие ВТ в России и странах бывшего СССР, 2017, стр. 162-177.

16. Кахро М. И., Калья А. П., Тыугу Э. X. Инструментальная система программирования ЕС ЭВМ (ПРИЗ). М.: Финансы и статистика, 1981.

17. Тыугу Э. X. Концептуальное проектирование. М.: Наука: 1984, 287 стр.

18. Редько В.Н. Композиции программ и композиционное программирование. Программирование, № 5, 1978, стр. 17–26.

19. Никитченко Н.С., Шкильняк С.С. Математическая логика и теория алгоритмов. K., ИПЦ Киевский университет, 2008, 528 стр.

20. Лаврищева Е.М., Никитченко Н.С., Омельчук Л.П. Технология программирования информационных систем. К.: ВШН КНУ, 2010, 351 стр.

21. Системы компьютерной алгебры семейства АНАЛИТИК, Коллектив авторов. К.: НАНУ ИПММИ, 2010, 762 стр.

22. Турчин В. Ф. Алгоритмический язык рекурсивных функций (РЕФАЛ). М.: ИПМ АН СССР, 1968.

23. Смирнов В.К. Аппаратная реализация языка Рефал в ИПМ им.М.В.Келдыша. Препринт ИПМ им. М.В.Келдыша, № 99, 2003, 21 стр.

24. Фуксман А.Л. Технологические аспекты создания программных систем. М.: Статистика, 1979, 183 стр.

25. Аспектно-ориентированное программирование. AspectJ (http://aspect.org).

26. Капитонова Ю.В., Летичевский А.А. Методы и средства алгебраического программирования. Кибернетика, № 3, 1993, стр. 7–12.

27. Letichevsky A., Gilbert D. A general theory of action languages. Cybernetics and Systems Analysis, vol. 34, no. 1, 1998, pp. 12-30 . DOI: 10.1007/BF02911258.

28. Транхтенгерц Э.А. Взаимодействие агентов в многоагентных средах. Автоматика и телемеханика, № 8, 1998, стр.3-52.

29. Трахтенгерц Э.А. Компьютерные методы реализации экономических и информационных управленческих решений. Том 1. Методы и средства. Том 2 Реализация решений. М.:2009.

30. Евстигнеев А.А. Применение теории графов в программирование. Москва.-Наука, 1985, 351стр.

31. Кристофидес Н. Теория графов. Алгоритмический подход. М.: Мир. 1978.

32. Pohl K., Böckle G., van der Linden F. J. Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag, 2005. DOI: 10.1007/3-540-28901-1.

33. Lavrischeva E.M. Theory and Practice of Software Factories. Cybernetic and Systems Analyses, vol.47, No.6, 2011, pр.961-972.

34. J.Hebeler, M.Fisher, R.Blace, A.Perez-Lopez. Semantic Web Programming. Wiley Publiching.Inc., 2008, 565 p.

35. Лаврищева Е.М. Программная инженерия и технология программирования сложных систем. Москва, Юрайт, 2018. 432 стр.

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

37. Лаврищева Е.М., Петренко А.К. Моделирование семейств программных систем. Труды ИСП РАН, том 28, вып. 6, 2016, стр. 49-64. DOI: 10.15514/ISPRAS-2016-28(6)-4

38. Каталог технологий ИСП РАН. Москва, 2017, 34стр.

39. Е.П. Велихов. Информатика – актуальное направление советской наукию. В сб. "Кибернетика. Становление информатики", М.:Наука, 1986.

40. Дородницын А.А. Информатика: предмет и задачи. В сб. "Кибернетика. Становление информатики", М.:Наука, 1986.

41. В.С. Михалевич и др. Информатика – новая область науки и практики В сб. "Кибернетика. Становление информатики", М.:Наука, 1986.

42. Шилейко А., Шилейко Т. Беседы об информатике.-Москва. Молодая Гвардия, 1989, 287 стр.

43. В.М. Глушков. Кибернетика. Вычислительная техника. Информатика. Киев, Наукова думка, 1990..

44. В.М. Глушков «Основы безбумажной информатики». М.: Наука, 1982, 552 стр.

45. Curricula Recommendations. https://www.acm.org/education/curricula-recommendations.

46. E.M. Lavrischeva. Classification of software engineering disciplines. Cybernetics and Systems Analysis, vol. 44, issue 6, 2008, pp. 791–796.

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

48. Чернецки К., Айзенекер У. Порождающее программирование. Методы, инструменты, применение. Издательский дом «Питер», 2005, 730 стр.

49. Х. Уэно, Т. Кояма, Т. Окамото, Б. Мацуби, М. Исидзука. Представление и использование знаний. Москва, Мир,1987, 220 стр.

50. Г.И. Поспелов. Искусственный интеллект – новая информационная технология В сб. "Кибернетика. Становление информатики", М.:Наука, 1986.

51. ISO/IEC 2382-1:1993, Information technology — Vocabulary — Part 1: Fundamental terms.

52. Т.А.Гаврилова и др. Базы знаний интеллектуальных систем. Учебник для вузов. СПб.: Питер, 2000.

53. Lavrischeva E.M. Ontology of Domains. Ontological Description Software Engineering Domain – The Standard Life Cycle. Journal of Software Engineering and Applications, vol. 8 No. 7, 2015.

54. Липаев В.В. Программная инженерия сложных заказных программных продуктов. Учебное пособие. М.: МАКС-ПРЕСС, 2014.

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

56. Lavrischeva Ekaterina. (2015). Ontological approach to the formal specification of the standard life cycle. In Proc. of the 2015 Science and Information Conference (SAI), 2015, pp. 965-972.

57. Лаврищева Е.М. Фундаментальные основы программной инженерии. Труды 5-международной конференции «Актуальные проблемы системной и программной инженерии, 2017, стр.163-177.

58. Lavrischeva K.M. Theory and Practice of Software Factories. Cybernetic and Systems Analyses, vol. 47, no. 6, 2011, pp. 961-972.

59. Lavrischeva K., Aronov A., Dzyubenko A. Programs Factory – A conсeption of Knowledge Representation of Scientific Artifacts From Standpoint of Software Engineering. Computer and Information Science, Vol. 6, No. 3, 2013, pp. 21–28.

60. Городняя Л.В. Парадигмы программирования: Анализ и сравнение. Новосибирск: Изд-во СО РАН, 2017 г., 232 с

61. Лаврищева Е.М. Программная инженерия. Технология программирования. Москва, МФТИ, 2016.

62. Научно-технические основы информатизации России. Мин. Науки, высшей школы и технической политики РФ. Москва, 1992, 151 стр.

63. E.M. Lavrischeva, I.B. Petrov. Ways of Development of Computer Technologies to Perspective Nano. In Proc. of the Future Technologies Conference (FTC-2017), 2017, pр. 539-547.

64. Лаврищева Е.М. Сборочный конвейер фабрик программ – идея академика В.М.Глушкова. В книге «В.М.Глушков: Прошлое устремленное в будущее». К.: Академпериодика, 2013, стр. 130—13.

65. Лаврищева Е.М., Карпов Л.Е., Томилин А.Н. Семантические ресурсы для разработки онтологии научной и инженерной предметных областей. Труды. XVIII Всероссийский научной конференции «Научный сервис в сети Интернет», 2016, стр. 223-239.

66. Лаврищева Е.М. Теоретические основы моделирования программных систем из объектов и компонентов. Труды Международной научно-практической конференции «Теория активных систем», 2016, стр. 314-325.

67. Кулямин В.В., Лаврищева Е.М., Мутилин В.С., Петренко А.К. Верификация и анализ вариабельных операционных систем. Труды ИСП РАН, 2016, том 28, вып. 6, стр. 48-59. DOI: 10.15514/ISPRAS-2016-28(3)-12

68. Lavrischeva E. Assembling Paradigms of Programming in Software Engeneering. Journal of Software Engineering and Applications, vol. 9, no. 6, 2016, pp. 296-317.

69. Lavrischeva Ekaterina. Ontological Approach to the Formal Specification of the Standard Life Cycle. In Proc. of the Science and Information Conference, 2015, pp. 965-972.

70. Е.М. Лаврищева, В.С. Мутилин, А.Г. Рыжов. Аспекты моделирования вариабельных программных и операционных систем. Труды. XIX Всероссийский научной конференции «Научный сервис в сети Интернет», 2017, стр. 327-341.

71. 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(5).

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

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

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


Для цитирования:


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

For citation:


Lavrishcheva E.M., Petrenko A.K. Informatics: Formation of computer software and technologies of software systems. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2018;30(5):7-30. (In Russ.)

Просмотров: 157


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)