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 条
  • [1] History of the Establishment and Development of X-Ray Analysis Methods in Russia - The USSR. First 20 Years.
    Fedorchuk, Nikolai
    Fedorchuk, Ivan
    Prikhodski, Victor
    Chuev, Anton
    ACTA CRYSTALLOGRAPHICA A-FOUNDATION AND ADVANCES, 2012, 68 : S129 - S130
  • [2] Towards a Theory of Models in Systems Development Modeling
    Hillenbrand, Andrea
    PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD), 2021, : 322 - 329
  • [3] THE HISTORY OF SCIENCE AS A "REMEDY" IN THE TEACHING OF CHEMISTRY: EPISODE - STUDY ON THE INVENTION OF MODERN ATOMIC-MOLECULAR THEORY
    Lobato, Cesar de B.
    QUIMICA NOVA, 2020, 43 (09): : 1350 - 1361
  • [4] Simulation games: Theory and systems
    Albano, G
    D'Apice, C
    Durante, T
    Salerno, S
    SIMULATION IN INDUSTRY 2001, 2001, : 169 - 173
  • [5] GENESIS AND VALIDITY: THE THEORY AND PRACTICE OF INTELLECTUAL HISTORY
    Marchand, Suzanne
    HISTORY AND THEORY, 2023, 62 (03) : 477 - 487
  • [6] 100 Years of Curriculum History, Theory, and Research
    Schoenfeld, Alan H.
    EDUCATIONAL RESEARCHER, 2016, 45 (02) : 105 - 111
  • [7] Re-searching commonality differently:: Subjectively replicating a theory of multimedia systems development
    Webb, Brian
    ORGANIZATIONAL DYNAMICS OF TECHNOLOGY-BASED INNOVATION: DIVERSIFYING THE RESEARCH AGENDA, 2007, 235 : 101 - 114
  • [8] AUTHENTICATION IN DISTRIBUTED SYSTEMS - THEORY AND PRACTICE
    LAMPSON, B
    ABADI, M
    BURROWS, M
    WOBBER, E
    ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1992, 10 (04): : 265 - 310
  • [9] Toward a Theory of Debiasing Software Development
    Ralph, Paul
    RESEARCH IN SYSTEMS ANALYSIS AND DESIGN: MODELS AND METHODS, 2011, 93 : 92 - 105
  • [10] Towards a Theory of Software Development Expertise
    Baltes, Sebastian
    Diehl, Stephan
    ESEC/FSE'18: PROCEEDINGS OF THE 2018 26TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2018, : 187 - 200
12345