Institute of Computer Languages
Compilers and Languages Group

Talks 2015 - Prof. Dr. Dr.h.c. Dines Bjørner (Prof. Emeritus)

Die Vienna PhD School of Informatics der Fakultät für Informatik der TU Wien und der Arbeitsbereich für Programmiersprachen und Übersetzer am Institut für Computersprachen laden zu folgendem Vortrag ein:

Prof. Dr. Dr.h.c. Dines Bjørner (Prof. Emeritus)

Danmarks Tekniske Universitet, Lyngby, Danmark
Datum: Donnerstag, den 29. Oktober 2015
Zeit: 14:00 Uhr s.t.
Ort: TU Wien, Hörsaal 1, Theresianumgasse 27, 1040 Wien.


A New Foundation for Computing Science


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 Bjørner 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.

Sie möchten auf diesen Vortrag durch Aushang hinweisen? Eine druckfertige Einladung im pdf-Format dafür finden Sie hier.

   About Us
      Talks 2017
      Talks 2016
      Talks 2015
      Talks 2014
      Talks 2013
      Talks 2012
      Talks 2011
      Talks 2010
      Talks 2009
      Talks 2008
      Talks 2007
      Talks 2006
      Talks 2005
      Talks 2004
Fast Access:
Previous Talk
Next Talk
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | Datenschutzerklärung | last update: 2018-05-25 (Webmaster)