We argue that computing systems requirements must be based on precisely described domain models. We further argue that domain science and engineering offers a new dimension in computing. We review our work in this area and we hint at a research and experimental engineering programme for the first two phases of the triptych of domain engineering, requirements engineering, and software design.
Dines Bjorner is professor emeritus at the Technical University of Denmark in Lyngby. He was also responsible for establishing the United Nations University International Institute for Software Technology (UNU-IIST) in Macau. His research deals with domain engineering, requirements engineering, and formal methods. Moreover, he worked on the Vienna Development Method (VDM) at IBM in Vienna as well as being involved in realizing the RAISE (Rigorous Approach to Industrial Software Engineering) formal method with tool support.