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 条

[41] DEVELOPMENT OF MODERN POLYMER THEORY
STAHL, GA
CHEMTECH, 1984, 14 (08) : 492 - 495
[42] DEVELOPMENT OF THE MODERN POLYMER THEORY
STAHL, GA
ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1983, 185 (MAR): : 6 - HIST
[43] A MODERN-HISTORY THEORY OF FUNCTIONS
GODFREYSMITH, P
NOUS, 1994, 28 (03): : 344 - 362
[44] Essay on the Theory of History in Modern Germany
Becker, Howard
AMERICAN SOCIOLOGICAL REVIEW, 1939, 4 (06) : 911 - 913
[45] The history of modern fiction and the theory of narration
Netto de Andrade e Silva, Luiz Felipe
ARGUMENTOS-REVISTA DE FILOSOFIA, 2023, (30): : 207 - 212
[46] RESEARCH ON THE DEVELOPMENT AND APPLICATION OF TECHNOLOGICAL LASERS AT THE PHYSICS INSTITUTE, AS USSR.
Katulin, V.A.
Bulletin of the Academy of Sciences of the U.S.S.R. Physical series, 1982, 47 (08): : 47 - 51
[47] DEVELOPMENT OF THEORY AND TECHNOLOGY OF PARAMETRIC AMPLIFYING SYSTEMS WITH LUMPED REACTIVE NONLINEAR ELEMENTS IN USSR
ETKIN, VS
RADIO ENGINEERING AND ELECTRONIC PHYSICS-USSR, 1969, 14 (03): : 419 - &
[48] TRENDS IN THE DEVELOPMENT OF THE VARIOUS MODES OF TRANSPORT AND THEIR EFFECTIVE UTILIZATION IN THE USSR.
Arsyonov, V.I.
Rail International, 1985, 16 (06): : 51 - 56
[49] Reflective parenting programs: Theory and development
Slade, Arietta
PSYCHOANALYTIC INQUIRY, 2006, 26 (04) : 640 - 657
[50] Relation of the Modern Theory of Disperse Systems with the Classical Filtration Theory
Ya. D. Yankov
Moscow University Mechanics Bulletin, 2022, 77 : 19 - 26

← 1 2 3 4 5 →