Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering
Висловлено побажання, щоб факультети комп’ютерих наук викладали програмування і програмну інженерію на основі формальних методів і більше уваги приділяли дослідженню формальних методів для надійної розробки програмного забезпечення, а також щоб поняття науки і інженерії проблемної області стали неза...
Gespeichert in:
| Veröffentlicht in: | Кибернетика и системный анализ |
|---|---|
| Datum: | 2010 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Englisch |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2010
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/45247 |
| 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: | Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering / D. Bjorner // Кибернетика и системный анализ. — 2010. — № 4. — С. 100-116. — Бібліогр.: 27 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862703961897697280 |
|---|---|
| author | Bjorner, D. |
| author_facet | Bjorner, D. |
| citation_txt | Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering / D. Bjorner // Кибернетика и системный анализ. — 2010. — № 4. — С. 100-116. — Бібліогр.: 27 назв. — англ. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| description | Висловлено побажання, щоб факультети комп’ютерих наук викладали програмування і програмну інженерію на основі формальних методів і більше уваги приділяли дослідженню формальних методів для надійної розробки програмного забезпечення, а також щоб поняття науки і інженерії проблемної області стали незамінною частиною науки інформатики і програмної інженерії.
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.
|
| first_indexed | 2025-12-07T16:49:33Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-45247 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | English |
| last_indexed | 2025-12-07T16:49:33Z |
| publishDate | 2010 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Bjorner, D. 2013-06-10T18:17:52Z 2013-06-10T18:17:52Z 2010 Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering / D. Bjorner // Кибернетика и системный анализ. — 2010. — № 4. — С. 100-116. — Бібліогр.: 27 назв. — англ. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/45247 004.4 Висловлено побажання, щоб факультети комп’ютерих наук викладали програмування і програмну інженерію на основі формальних методів і більше уваги приділяли дослідженню формальних методів для надійної розробки програмного забезпечення, а також щоб поняття науки і інженерії проблемної області стали незамінною частиною науки інформатики і програмної інженерії. 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. en Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Системный анализ Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering Наука і інженерія предметної області від комп’ютерних наук до інформаційних наук. Частина І: Інженерія Article published earlier |
| spellingShingle | Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering Bjorner, D. Системный анализ |
| title | Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering |
| title_alt | Наука і інженерія предметної області від комп’ютерних наук до інформаційних наук. Частина І: Інженерія |
| 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_short | 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 |
| topic | Системный анализ |
| topic_facet | Системный анализ |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/45247 |
| work_keys_str_mv | AT bjornerd domainscienceandengineeringfromcomputersciencetothesciencesofinformaticspartiengineering AT bjornerd naukaíínženeríâpredmetnoíoblastívídkompûternihnaukdoínformacíinihnaukčastinaíínženeríâ |