Formal and adaptive methods and software tools of parallel programming

• Опубліковано в: PROBLEMS IN PROGRAMMING
• Дата: 2018
• Випуск: 3
• Сторінки: 19-30
• ISSN: 1727-4907
• Автори та афіліації: А.Yu. Doroshenko — Institute of Software Systems NAS of Ukraine; O.G. Beketov — Institute of Software Systems NAS of Ukraine; K.A. Zhereb — Institute of Software Systems NAS of Ukraine; P.A. Ivanenko — Institute of Software Systems NAS of Ukraine; О.М. Ovdii — Institute of Software Systems NAS of Ukraine; R.S. Shevchenko — Institute of Software Systems NAS of Ukraine; O.A. Yatsenko — Institute of Software Systems NAS of Ukraine
• Ключові слова: техніка переписувальних правил, алгебра алгоритмів, автоматизація програмування, правила переписування, технологія програмування, метеорологічне прогнозування, обчислювальний алгоритм, алгоритм, математичне програмування, алгебра
• Автори: Doroshenko, А.Yu., Beketov, O.G., Zhereb, K.A., Ivanenko, P.A., Ovdii, О.М., Shevchenko, R.S., Yatsenko, O.A.
• Формат: Стаття
• Мова: Українська
• Опубліковано: PROBLEMS IN PROGRAMMING 2018
• Теми: programming automation; algebra of algorithms; meteorological forecasting; parallel computation; rewriting rules technique; UDC 004.4'24
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/295
• Назва журналу: Problems in programming

A review of the results of the development of formal and adaptive methods and software, achieved in recent years in the Institute of Software Systems of the National Academy of Sciences of Ukraine, based on the algebra-algorith­mic approach and the technique of rewriting rules is given. The methods...