ВЛАСТИВОСТІ ПАРАДИГМ ПРОГРАМУВАННЯ
PROPERTIES PROGRAMMING PARADIGM
Сторінки: 264-267. Номер: №4, 2020 (287)
Автори:
Т. М. КОРОТУН
Заклад вищої освіти “Міжнародний науково-технічний університет імені академіка Юрія Бугая”
TETYANA MIKHAILOVNA KOROTUN
Academician Yuriy Bugay International Scientific and Technical University
DOI:https://www.doi.org/10.31891/2307-5732-2020-287-4-264-267
Рецензія/Peer review : 10.09.2020 р.
Надрукована/Printed : 04.11.2020 р.
Анотація мовою оригіналу
Р. Флойд заклав основи теорій аналізу і верифікації програм, створив ряд ефективних методів обробки. Розглядаючи приклад структурного програмування в якості домінуючої методології програмування було визначено, що, по-перше, націленість парадигми на низхідне проектування, покрокове поліпшення і зведення завдання до простіших підзадач; по-друге, перехід від конкретних об’єктів і функцій машинного рівня до абстрактніших об’єктів і функцій, дозволяють продумувати модулі, що виділяються при низхідному проектуванні. Вибір між так протиставленими характеристиками в тексті програми виражається синтаксично, нерідко за допомогою специфікаторів мови програмування.
Ключові слова: парадигма програмування, паралельне програмування.
Розширена анотація англійською мовою
Floyd laid the foundations of the theories of analysis and verification of programs, created a number of effective processing methods. Considering an example of structural programming as a dominant programming methodology, it has been determined that, firstly, the targeting paradigms for downlinking design, step-by-step improvement and construction of a task to simpler subspaders; Secondly, the transition from specific objects and functions of the machine level to abstract objects and functions, allow to think the modules allocated under downward design. The choice between so opposed characteristics in the text of the program is expressed syntactically, often with the programming language specifiers.
A mock-up of a solution to a new problem is workable when the author presents a small set of relevant data. An experimental debugging ground for research solutions requires adaptability to process almost any data that can be specified as input. The practical version may be limited to the processing of data that actually occur in the field of its application. Effective implementation requires specially selected data that show its advantage over less skillfully executed solutions.
Key words: programming paradigm, parallel programming.
References
- Bek, K. Эkstremalnoe prohrammyrovanye — Pyter, 2002
- Burdonov Y.B., Kosachev A.S., Kuliamyn V.V. Teoryia sootvetstvyia dlia system s blokyrovkamy y razrushenyiamy − M.Zh Fyzmatlyt, 2008. − 412 s.
- Voevodyn V. V. Parallelnыe vыchyslenyia / V. V. Voevodyn, Vl. V. Voevodyn. — SPb.: BKhV-Peterburh, 2002. — 608 s.
- Horodniaia L.V. O probleme avtomatyzatsyy parallelnoho prohrammyrovanyia // V sbornyke Mezhdunarodnoi superkompiuternoi konferentsyy «Nauchnыi servys v sety Ynternet: mnohoobrazye superkompiuternыkh myrov » — URL: http://agora.guru.ru/abrau2014
- Horodniaia L.V. Paradyhmы parallelnoho prohrammyrovanyia v unyversytetskykh obrazovatelnыkh prohrammakh y spetsyalyzatsyy // Vserossyiskaia nauchnaia konferentsyia “Nauchnыi servys v sety Ynternet: reshenye bolshykh zadach − Novorossyisk-Moskva, 2008. − s. 180-184. L.V.
- Horodniaia L.V. Paradyhmы prohrammyrovanyia Chast 1 Sravnenye paradyhm prohrammyrovanyia Preprynt 172 URL: – http://www.iis.nsk.su/files/preprints/172.pdf
- Palmer S.R., Felsynh. Dzh.M. Praktycheskoe rukovodstvo po funktsyonalno oryentyrovannoi razrabotke PO. − M.: Vyliams, 2002. − 299 s.
- Stepanov H.H. Puty obespechenyia perenosymosty prohramm y opыt yspolzovanyia systemы SYHMA // Transliatsyia y preobrazovanye prohramm. – Novosybyrsk: VTs SO AN SSSR, 1984. – 9 s.
- Khorstman K. Scala dlia neterpelyvыkh. – DMK press, 2013. – 408 s. – 300 эkz. – ISBN 978-5-94074-920-2, 978-0-321-77409-5.
