Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering
Висловлено побажання, щоб факультети комп’ютерих наук викладали програмування і програмну інженерію на основі формальних методів і більше уваги приділяли дослідженню формальних методів для надійної розробки програмного забезпечення, а також щоб поняття науки і інженерії проблемної області стали неза...
Збережено в:
| Дата: | 2010 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2010
|
| Назва видання: | Кибернетика и системный анализ |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/45247 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering / D. Bjorner // Кибернетика и системный анализ. — 2010. — № 4. — С. 100-116. — Бібліогр.: 27 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-45247 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-452472013-06-11T03:09:11Z Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering Bjorner, D. Системный анализ Висловлено побажання, щоб факультети комп’ютерих наук викладали програмування і програмну інженерію на основі формальних методів і більше уваги приділяли дослідженню формальних методів для надійної розробки програмного забезпечення, а також щоб поняття науки і інженерії проблемної області стали незамінною частиною науки інформатики і програмної інженерії. In this paper we wish to advocate that departments of computer science put emphasis on teaching programming and software engineering based on formal methods; and more emphasis on research into formal methods for the trustworthy development of software. We also wish to advocate that the concepts of domain science and domain engineering become an indispensable part of the science of informatics and of software engineering. 2010 Article Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering / D. Bjorner // Кибернетика и системный анализ. — 2010. — № 4. — С. 100-116. — Бібліогр.: 27 назв. — англ. 0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/45247 004.4 en Кибернетика и системный анализ Інститут кібернетики ім. В.М. Глушкова НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
English |
| topic |
Системный анализ Системный анализ |
| spellingShingle |
Системный анализ Системный анализ Bjorner, D. Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering Кибернетика и системный анализ |
| description |
Висловлено побажання, щоб факультети комп’ютерих наук викладали програмування і програмну інженерію на основі формальних методів і більше уваги приділяли дослідженню формальних методів для надійної розробки програмного забезпечення, а також щоб поняття науки і інженерії проблемної області стали незамінною частиною науки інформатики і програмної інженерії. |
| format |
Article |
| author |
Bjorner, D. |
| author_facet |
Bjorner, D. |
| author_sort |
Bjorner, D. |
| title |
Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering |
| title_short |
Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering |
| title_full |
Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering |
| title_fullStr |
Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering |
| title_full_unstemmed |
Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering |
| title_sort |
domain science and engineering from computer science to the sciences of informatics. part i: engineering |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| publishDate |
2010 |
| topic_facet |
Системный анализ |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/45247 |
| citation_txt |
Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering / D. Bjorner // Кибернетика и системный анализ. — 2010. — № 4. — С. 100-116. — Бібліогр.: 27 назв. — англ. |
| series |
Кибернетика и системный анализ |
| work_keys_str_mv |
AT bjornerd domainscienceandengineeringfromcomputersciencetothesciencesofinformaticspartiengineering |
| first_indexed |
2023-10-18T18:02:13Z |
| last_indexed |
2023-10-18T18:02:13Z |
| _version_ |
1796143149937065984 |