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. 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 [2] [3] [4]. 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 [5]. 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 [6] [7] [8]. 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. [9] [10] [11] [12]. 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 [13] [14]. 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 [15]. This theory is presented in the book [16] 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 s...