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.

über

A New Foundation for Computing Science

Zusammenfassung:

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.

Kurzbiographie

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.