Development of the Theory Programs and Systems in the USSR. History and Modern Theory

被引:0
|
作者
Lavrishcheva, Ekaterina [1 ]
机构
[1] Russian Acad Sci, Ivannikov Inst Syst Programming, Moscow, Russia
基金
俄罗斯基础研究基金会;
关键词
history of science; Programming technology; software engineering; modeling; verification; testing; configuration;
D O I
10.1109/SoRuCom.2017.00011
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
The theory of the programs and systems of Soviet scientists (A.A. Lyapunov, A.P. Ershov, Yu.I. Janov, V.M. Glushkov, E.L. Yushchenko, V.V. Lipaev, etc.) is given. The essence of the theory of programs, programming techniques, synthesis, Assembly, and composition of program systems (1963-1990) is defined. Basic concepts of the theory of engineering software (1980-2016) and SEMAT (2009) are presents. A new promising theory and methods for modeling changing systems from finished software resources (objects, components, services, etc.) and their configuration in the building output code products and systems are defined.
引用
收藏
页码:31 / 43
页数:13
相关论文
共 50 条