Розробка комп'ютерної системи і програмного забезпечення
Підтеми:
Документи:
- Доведення властивості коректної роботи банківської системи виплати грошових переказів [Текст] / Ю.А. Остаповська, Т.В. Панченко, Н.В. Поліщук, М.О. Картавов // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 119-132.
- Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем [Текст] / А.В. Колчин, А.А. Летичевский, С.В. Потиенко // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 146-150.
- Напрями інформаційного забезпечення процесу управління виробничим потенціалом агропідприємств [Текст] / О.В. Липкань // Вісник аграрної науки. — К., 2015. — № 5. — С. 65-68.
- Підхід до уточнення поведінкових моделей програмного забезпечення з використанням паттернів проектування [Текст] / О.В. Чебанюк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 112-120.
- Розробка інтегрованої системи періодичних наукових видань на основі OJS [Текст] / К.О. Кудим, В.А. Резніченко, О.В. Новицький // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 72-85.
- Формальная модель научной публикации [Текст] / В.А. Резниченко, Г.Ю. Проскудина, О.М. Овдий // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 331-347.
- DS-теория. Исследование факторов деления P-данных для генерации прикладных алгоритмов. Часть 1 [Текст] / В.Г. Колесник // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 3-13.
- DS-теория. Исследование факторов форматирования Р-данных [Текст] / В.Г. Колесник // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 14-26.
- DS-теория как прототип теории прикладных алгоритмов [Текст] / В.Г. Колесник // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 17-33.
|
