Титульні сторінки та зміст
Gespeichert in:
| Datum: | 2013 |
|---|---|
| Sprache: | Ukrainian |
| Veröffentlicht: |
Інститут програмних систем НАН України
2013
|
| Schriftenreihe: | Проблеми програмування |
| Online Zugang: | http://dspace.nbuv.gov.ua/handle/123456789/86686 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Титульні сторінки та зміст // Проблеми програмування. — 2013. — № 4. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-86686 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-866862015-09-27T03:02:14Z Титульні сторінки та зміст 2013 Титульні сторінки та зміст // Проблеми програмування. — 2013. — № 4. — укр. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/86686 uk Проблеми програмування Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Ukrainian |
| title |
Титульні сторінки та зміст |
| spellingShingle |
Титульні сторінки та зміст Проблеми програмування |
| title_short |
Титульні сторінки та зміст |
| title_full |
Титульні сторінки та зміст |
| title_fullStr |
Титульні сторінки та зміст |
| title_full_unstemmed |
Титульні сторінки та зміст |
| title_sort |
титульні сторінки та зміст |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2013 |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/86686 |
| citation_txt |
Титульні сторінки та зміст // Проблеми програмування. — 2013. — № 4. — укр. |
| series |
Проблеми програмування |
| first_indexed |
2025-07-06T14:13:07Z |
| last_indexed |
2025-07-06T14:13:07Z |
| _version_ |
1836907174626852864 |
| fulltext |
НАЦIОНАЛЬНА АКАДЕМIЯ НАУК УКРАÏНИ
IНСТИТУТ ПРОГРАМНИХ СИСТЕМ
ISSN 1727-4907
П Р О Б Л Е М И
ПРОГРАМУВАННЯ
НАУКОВИЙ ЖУРНАЛ
P R O B L E M S
IN PROGRAMMING
SCIENTIFIC JOURNAL
2013
№ 4
Теми випуску:
Теоретичні та методологічні основи
програмування
Методи та засоби програмної інженерії
Інструментальні засоби та середовища
програмування
Експертні та інтелектуальні інформаційні
системи
Верифікація програм
Прикладні засоби програмування та програмне
забезпечення
Наукова інформація
НАЦIОНАЛЬНА АКАДЕМIЯ НАУК УКРАÏНИ
IНСТИТУТ ПРОГРАМНИХ СИСТЕМ
П Р О Б Л Е М И
ПРОГРАМУВАННЯ
науковий журнал
Редакційна колегія
Головний редактор
П.І. Андон (Україна)
Заступники
головного редактора
К.М. Лавріщева (Україна)
А.Л. Яловець (Україна)
Члени редколегії:
А.В. Анісімов (Україна)
Ш. Гудак (Словаччина)
А.Ю. Дорошенко (Україна)
В.П. Іванніков (Росія)
Л.А. Калініченко (Росія)
В.М. Касьянов (Росія)
Х. Лангмаак (Німеччина)
О.А. Летичевський (Україна)
М.С. Нікітченко (Україна)
І.М. Парасюк (Україна)
В.Н. Редько (Україна)
І.В. Сергієнко (Україна)
М.О. Сидоров (Україна)
Е.Х. Тиугу (Естонія)
Л. Чая (Польща)
Адреса для кореспонденції
Інститут програмних систем
НАН України
Проспект Академіка Глушкова, 40
03187, Київ-187
Редактор В.П. Замула
Комп'ютерна верстка В.П. Замула
Підписано до друку 03.12.2013. Формат 60 х84/8.
Офсет. друк. Тираж 120 прим. Ціна договірна. Замовл.
Друкарня Видавничого дому «Академперіодика» НАН України
01004 Київ-4, вул. Терещенківська, 4
Головний редактор
Андон Пилип Іларіонович
академік НАН України,
директор Iнституту програмних систем
НАН України
Інститут програмних систем
НАН України
Проспект Академіка Глушкова, 40
03187, Київ-187
Тел.+380 (44) 526 5507
E-mail: ANDON@ISOFTS.KIEV.UA
http://www.progproblems.org.ua
Тел.: +380 (44) 526 5065
Факс: + 380 (44) 526 6263
E-mail: ISS@ISOFTS.KIEV.UA
НАЦIОНАЛЬНА АКАДЕМIЯ НАУК УКРАÏНИ
IНСТИТУТ ПРОГРАМНИХ СИСТЕМ
ПРОБЛЕМИ
ПРОГРАМУВАННЯ
науковий журнал
№ 4 жовтень-грудень 2013
Заснований у березні 1999 р.
ЗМІСТ
Теоретичні та методологічні основи програмування
Глибовець М.М., Гулаєва Н.М. Еволюційне програмування 3
Методи та засоби програмної інженерії
Лавріщева К.М., Слабоспицька О.О. Підхід до побудови об’єктно-
компонентної моделі сімейства програмних продуктів 14
Лавріщева К.М., Стеняшин А.Ю. Формалізми об’єктного проектування
і тестування розподілених програмних систем 25
Інструментальні засоби та середовища програмування
Омельченко Р.С. Программа проверки орфографии (spellchecker) на основе
распределенных представлений 35
Експертні та інтелектуальні інформаційні системи
Литвин В.В. Підхід до побудови інтелектуальних систем підтримки прийняття
рішень на основі онтологій 43
Верифікація програм
Максимец А.Н. Верификация программ: состояние, проблемы, эксперименталь-
ные результаты. I
Использование онтологических знаний в рекомендующих
системах
53
Прикладні засоби програмування та програмне забезпечення
Іваненко П.А., Дорошенко А.Ю., Овдій О.М., Суслова Л.М. Ав-
тотьюнер та візуалізація для задачі метеорологічного прогнозування 64
Пашко С.В., Яловец А.Л. Численные методы решения задач оптимизации
преследования 74
Степанюк М.Ю. Метод розрахунку параметрів фазових переходів дискретних
технологічних та інформаційних процесів стратегічного планування з розпаралелю-
ванням обчислень 86
Яловець А.Л. Про метод найближчої точки як метод управління стратегіями
переслідування/утікання агентів 94
Наукова інформація
Свідоцтво про державну реєстрацію КВ № 7490 від 01.07.2003
Науковий журнал “Проблеми програмування" занесений до переліку наукових фахових видань України, в яких
можуть публікуватися основні результати дисертаційних робіт.
ISSN 1727-4907 . Інститут програмних систем
НАН України, 2013
NATIONAL ACADEMY OF SCIENCES OF UKRAINE
INSTITUTE OF SOFTWARE SYSTEMS
PROBLEMS IN
PROGRAMMING
scientific journal
№ 4 October – December 2013
Founded in March, 1999
CONTENTS
Theory and Methodology of Programming
Glybovets M.M., Gulayeva N.M. Evolutionary Programming 3
Methods and Facilities of Software Engineering
Lavrischeva Е.М., Slabospitskaya О.А. An Approach for Object-
Component Model Engineering of Software Product Line 14
Lavrischeva K.М., Stenyashin А.U. The formal basic developing and
testing the distributed program systems 25
Software Environment and Tools
Omelchenko R.S. Spellchecker based on distributed representations 35
Expert and Intelligent Information Systems
Lytvyn V.V. Approach to the building intelligent decision support systems on the
basis of ontology 43
Program verification
Maksymets O.M. Verification of programs: status, problems and experimental
results. I 53
Critical Systems Software
Ivanenko P.A., Doroshenko A.Y., Ovdii O.M., Suslova L.M.
Autotuner and visualization for meteorological forecasting model 64
Pashko S.V., Yalovets A.L. Numerical Methods for Solving the Pursuit
Optimization Problems 74
Stepaniuk M. A method for calculating the parameters of phase transitions of
discrete technological and information processes of strategic planning with parallelization
of computations 86
Yalovets A.L. About the method of the nearest point as a method of
management of strategies of pursuit/evasion of agents 94
Scientific Information
|