Informatics: Formation of computer software and technologies of software systems
https://doi.org/10.15514/ISPRAS-2018-30(5)-1
Abstract
Formation of Informatics and aspects of computer software development, in particular, operating systems and information systems since the period of appearance of the first computers of 1948-1990 is considered. The program of informatization of Russia in 1992 and the development of the fundamentals of modern computer science or informatics and the intellectualization of the development of various types of software systems.
About the Authors
E. M. Lavrishcheva
Ivannikov Institute for System Programming of the Russian Academy of Sciences; Moscow Institute of Physics and Technology (State University)
Russian Federation
Russian Federation
A. K. Petrenko
Ivannikov Institute for System Programming of the Russian Academy of Sciences; Lomonosov Moscow State University; National Research University Higher School of Economics (HSE)
Russian Federation
Russian Federation
References
1. Bauer F.E., Gooz G. Informatics. M: 1976, 484 p. (in Russian)
2. V. M. Glushkov "Fundamentals of paperless Informatics" // M.: Nauka, 1982, 552 p.
3. Ivannikov V.P., Korolev L.N., Lyubimsky E.Z. et al. Development of the Moscow school of computer OS. International Symposium Computers in Europe: Past, present and future, Kyiv, Ukraine, 5-9 October 1998, pp. 265-270 (in Russian)
4. Ivannikov V.P., Gontarenko S.V., Govorun N.N. Architecture of operating systems for supercomputers. Problems of Cybernetics. Problems of creating high-performance computers, 1984. pp. 117-126 (in Russian).
5. Shura-Bura M.R., Lyubimsky E.Z. Translator from ALGOL-60. Computational Mathematics and Mathematical Physics, vol. 4, № 1, 1964 (in Russian).
6. Babetskii G.I., Bezhanova M.M., Ershov A.P. et al. Programming System ALPHA.- Computational Mathematics and Mathematical Physics, №2, 1965, pp. 317-325 (in Russian).
7. Lavrischeva E.M., Borisenko, L.G., Grishkevich E.I. et al. The translator from the language of D-ALGAMS for UVK Dnepr-2. K: IK Ukrainian Academy of Sciences, 1970. - 186 p. (in Russian)
8. Terekhov A.N. Identification and structure of a compiler language ALGO-68. Programmirovanie, N2, 1975 (in Russian)
9. A.P. Ershov and M.R. Shura-Bura. The Early Development of Programming in the USSR. In History of Computing in the Twentieth Century, Academic Press; First Edition edition, October 12, 1980, pp. 125-136. (in Russian)
10. Safonov V.O. Languages and methods of computer programming Elbrus. M.: Nauka, 1989
11. E.M. Lavrishcheva, V.N. Grishchenko. Assembly programming. K.: 1991, 213 p. (in Russian)
12. V.V. Lipaev, B.A. Posin, A.A. Shtrik. Technology of Assembly programming. M.: 1992, 271 p. (in Russian)
13. E.M. Lavrishcheva, V. N. Grishchenko. Assembly programming. The basics of the industry systems", Kiev, Naukova dumka, 2009.-371 p. (in Russian)
14. Lipaev V.V. Processes and standards of life cycle of complex software tools. Reference book. M.: SYNTEG, 2006, 260 p. (in Russian)
15. Lavrishcheva E.M. Development of the theory of programs and systems in the USSR: History and modern theories. In Proc. of the Fourth International Conference on Computer Technology in Russia and in the Former Soviet Union (SORUCOM). Moscow, Zelenograd, 2017, pp. 31-43.
16. Kahro M.I., Kalia, A.P., Tyugu E.X. Instrumental programming system UCS (PRIZ). M.: Finance and statistics, 1981 (in Russian).
17. Tyugu E.X. Conceptual design. M., Nauka: 1984, 287 p. (in Russian)
18. Red’ko V.N. Program compositions and composition programming // Programmirovanie, № 5, 1978, pp. 17-26. (in Russian)
19. Nikitchenko N.S., Shkilnyak S. S. Mathematical logic and theory of algorithms. K.: Kiev University: 2008, 528 p. (in Ukrainian)
20. Lavrischeva E.M., Nikitchenko N. S. Omelchuk L.P. Programming technology of information systems: methods, tools, tools. K., Kiev University: 2017, 457p.
21. Systems of computer algebra of the ANALYTIC family, group of authors. K.: NASU, IPMI, 2010, 762 p. (in Russian)
22. Turchin V. F. the Algorithmic language of recursive functions (REFAL). Moscow: Preprint of IAM AN SSSR, 1968 (in Russian)
23. Smirnov V. K., the Hardware realization of the language Refal in IPM im.M. V. Keldysh. Preprint KIAM RAS, №99, 2003, pp. 1-21 (in Russian).
24. Fuksman, A. L. Technological aspects of building software systems. M.: Statistika, 1979, 183 p. (in Russian).
25. Aspect-oriented programming. AspectJ (http://aspect.org).
26. Kapitonova Y.V., Letichevsky A.A. Methods and Means of Algebraic Programming. Kibernetika/Cybernetics, 1993, issue 3, pp. 7-12 (in Russian).
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. Trakhtengerts E. A. The Interaction of agents in multi-agent environments. Automation and telemechanics, № 8, 1998, pp. 3-52 (in Russian).
29. Trachtengerts E. A. Computer methods of realization of economic and information management decisions. Volume 1. Methods and means. Volume 2 the Implementation of solutions. Moscow, 2009 (in Russian).
30. A.A.Evstigneev. Application of graph theory in programming. Moscow, Nauka, edited by A.P. Ershov, 1985, 351 p. (in Russian).
31. Christofides N. Graph theory. Algorithmic approach. M.: Mir. 1978 (in Russian)
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. Lavrishcheva E.M. Software engineering and programming technology of complex systems. Moscow, Yurayt, 2018, 432 p. (in Russian).
36. Lavrishcheva E.M. The theory of object-component modeling of modified software systems. Preprint of ISP RAS, 2016. ISBN 998-5-91474-025-9 (in Russian),
37. E.M. Lavrischeva, A.K. Petrenko. Software Product Lines Modeling. Trudy ISP RAN/Proc. ISP RAS, vol, 28, issue 6, 2016, pp. 49-65 (in Russian). DOI: 10.15514/ISPRAS-2016-28(6)-4
38. Catalogue of Technologies. ISP RAS. Moscow, 2017, 34 p. http://www.ispras.ru/downloads/ISPRAS-Catalogue-En.pdf
39. E.P. Velikhov. Computer science is an important direction of Soviet science. In Cybernetics. The formation of Informatics, 1986 (in Russian).
40. A.A. Dorodnitsin. Informatics. Subject and tasks In Cybernetics. The formation of Informatics, 1986 (in Russian).
41. V.S. Mikhalevich et al. Informatics - new field of science and practice. In Cybernetics. The formation of Informatics, 1986 (in Russian).
42. Shileiko A., Shileiko T. Conversations about informatics. Moscow, Molodaya Gvardia, 1989, 287 p. (in Russian)
43. V.M. Glushkov. Cybernetics, computers, informatics. K.: Naukova Dumka, 1990 (in Russian).
44. V.M. Glushkov. The Basics of Paperless Informatics. M.: Nauka, 1982, 552 p. (in Russian).
45. Curricula Recommendations. Available at: 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. Lavrishcheva E.M. Software engineering. Training manual in 3 parts. Moscow: MIPT, 2016 (in Russian).
48. Czarnecki K., Eisenecker U. Generative programming. Methods, tools, application. SPb.: Peter, 2005, 730 p. (in Russian).
49. H. Ueno, V. Isudzuka. Representation and use of knowledge. M.: Mir, 1987, 220 p. (in Russian).
50. G.S. Pospelov. Artificial intelligence - new information technology. In Cybernetics. The formation of Informatics, 1986 (in Russian).
51. Standard ISO / IEC 2382-1:1993, Information technology - Vocabulary - Part 1: Fundamental terms.
52. T.A. Gavrilova et al. Knowledge bases of intelligent systems. Textbook for technical universities. SPb.: Peter, 2000 (in Russian)
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. Lipaev V. V. Software engineering of complex custom software products. Tutorial. M.: MAKS-press, 2014 (in Russian)
55. E.M. Lavrishcheva, L.E. Karpov, A. N. Tomilin. Approaches to the representation of scientific knowledge in the Internet science. In Proc. of the XIX all-Russian scientific conference "Scientific service on the Internet", 2017, pp. 310-326 (in Russian).
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. Lavrishcheva E.M. Fundamentals of software engineering. In Proc. of the 5th International conference on Actual problems of system and software engineering. CEUR Workshop Proceedings, vol. 1989, 2017, pp. 163-177 (in Russian).
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. Gorodnyaya L.V. Programming Paradigms: Analysis and comparison. Novosibirsk, SB RAS, 2017, 223 p. (in Russian).
61. Lavrischeva E.M. Software Engineering. Programming technology. Moscow, MIPT, 2016, 52 p. (in Russian).
62. Scientific and technical bases of informatization of Russia. Ministry of Science and Technical Policy of the Russian Federation. Moscow, 1992, 151 p. (in Russian).
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. Lavrischeva E. M. Assembly line of program factories - the idea of academician V. M. Glushkov. In V. M. Glushkov: The past is looking to the future. K.: Academperiodica, 2013, p. 130-143 (in Ukrainian)
65. E.M. Lavrischeva, L.E. Karpov, A.N. Tomilin. Semantic resources for the development of ontology of scientific and engineering subject areas, In Proc. of the XVIII all-Russian scientific conference "Scientific service on the Internet", 2016, pp. 223-239 (in Russian).
66. Lavrishcheva E.M. Theoretical foundations of modeling software systems from objects and components. In Proc. of the International scientific-practical conference on Theory of active systems (TAS-2016), 2016, pp. 314-325 (in Russian).
67. Kuliamin. V.V., Lavrishcheva E.M., Mutilin V.S., Petrenko A.K. Verification and analysis of variable operating systems. Trudy ISP RAN/Proc. of ISP RAS, vol. 28, issue 6, pp. 48-59 (in Russian). 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. Lavrischeva E. M., V. S. Mutilin, A. G. Ryzhov. Aspects of modeling of variable software and operating systems. In Proc. of the XIX all-Russian scientific conference "Scientific service on the Internet", 2017, pp 327-341 (in Russian).
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. Lavrischeva E.M., Pakulin N.V., Ryzhov A.G., Zelenov S.V. Analysis methods for assessing the reliability of equipment and systems. Application practice methods'. Trudy ISP RAN/Proc. ISP RAS, vol.30, issue 3, 2018, pp.99-120 (in Russian). DOI: 10.15514/ISPRAS-2018-30(3)-8
Review
For citations:
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.) https://doi.org/10.15514/ISPRAS-2018-30(5)-1
Email this article 