Cover Image

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...

Full description

Saved in:

Bibliographic Details
Date:	2019
Main Author:	Sydorov, М.О.
Format:	Article
Language:	Russian
Published:	PROBLEMS IN PROGRAMMING 2019
Subjects:	learning basics of programming programming languages software engineering UDC 502:004.45 (075.8)
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/366
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

50 years of software engineering
by: Sydorov, N.A.
Published: (2019)

Software engineering ontologies categorization
by: Sydorov, N.A., et al.
Published: (2018)

Master’s thesis in software engineering – object, subject, contents of research
by: Sydorov, M.O.
Published: (2022)

Application of machine learning in software engineering: an overview
by: Moroz, O.H., et al.
Published: (2019)

Toward software artifacts ecosystem
by: Sydorov, N.A.
Published: (2021)

Approach qualitative analisys of dynamic systems wood based solutions
by: Andrushchak, I.Ye.
Published: (2017)

Description model of programming style ecosystem
by: Sydorov, N.A., et al.
Published: (2020)

Towards ecosystem research in the software engineering
by: Sydorov, M.O.
Published: (2024)

Ecosystem research in software engineering
by: Sydorov, N.A.
Published: (2025)

Semantics and pragmatics of programming language ASAMPL
by: Sulema, Y.S., et al.
Published: (2020)

Models of concurrent program running in resource constrained environment
by: Rahozin, D.V.
Published: (2020)

Representation of monadic effects in the non-monadic form
by: Shevchenko, R.S.
Published: (2024)

Software engineering and big data software
by: Sydorov, N.O., et al.
Published: (2023)

Toward software engineering ecosystems definition
by: Sydorov, M.O.
Published: (2023)

The translator of Petri-object model visual programming language
by: Dyfuchyn, А.Yu.
Published: (2022)

Some aspects of software engineering for AI-based systems
by: Liubchenko, V.V.
Published: (2023)

Tete-a-tete project: software engineering tools supporting understanding
by: Hrytsay, V.P., et al.
Published: (2015)

Component of programming. Theory and implementation
by: Lavrischeva, K.M.
Published: (2015)

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

Formation of the readiness of future bachelors of software engineering for professional communication
by: Sidorova, N.M.
Published: (2015)

Formalization for sign units creation based on 3d human model for Ukrainian sign language
by: Krivonos, Yu.G., et al.
Published: (2015)

Embedding a family of logic languages with custom monadic unification in Scala
by: Shevchenko, R.S., et al.
Published: (2024)

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

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

Context term calculus for rewriting systems
by: Shevchenko, R.S.
Published: (2018)

Software architectural design for the interactive learning of sign language
by: Kryvonos, Yu.G., et al.
Published: (2025)

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

DS-theory. Scientific aspects and prospects for development
by: Kolesnyk, V.G.
Published: (2018)

Formal and adaptive methods and software tools of parallel programming
by: Doroshenko, А.Yu., et al.
Published: (2018)

RECOOP Visegrad Scholarship Program
Published: (2011)

RECOOP Visegrad Scholarship Program
Published: (2012)

Automated generation of parallel programs for graphics processing units based on algorithm schemes
by: Doroshenko, А.Yu., et al.
Published: (2017)

Jupyter Notebook: a system for interactive scientific computing
by: Yakimchik, A. I.
Published: (2019)

TermWare3 – term rewriting system, based on context-term calculus
by: Shevchenko, R.S., et al.
Published: (2019)

Specialized search engine system of scientific materials in Ukrainian language with social aspects
by: Glybovets, A.M.
Published: (2025)

Architecture of software system for hierarchical fuzzy inference
by: Yershov, S.V., et al.
Published: (2018)

Assembly programming component and service-oriented applied software systems
by: Andon, P.I., et al.
Published: (2018)

Use of methods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V.S., et al.
Published: (2018)

The grammar of Petri-object model visual programming language
by: Dyfuchyn, А.J., et al.
Published: (2022)

Domain engineering approach of software requirements analysis
by: Chebanyuk, O.V., et al.
Published: (2020)