Dines Bjørner

  • Gerard O’Regan


Dines Bjørner is a Danish computer scientist who has made important contributions to software engineering and formal methods. He developed the Vienna Development Method (VDM) with Cliff Jones at the IBM laboratory in Vienna. VDM was one of the earliest formal methods, and it is used to increase confidence in the correctness of software in academia and industry. He was also involved in the development of the RAISE (Rigorous Approach to Industrial Software Engineering) method and set of tools.


Formal Method Specification Language Rigorous Approach Denotational Semantic Initial Specification 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. [BjJ:78]
    Bjørner D, Cliff J (1978) The Vienna development method. The meta language, vol 61, Lecture notes in computer science. Springer, New YorkGoogle Scholar
  2. [BjJ:82]
    Bjørner D, Cliff J (1982) Formal specification and software development, Prentice Hall international series in computer science. Prentice Hall, Englewood CliffsGoogle Scholar
  3. [ORg:06]
    O’Regan G (2006) Mathematical approaches to software quality. Springer, LondonGoogle Scholar
  4. [InA:91]
    Darrell I, Derek A (1991) Practical formal methods with VDM, McGraw Hill international series in software engineering. McGraw Hill, New York/LondonGoogle Scholar

Copyright information

© Springer-Verlag London 2013

Authors and Affiliations

  • Gerard O’Regan
    • 1
  1. 1.SQC ConsultingMallow, CorkIreland

Personalised recommendations