Dines Bjørner
id:
dines-bj-rner-218-4675071
title:
Dines Bjørner
text:
Professor Dines Bjørner is a Danish computer scientist. He specializes in research into domain engineering, requirements engineering and formal methods. He worked with Cliff Jones and others on the Vienna Development Method (VDM) at IBM Laboratory Vienna. Later he was involved with producing the RAISE formal method with tool support. Bjørner was a professor at the Technical University of Denmark (DTU) from 1965–1969 and 1976–2007, before he retired in March 2007. He was responsible for establish
brand slug:
wiki
category slug:
encyclopedia
description:
Danish computer scientist
original url:
https://en.wikipedia.org/wiki/Dines_Bj%C3%B8rner
date created:
2005-08-29T20:09:29Z
date modified:
2024-09-13T07:23:16Z
main entity:
{"identifier":"Q5278058","url":"https://www.wikidata.org/entity/Q5278058"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/7/7b/Dines_Bj%C3%B8rner_at_DTU_Compute%2C_June_2012.jpg","width":429,"height":600}
fields total:
13
integrity:
16