інтернет-адреса сторінки:
http://jnas.nbuv.gov.ua/article/UJRN-0000029778
Кибернетика и системный анализ 
А - 2019 /
Випуск (2011, Т. 47, № 2)
Bjorner D.
Domain science and engineering from computer science to the sciences of informatics. Part II: Science
Висловлено побажання, щоб факультети комп'ютерих наук викладали програмування і програмну інженерію на базі формальних методів і більше уваги приділяли дослідженню формальних методів для надійної розробки програмного забезпечення, а також щоб поняття науки і інженерії проблемної області стали незамінною частиною науки інформатики і програмної інженерії.
Проаналізовано засоби опису предметних областей на прикладі із ч. I даної статті. Мета аналізу - утворення онтології базового опису. Обговорення ведеться на межі комп'ютерних наук і філософії інформатики - галузі, що перебуває на стадії становлення. Публікація сприятиме утвердженню даної предметної області.
Cite:
Bjorner, D. (2011). Domain science and engineering from computer science to the sciences of informatics. Part II: Science. Cybernetics and Systems Analysis, 47 (2), 100-120. http://jnas.nbuv.gov.ua/article/UJRN-0000029778
PDF