Buchumschlag

Basics of programming in the context of software engineering

The article discusses the use of a constructive approach to building a program that is systematically cultivated in software engineering and made possible by a number of fundamental results obtained in programming theory. On the first, based on the structural theorem, reasonably was refused to use t...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	PROBLEMS IN PROGRAMMING
Datum:	2019
Heft:	3
Сторінки:	45-57
ISSN:	1727-4907
Автори та афіліації:	М.О. Sydorov — NTUU "KPI"
1. Verfasser:	Sydorov, М.О.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2019
Schlagworte:	learning basics of programming programming languages software engineering UDC 502:004.45 (075.8)
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/366
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Software engineering ontologies categorization
von: Sydorov, N.A., et al.
Veröffentlicht: (2018)

Application of machine learning in software engineering: an overview
von: Moroz, O.H., et al.
Veröffentlicht: (2019)

Ecosystem research in software engineering
von: Sydorov, N.A.
Veröffentlicht: (2025)

Towards ecosystem research in the software engineering
von: Sydorov, M.O.
Veröffentlicht: (2024)

RESEARCH ON TRANSIENTS AND CHOICE OF OPTIMUM PARAMETERS OF SWITCHING ELEMENTS FOR AN ELECTROMAGNETIC VALVE CONTROL FOR COMBUSTION ENGINE EXHAUST SAMPLING
von: Lavrinenko, O. V.
Veröffentlicht: (2014)

Representation of monadic effects in the non-monadic form
von: Shevchenko, R.S.
Veröffentlicht: (2024)

Some aspects of software engineering for AI-based systems
von: Liubchenko, V.V.
Veröffentlicht: (2023)

Mathematical modeling of the automobile bodies with the help of R-functions
von: Лисин, Д. А., et al.
Veröffentlicht: (2013)

Mathematical modeling of the automobile bodies with the help of R-functions
von: Лисин, Д. А., et al.
Veröffentlicht: (2013)

Basics of programming in the context of software engineering
von: N. A. Sidorov
Veröffentlicht: (2019)

RECOOP Visegrad Scholarship Program
Veröffentlicht: (2012)

RECOOP Visegrad Scholarship Program
Veröffentlicht: (2011)

Context term calculus for rewriting systems
von: Shevchenko, R.S.
Veröffentlicht: (2018)

Implementation of hot reloading in compiled programming languages
von: Shcherbak, D.V., et al.
Veröffentlicht: (2026)

AI landscape of software engineering
von: Nesterenko, O.V., et al.
Veröffentlicht: (2026)

Jupyter Notebook: a system for interactive scientific computing
von: Yakimchik, A. I.
Veröffentlicht: (2019)

TermWare3 – term rewriting system, based on context-term calculus
von: Shevchenko, R.S., et al.
Veröffentlicht: (2019)

Embedding a family of logic languages with custom monadic unification in Scala
von: Shevchenko, R.S., et al.
Veröffentlicht: (2024)

Assembly programming component and service-oriented applied software systems
von: Andon, P.I., et al.
Veröffentlicht: (2018)

Formal and adaptive methods and software tools of parallel programming
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

DS-theory. Scientific aspects and prospects for development
von: Kolesnyk, V.G.
Veröffentlicht: (2018)

The concept of intellectualized creation of service-oriented technologies of software development in the semantic web environment
von: Morentsov, Y.I.
Veröffentlicht: (2018)

Architecture of software system for hierarchical fuzzy inference
von: Yershov, S.V., et al.
Veröffentlicht: (2018)

An optimization electronic simulation of multi-target system tasks
von: Dodonov, O. G., et al.
Veröffentlicht: (2016)

Software architectural design for the interactive learning of sign language
von: Kryvonos, Yu.G., et al.
Veröffentlicht: (2025)

Module-based scientific physics engine architecture
von: Bernatovych, A.A., et al.
Veröffentlicht: (2023)

Visegrad Fellowship
Veröffentlicht: (2010)

Processing of CCD images of star fields without the frame of a flat field by using new software in program shell of MIDAS/ROMAFOT
von: Andruk, V.M., et al.
Veröffentlicht: (2005)

Specialized search engine system of scientific materials in Ukrainian language with social aspects
von: Glybovets, A.M.
Veröffentlicht: (2025)

Correctness Property Proof for the Banking System for Money Transfer Payments
von: Ostapovska, Yu.A., et al.
Veröffentlicht: (2018)

Equivalence of two parallel execution systems
von: Panchenko, T.V., et al.
Veröffentlicht: (2018)

The definition of formal languages in the meta language of normal forms of knowledge
von: Kurgaev, A.F., et al.
Veröffentlicht: (2018)

Use of the program «SPROS» for predicting the demand for energy resources
von: Spitkovskyi A.I., et al.
Veröffentlicht: (2017)

Digital Program Control and Complex Component Processing in Performance-Driven Production Engineering
von: Petrova, Desislava, et al.
Veröffentlicht: (2025)

An automated scenario generation system for analytical activities.
von: Dodonov, O. G., et al.
Veröffentlicht: (2019)

Interferometric method for image formation: the basic ideas and computer simulation
von: Kornienko, Yu., et al.
Veröffentlicht: (2005)

DETERMINATION OF THE ELECTRIC DRIVE POWER FOR LIGHTLY ARMORED CATERPILLAR AND WHEELED VEHICLES USING SINGLE- OR TWO-STAGE MECHANICAL GEARBOXES
von: Volontsevich, D. O., et al.
Veröffentlicht: (2019)

Peterson’s algorithm Total correctness proof in IPCL
von: Zhygallo, A.A.
Veröffentlicht: (2018)

Software engineering and big data software
von: Sydorov, M.O., et al.
Veröffentlicht: (2022)

The conceptual foundations of the energy efficiency enhancement and primary measures for energy saving in Ukrainian
von: Kulyk М.M., et al.
Veröffentlicht: (2007)