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

来源：

2017 FOURTH INTERNATIONAL CONFERENCE ON COMPUTER TECHNOLOGY IN RUSSIA AND IN THE FORMER SOVIET UNION (SORUCOM) | 2017年

基金：

俄罗斯基础研究基金会;

关键词：

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 条

[21] Modern Gypsum and Plasterboard Plant at Psebaj Near Krasnodar, USSR.
Maurer, K.
Ehrhardt, K.-H.
ZKG international, 1987, 40 (08): : 405 - 408
[22] History of modern cultural theory
Ribó, A
STUDIA MONASTICA, 2000, 42 (01): : 262 - 262
[23] Theory and History of modern architecture
Martinez-Medina, Andres
I2 INVESTIGACION E INNOVACION EN ARQUITECTURA Y TERRITORIO, 2020, 8 (01):
[24] History of modern cultural theory
Pausch, HA
SEMINAR-A JOURNAL OF GERMANIC STUDIES, 2003, 39 (02) : 179 - 180
[25] Not of one own volition (History and geography of forced migrations in the USSR.
Ioffe, G
POST-SOVIET GEOGRAPHY AND ECONOMICS, 2001, 42 (06): : 464 - 467
[26] MODELING THE INTERRELATION OF THE DEVELOPMENT INDICES OF THE NATIONAL ECONOMY OF THE USSR.
Goleusov, I.V.
Kondrasheva, S.A.
Soviet journal of automation and information sciences, 1986, 19 (01): : 19 - 23
[27] DEVELOPMENT OF ELECTRIC-FURNACE STEEL PRODUCTION IN THE USSR.
Kablukovskii, A.F.
Kamalov, R.G.
Metallurgist (English Translation of Metallurg), 1975, 19 (1-2): : 99 - 103
[28] ADVANCES IN AND PROSPECTS FOR THE DEVELOPMENT OF SOLAR POWER GENERATION IN THE USSR.
Azimov, S.A.
1600, (13):
[29] Forward Soviet! History and non-fiction film in the USSR.
Gestwa, K
OSTEUROPA, 2001, 51 (02): : 233 - 234
[30] THE DEVELOPMENT OF MOTION-STABILITY THEORY IN THE USSR
RUMYANTSEV, VV
DIFFERENTIAL EQUATIONS, 1983, 19 (05) : 517 - 548

← 1 2 3 4 5 →