Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Background Read chapter Read first chapter

2013 | OriginalPaper | Chapter

10. Dines Bjørner

Author : Gerard O’Regan

Published in: Giants of Computing

Publisher: Springer London

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Tim Berners-Lee
next chapter George Boole
Literature
[BjJ:78]
Bjørner D, Cliff J (1978) The Vienna development method. The meta language, vol 61, Lecture notes in computer science. Springer, New York
[BjJ:82]
Bjørner D, Cliff J (1982) Formal specification and software development, Prentice Hall international series in computer science. Prentice Hall, Englewood Cliffs
[ORg:06]
O’Regan G (2006) Mathematical approaches to software quality. Springer, London
[InA:91]
Darrell I, Derek A (1991) Practical formal methods with VDM, McGraw Hill international series in software engineering. McGraw Hill, New York/London
Metadata
Title
Dines Bjørner
Author
Gerard O’Regan
Copyright Year
2013
Publisher
Springer London
Book
Giants of Computing

Print ISBN: 978-1-4471-5339-9

Electronic ISBN: 978-1-4471-5340-5

Copyright Year: 2013

DOI
https://doi.org/10.1007/978-1-4471-5340-5_10

Premium Partner

    Image Credits