Basic researches Basic researches

 

Назва темиНауковий керівник теми та керівник проекту

Науковий напрямок:  Теоретичні та прикладні питання розробки систем та технологій    програмування; моделі і засоби програмної інженерії; проблеми оцінки і забезпечення якості, стандартизації та сертифікації програмних систем

Розробка теоретичного фундаменту генеруючого програмування та інструментальних засобів його підтримкиЛавріщева К.М.

Науковий напрямок:  Формально-логічні основи, методи і засоби створення інтелектуальних інформаційних систем, банків даних та знань

Моделі, методи та засоби побудови сервіс-орієнтованих прикладних інформаційних систем в Semantic Web середовищі на основі агентного підходуАндон П.І.
Розробка теоретичних основ, методів та засобів синтезу прикладних програмних систем в семантичному Інтернет середовищіАндон П.І.
Науковий напрямок: Математичне та програмне забезпечення побудови складних розподілених комп`ютерних систем
Дослідження і розробка механізмів прийняття рішень в мультиагентних комп’ютерних системахКукса А.І.
Розробка теорії та методології для сервісно-орієнтованого програмування високопродуктивних паралельних обчислень на Грід-cистемахДорошенко А.Ю.
Розробка математичних моделей і комп’ютерної технології для дослідження та оптімізації умов надійного функціонування людини-оператора в нестабільному середовищіГригорян Р.Д.


© Institute of Software Systems NAS Ukraine, 2008 — 2009 

   E-mail: Щоб надіслати повідомлення натисніть на піктограму     Теl.: +38 044 526-55-07