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.
KeywordsFormal Method Specification Language Rigorous Approach Denotational Semantic Initial Specification
- [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
- [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
- [ORg:06]O’Regan G (2006) Mathematical approaches to software quality. Springer, LondonGoogle Scholar
- [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