@inproceedings{44fbdc2c8785432686cce3f9453160f9,
title = "An Essence of Domain Engineering: A Basis for Trustworthy Aeronautics and Space Software",
abstract = "Before software can be designed one must have a reasonable grasp of its requirements. Before requirements can be prescribed one must have a reasonable grasp of the domain in which the software is to serve. So we must study, analyse and describe the application domain. We shall argue that domain science \& engineering is a necessary prerequisite for requirements engineering, and hence software design. We survey elements of domain science \& engineering – and exemplify some elements of domain descriptions. We finally speculate on the relevance of domain engineering in the context of and aeronautics and space.",
keywords = "Domain engineering, Formal methods, Philosophy, Requirements engineering, Software",
author = "Dines Bj{\o}rner",
note = "Publisher Copyright: {\textcopyright} 2022, Springer Nature Switzerland AG.; 14<sup>th</sup> International Symposium on NASA Formal Methods, NFM 2022 ; Conference date: 24-05-2022 Through 27-05-2022",
year = "2022",
doi = "10.1007/978-3-031-06773-0\_2",
language = "English",
isbn = "978-3-031-06772-3",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "14--51",
editor = "Deshmukh, \{Jyotirmoy V.\} and Klaus Havelund and Ivan Perez",
booktitle = "NASA Formal Methods",
}