期刊文献+

Scientific Basis of System Programming

Scientific Basis of System Programming
下载PDF
导出
摘要 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. 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.
机构地区 ISP RAS
出处 《Journal of Software Engineering and Applications》 2018年第8期408-434,共27页 软件工程与应用(英文)
关键词 Science Concepts FORMALISM of MODULES Interface Assembly Method Ob-ject Component Life Cycle Logic-Mathematical Theory Model OM FM Configuration Verification Testing Reliability Quality Products Science Concepts Formalism of Modules Interface Assembly Method Ob-ject Component Life Cycle Logic-Mathematical Theory Model OM FM Configuration Verification Testing Reliability Quality Products
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部