Scientific Basis of System Programming
Journal of Software Engineering and Applications
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
... a-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. Journal of Software Engineering and Applications Cobol, Prolog, Smalltalk, Module, etc.) for describing different types of modules that implement the functional tasks of the computer of type IBM-360. In 1975, the idea of an Assembly of diverse modules, like assembling a car from finished parts in the factories of Ford. Some of the theories programming are discussed below. The author has formulated the method of Assembly of modules based on interfaces (intermodule and interlanguage) and was published in articles   . In the method of the Assembly is implemented the theory and practice of transforming non-equivalent types of data transmitted via the interface using the libraries of the 64 functions presented in the book . System APROP was used to create software systems in air defense systems and VMF. The Assembly programming of systems from ready-made reuse and modules is created. It is protected in the doctoral dissertation   . The method of Assembly is also presented in the framework of generating programming K. Chernetsky and formulated models of transformation and configuration of applications by means of the language DSL (Domain Specific Language) and ADI (Architecture Description Language), etc.    . The emergence of the OOP by G. Buch and UML has served as the impetus for the creation of the theory of object graph object and component modeling of complex systems based on logic and algebra-the mathematical theory of the description of the individual elements of complex systems and ensuring their variability according to the model of the basic characteristics of MF (Feature Model) as the mathematic apparat of the description of programs and systems  . The development of the object paradigm is the theory of component programming and reusability Implementation and refinement of it spent Grishchenko V. N. in the system of "Informatization, NASU" and presented in his doctoral dissertation . This theory is presented in the book  describes the component method and examples of building different component systems to ensure the reliability and quality of manufacturing such systems. Due to the wide development of e-science and the spread of the Semantic Web and Web service tools, the ontological description of the domain of the life cycle of ISO/IEC 12207 standard is given and a formalized description of service and aspect programming from ready resources accumulated in repositories is given. Taking into account the theory of variability of systems from services and aspects, testing, configuring them into the system and evaluating the quality of the output files of the system    are proposed. The author investigated the mechanisms of development of Internet Smart and Nanotechnology and formulated the General provisions of the development of smart computers and the concept of the transition of computer technology to nanotechnology  .