Титульні сторінки та зміст
Збережено в:
| Опубліковано в: : | Проблеми програмування |
|---|---|
| Дата: | 2013 |
| Мова: | Українська |
| Опубліковано: |
Інститут програмних систем НАН України
2013
|
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/86659 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Титульні сторінки та зміст // Проблеми програмування. — 2013. — № 2. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1859620446927847424 |
|---|---|
| citation_txt | Титульні сторінки та зміст // Проблеми програмування. — 2013. — № 2. — укр. |
| collection | DSpace DC |
| container_title | Проблеми програмування |
| first_indexed | 2025-11-29T03:13:16Z |
| fulltext |
НАЦIОНАЛЬНА АКАДЕМIЯ НАУК УКРАÏНИ
IНСТИТУТ ПРОГРАМНИХ СИСТЕМ
ISSN 1727-4907
П Р О Б Л Е М И
ПРОГРАМУВАННЯ
НАУКОВИЙ ЖУРНАЛ
P R O B L E M S
IN
PROGRAMMING
SCIENTIFIC JOURNAL
2013
№ 2
Теми випуску:
• Теоретичні та методологічні основи
програмування
• Моделі та засоби паралельних і розподілених
програм
• Інструментальні засоби та середовища
програмування
• Формальні методи розробки програмного
забезпечення
• Моделі і засоби систем баз даних та знань
• Експертні та інтелектуальні інформаційні
системи
• Прикладні засоби програмування та
програмне забезпечення
НАЦIОНАЛЬНА АКАДЕМIЯ НАУК УКРАÏНИ
IНСТИТУТ ПРОГРАМНИХ СИСТЕМ
ПРОБЛЕМИ
ПРОГРАМУВАННЯ
науковий журнал
№ 2 квітень-червень 2013
Заснований у березні 1999 р.
ЗМІСТ
Теоретичні та методологічні основи програмування
Акуловский В.Г., Дорошенко А.Е. Состав и свойства данных,
специфицируемых в композиционных схемах алгоритмов 3
Лавріщева К.М., Колесник А.Л. Концептуальні моделі розподілених
компонентних систем 13
Моделі та засоби паралельних і розподілених програм
Дорошенко А.Ю., Оконський І.В., Жереб К.А., Бекетов О.Г.
Використання засобів моделювання для визначення оптимальних параметрів виконання
програм на відеографічних прискорювачах 23
Погорілий С.Д., Вітель Д.Ю. Використання мереж Петрі для
проектування паралельних застосувань 32
Інструментальні засоби та середовища програмування
Глибовець М.М., Гороховський С.С., Луценко І.М. Аналіз каркасів
зберігання й відображення на базі аспектно-орієнтованих технологій 41
Формальні методи розробки програмного забезпечення
Летичевський О., Летичевський О. мол., Песчаненко В.,
Губа А. Дедуктивна верифікація вимог до архітектур, які керовані подіями 54
Яценко Е.А. Интеграция инструментальных средств алгебры алгоритмов и
переписывания термов для разработки эффективных параллельных программ 62
Моделі і засоби систем баз даних та знань
Рогушина Ю.В. Использование онтологических знаний в рекомендующих
системах 71
Експертні та інтелектуальні інформаційні системи
Новицький О.В. Сервіс-орієнтовані, розподілені системи реального часу в
електронних бібліотеках (ЕБ) 87
Прикладні засоби програмування та програмне забезпечення
Яловець А.Л. До постановки задачі переслідування на площині 95
Свідоцтво про державну реєстрацію КВ № 7490 від 01.07.2003
Науковий журнал “Проблеми програмування" занесений до переліку наукових фахових видань України, в яких
можуть публікуватися основні результати дисертаційних робіт.
ISSN 1727-4907 . Інститут програмних систем
НАН України, 2013
|
| id | nasplib_isofts_kiev_ua-123456789-86659 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-11-29T03:13:16Z |
| publishDate | 2013 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | 2015-09-25T19:23:54Z 2015-09-25T19:23:54Z 2013 Титульні сторінки та зміст // Проблеми програмування. — 2013. — № 2. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/86659 uk Інститут програмних систем НАН України Проблеми програмування Титульні сторінки та зміст published earlier |
| spellingShingle | Титульні сторінки та зміст |
| title | Титульні сторінки та зміст |
| title_full | Титульні сторінки та зміст |
| title_fullStr | Титульні сторінки та зміст |
| title_full_unstemmed | Титульні сторінки та зміст |
| title_short | Титульні сторінки та зміст |
| title_sort | титульні сторінки та зміст |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/86659 |