Зображення обкладинки

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2019
Автор:	Sydorov, М.О.
Формат:	Стаття
Мова:	Російська
Опубліковано:	PROBLEMS IN PROGRAMMING 2019
Теми:	learning basics of programming programming languages software engineering UDC 502:004.45 (075.8)
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/366
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

50 years of software engineering
за авторством: Sydorov, N.A.
Опубліковано: (2019)

Software engineering ontologies categorization
за авторством: Sydorov, N.A., та інші
Опубліковано: (2018)

Master’s thesis in software engineering – object, subject, contents of research
за авторством: Sydorov, M.O.
Опубліковано: (2022)

Application of machine learning in software engineering: an overview
за авторством: Moroz, O.H., та інші
Опубліковано: (2019)

Toward software artifacts ecosystem
за авторством: Sydorov, N.A.
Опубліковано: (2021)

Description model of programming style ecosystem
за авторством: Sydorov, N.A., та інші
Опубліковано: (2020)

Approach qualitative analisys of dynamic systems wood based solutions
за авторством: Andrushchak, I.Ye.
Опубліковано: (2017)

Ecosystem research in software engineering
за авторством: Sydorov, N.A.
Опубліковано: (2025)

RESEARCH ON TRANSIENTS AND CHOICE OF OPTIMUM PARAMETERS OF SWITCHING ELEMENTS FOR AN ELECTROMAGNETIC VALVE CONTROL FOR COMBUSTION ENGINE EXHAUST SAMPLING
за авторством: Lavrinenko, O. V.
Опубліковано: (2014)

Towards ecosystem research in the software engineering
за авторством: Sydorov, M.O.
Опубліковано: (2024)

The translator of Petri-object model visual programming language
за авторством: Dyfuchyn, А.Yu.
Опубліковано: (2022)

Semantics and pragmatics of programming language ASAMPL
за авторством: Sulema, Y.S., та інші
Опубліковано: (2020)

Software engineering and big data software
за авторством: Sydorov, N.O., та інші
Опубліковано: (2023)

Models of concurrent program running in resource constrained environment
за авторством: Rahozin, D.V.
Опубліковано: (2020)

Toward software engineering ecosystems definition
за авторством: Sydorov, M.O.
Опубліковано: (2023)

Representation of monadic effects in the non-monadic form
за авторством: Shevchenko, R.S.
Опубліковано: (2024)

Some aspects of software engineering for AI-based systems
за авторством: Liubchenko, V.V.
Опубліковано: (2023)

Mathematical modeling of the automobile bodies with the help of R-functions
за авторством: Лисин, Д. А., та інші
Опубліковано: (2013)

Mathematical modeling of the automobile bodies with the help of R-functions
за авторством: Лисин, Д. А., та інші
Опубліковано: (2013)

Context term calculus for rewriting systems
за авторством: Shevchenko, R.S.
Опубліковано: (2018)

TermWare3 – term rewriting system, based on context-term calculus
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2019)

Jupyter Notebook: a system for interactive scientific computing
за авторством: Yakimchik, A. I.
Опубліковано: (2019)

Tete-a-tete project: software engineering tools supporting understanding
за авторством: Hrytsay, V.P., та інші
Опубліковано: (2015)

Component of programming. Theory and implementation
за авторством: Lavrischeva, K.M.
Опубліковано: (2015)

Embedding a family of logic languages with custom monadic unification in Scala
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2024)

Assembly programming component and service-oriented applied software systems
за авторством: Andon, P.I., та інші
Опубліковано: (2018)

Formation of the readiness of future bachelors of software engineering for professional communication
за авторством: Sidorova, N.M.
Опубліковано: (2015)

The concept of intellectualized creation of service-oriented technologies of software development in the semantic web environment
за авторством: Morentsov, Y.I.
Опубліковано: (2018)

DS-theory. Scientific aspects and prospects for development
за авторством: Kolesnyk, V.G.
Опубліковано: (2018)

Basics of programming in the context of software engineering
за авторством: N. A. Sidorov
Опубліковано: (2019)

Formal and adaptive methods and software tools of parallel programming
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

Equivalence of two parallel execution systems
за авторством: Panchenko, T.V., та інші
Опубліковано: (2018)

Correctness Property Proof for the Banking System for Money Transfer Payments
за авторством: Ostapovska, Yu.A., та інші
Опубліковано: (2018)

Maximum independent sets of graph vertices searching for software projects improvement
за авторством: Slabospitska, O.O., та інші
Опубліковано: (2023)

Architecture of software system for hierarchical fuzzy inference
за авторством: Yershov, S.V., та інші
Опубліковано: (2018)

An optimization electronic simulation of multi-target system tasks
за авторством: Dodonov, O. G., та інші
Опубліковано: (2016)

An automated scenario generation system for analytical activities.
за авторством: Dodonov, O. G., та інші
Опубліковано: (2019)

Domain engineering approach of software requirements analysis
за авторством: Chebanyuk, O.V., та інші
Опубліковано: (2020)

Use of methods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)

Peterson’s algorithm Total correctness proof in IPCL
за авторством: Zhygallo, A.A.
Опубліковано: (2018)