Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering |
| |
Authors: | D Bjørner |
| |
Affiliation: | 1.Technical University of Denmark,Lyngby,Denmark |
| |
Abstract: | 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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|