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.
References
[1]
Erchov, A.P. (1974) Introduction to the Theory of Programming. Science.
[2]
Glushkov, V.M., Lavrishcheva, E.M., et al. (1975) APROP System. 136 p.
[3]
Lavrischeva, E.M. (1978) Problems of Combining Different Language Modules in the ES OS. No. 1, Programming.
[4]
Grishchenko, V.N. and Lavrishcheva, E.M. On Creation of Interlanguage Interface for ES OS. No. 1, USIM.
[5]
Lavrischeva, E.M. and Grishchenko, V.N. (1982) Communication of Multi-Language Modules in ES OS. Moscow, 127 p.
[6]
Lavrischeva, E.M. (1988) Methods, Tools and Instruments of Assembly Programming. 34 p.
[7]
Lavrischeva, E.M. and Grishchenko V.N. (1991) Assembly Programming. 213 p.
[8]
Lipaev V.V., Pozin, B.A. and Shtrik, A.A. (1992) Technology of Assembly Programming. 272 p.
Lavrischeva, E.M. (1987) Basics of Staging of Development of the Applied Programs ODS. Academy of Sciences, Ukrainian, 30 р.
[11]
Lavrischeva, E.M. (2016) Assemblling Paradigms of Programming in Software Engineering. Journal of Software Engineering and Applications, 9, 296-317.
https://doi.org/10.4236/jsea.2016.96021
[12]
Lavrischeva, E. (2013) Generative and Composition Programming: Aspects of Developing Software System Families—Cybernetics and Systems Analysis. Vol. 49, Springer, Berlin, 110-123.
[13]
Booch, G. (1998) Object-Oriented Analysis. Binom, 560 p.
[14]
Berger, T., She, S., Lotufo, R., Wasowski, A. and Czarnecki, K. (2013) A Study of Variability Models and Languages in the Systems Software Domain. IEEE Transactions on Software Engineering, 39, 1611-1640. https://doi.org/10.1109/TSE.2013.34
[15]
Grishchenko, V.N. (2007) Theoretical and Practical Applications of Component-Oriented Programming. 34 p.
[16]
Lavrischeva, E.M. and Grishchenko, V.N. (2009) Assembly Programming. Basics of Software Systems Production. 371 p.
[17]
Lavrischeva, E., Stenyashin, A. and Kolesnyk, A. (2014) Object-Component Development of Application and Systems, Theory and Practice. Journal of Software Engineering and Applications, 7, 756-769. http://www.scirp.org/journal/jsea
https://doi.org/10.4236/jsea.2014.79070
[18]
Lavrischeva, E.M. (2015) Ontology of Domains. Ontological Description Software Engineering Domain—The Standard Life Cycle. Journal of Software Engineering and Applications, 8, 324-338. http://www.scirp.org/journal/jsea
https://doi.org/10.4236/jsea.2015.87033
[19]
Lavrischeva, E. (2015) Ontological Approach to the Formal Specification of the Standard Life Cycle. Science and Information Conference—2015, London, UK, 28-30 July 2015, 965-972. http://saiconference.com/Conferences
Lavrischeva, E.M. and Ryzhov A.G. (2016) Application of the Theory of Common Data Types of ISO/IEC 12207 GDT to Big Data, “Actual Problems in Modern Science and Ways of Their Solution”, 27 December. http://euroasia-science.ru
[22]
Lavrischeva, E.M. (2008) Classification of Software Engineering Disciplines. Cybernetics and Systems Analysis, 44, 791-796.
https://doi.org/10.1007/s10559-008-9053-5
[23]
Lavrischeva, E.M. (2015) Component Theory and a Collection of Technologies for Development of Industrial Application of Ready Resources. Proceedings of the 4—Scientific Practical Conference “Actual Problems of System and Software Engineering”, OPSPI 2015, 20-21 May 2015, 101-119.
[24]
Lavrischeva, E.M. and Petrov, I.B. (2017) Ways of Development Computer Technologies to Perspective Nano. Future Technologies Conference (FTC) 2017, Vancouver, Canada, 29-30 November 2017, 978-991.
[25]
Lavrischeva, E.M. (2016) Theory of Object-Component Modeling Software Systems. ISP, 48 p. http://www.ispras.ru/
[26]
Gorodnia, L.V. (2017) Paradigms Programming: Analysis and сравнение. SORAN, 239 p.
[27]
Lavrischeva, E.M. and Slabospitska O.L. (2015) Technology for Changing Software Enginering and System Modeling. Proceedings of 12th Conference TAAPSD—2015, Kiev, 23-26 November 2015, 118-127.
[28]
Lavrischeva, E.M., Karpov, L.E. and Tomilin, A.N. (2017) Approaches to the Representation of Scientific Knowledge in the Internet Science. Sat. XIX All-Russian Scientific Conference “Scientific Service on the Internet”, Novorossiysk, 18-23 September 2017, 310-326.
[29]
Lavrischeva, E.M. (2016) Software Engineering. Programming Theory, MIPT, Textbook, 48 p. and Programming Technology, MIPT, 52 p.
[30]
Lavrischeva, E.M. (2016) Software Engineering. Basic Foundation of Software Engineering, MIPT, Textbook, 51 p.
[31]
Lipaev, V.V. (1983) Software Quality, Finance and Statistics, 320 p.
[32]
Andon, F.I., Koval, G.I., Korotun, T.M., et al. (2007) Foundation Engineering of Quality PS. Akademperiodica, 680 p.
[33]
Ostrovsky, A.I. (2011) An Approach to the Interoperability of Software Environments JAVA and MS. Net. The Problems of Programming. No. 2, 37-44.
