A New Foundation for Computing Science

  • 2015-10-29
  • Research

This talk is organized by the Vienna PhD School of Informatics.


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.


Note: This is one of the thousands of items we imported from the old website. We’re in the process of reviewing each and every one, but if you notice something strange about this particular one, please let us know. — Thanks!