Висловлено побажання, щоб факультети комп'ютерих наук викладали програмування і програмну інженерію на базі формальних методів і більше уваги приділяли дослідженню формальних методів для надійної розробки програмного забезпечення, а також щоб поняття науки і інженерії проблемної області стали незамінною частиною науки інформатики і програмної інженерії.Проаналізовано засоби опису предметних областей на прикладі із ч. I даної статті. Мета аналізу - утворення онтології базового опису. Обговорення ведеться на межі комп'ютерних наук і філософії інформатики - галузі, що перебуває на стадії становлення. Публікація сприятиме утвердженню даної предметної області.

  Повний текст PDF - 140.325 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"