Dansk Datamatik Center

  • Dines Bjørner
  • Christian Gram
  • Ole N. Oest
  • Leif Rystrøm
Conference paper
Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT, volume 350)

Abstract

In 1979, a software research and development center was created to demonstrate the power of systematic and formal methods in software development. One of the first and biggest projects at Dansk Datamatik Center (DDC) was to develop an Ada compiler and run-time system. DDC made the first department of Defense (DoD) validated Ada compiler in Europe, and the Ada project was carried on in a subsidiary called DDC–I, Inc. This paper describes the background and start of DDC and some aspects of the formal development method called “Rigorous Approach to Industrial Software Engineering” (RAISE) as well as other DDC activities.

Keywords

Formal methods software development technology transfer 

References

  1. 1.
    Naur, P., Randall, B. (eds.): Software Engineering: The Garmisch Conference. NATO Science Committee, Brussels (1969) Google Scholar
  2. 2.
    Løvengreen, H.H.: Metodikker og værktøjer til konstruktion af programmel (KOMET). Report DDC-05, p. 229 (February 1981) Google Scholar
  3. 3.
    Bekič, H., Bjørner, D., Henhapl, W., Jones, C.B., Lucas, P.: A Formal Definition of a PL/I Subset. Technical Report 25.139, IBM Laboratory, Vienna (December 1974) Google Scholar
  4. 4.
    Bjørner, D., Jones, C.B. (eds.): The Vienna Development Method: The Meta-Language. LNCS, vol. 61. Springer, Heidelberg (1978)MATHGoogle Scholar
  5. 5.
    George, C.W., Haxthausen, A.E., Hughes, S., Milne, R., Prehn, S., Storbank Pedersen, J.: The RAISE Development Method. The BCS Practitioner Series. Prentice-Hall, Hemel Hampstead (1995)Google Scholar
  6. 6.
    Bjørner, D.: Programming Languages: Linguistics and Semantics. In: International Computing Symposium 1977, pp. 511–536. European ACM, North-Holland Publ. Co., Amsterdam (1977)Google Scholar
  7. 7.
    Bjørner, D., Jones, C.B. (eds.): Formal Specification and Software Development. Prentice-Hall, Englewood Cliffs (1982)MATHGoogle Scholar
  8. 8.
    Haff, P.L. (ed.): The Formal Definition of CHILL. ITU (Intl. Telecomm. Union), Geneva (1981) Google Scholar
  9. 9.
    Haff, P., Olsen, A.V.: Use of VDM within CCITT. In: Mac An Airchinnigh, M., Jones, C.B., Bjorner, D., Neuhold, E.J. (eds.) VDM-Europe 1987. LNCS, vol. 252, pp. 324–330. Springer, Heidelberg (1987)Google Scholar
  10. 10.
    Oest, O.N., Bjorner, D. (eds.): Towards a Formal Description of Ada. LNCS, vol. 98. Springer, Heidelberg (1980)MATHGoogle Scholar
  11. 11.
    Clemmensen, C.B., Oest, O.N.: Formal specification and development of an Ada compiler – a VDM case study. In: Proc. 7th International Conf. on Software Engineering, Orlando, Florida, pp. 430–440. IEEE, Los Alamitos (1984)Google Scholar
  12. 12.
    Oest, O.N.: VDM From Research to Practice. In: Kugler, H.-J. (ed.) Information Processing 1986. IFIP World Congress Proceedings, pp. 527–533. North-Holland Publ. Co., Amsterdam (1986)Google Scholar
  13. 13.
    George, C.W., Haff, P., Havelund, K., Haxthausen, A.E., Milne, R., Bendix Nielsen, C., Prehn, S., Ritter Wagner, K.: The RAISE Specification Language. The BCS Practitioner Series. Prentice-Hall, Hemel Hampstead (1992)Google Scholar
  14. 14.
    Reggio, G., Invarardi, P., Astesiano, E., Fantechi, A., Giovani, A., Mazzanti, F., Zucca, E.: The Draft Formal Definition of Ada, The User Manual of the Meta-Language. Technical report, CRAI/IEI/University of Genoa (January 1986) Google Scholar
  15. 15.
    Astesiano, E., Bendix Nielsen, C., Fantechi, A., Giovani, A., Karlsen, E.W., Mazzanti, F., Reggio, G., Zucca, E.: The Draft Formal Definition of Ada, The Dynamic Semantics Definition. Technical report, Dansk Datamatik Center/CRAI/IEI/University of Genoa (January 1987) Google Scholar
  16. 16.
    Botta, N., Storbank Pedersen, J.: The Draft Formal Definition of Ada, The Static Semantics Definition. Technical report, Dansk Datamatik Center (January 1987) Google Scholar
  17. 17.
    Storbank Pedersen, J.: VDM in Three Generations of Ada Formal Descriptions. In: Mac An Airchinnigh, M., Jones, C.B., Bjorner, D., Neuhold, E.J. (eds.) VDM 1987. LNCS, vol. 252, Springer, Heidelberg (1987)Google Scholar
  18. 18.
    DDC, Univ. of Pisa, CRAI, CNRS IEI Pisa, Univ. of Genoa (ed.): The Draft Formal Definition of Ada. 3 parts. Dansk Datamatik Center (1987) Google Scholar
  19. 19.
    Prehn, S., Hansen, I.Ø., Palm, S.U., Gøbel, P.: Formal methods appraisal, first report. Technical Report DDC 86/1983-06-24, Dansk Datamatik Center, Lyngby (1983) Google Scholar
  20. 20.
    Prehn, S., Hansen, I.Ø.: Formal Methods Appraisal. Technical report, Dansk Datamatik Center (1983) Google Scholar
  21. 21.
    George, C.W.: Download for the RAISE Tool Set United Nations University’s International Institute for Software Technology, P.O.Box 3058, Macao SAR, China, ftp://ftp.iist.unu.edu/pub/RAISE/methodbook/
  22. 22.
    George, C.W.: UNU-IIST’s RAISE Web Pages United Nations University’s International Institute for Software Technology, P.O.Box 3058, Macao SAR, China, http://www.iist.unu.edu/raise/
  23. 23.
    Storbank Pedersen, J.: Information about industrial use of RAISE Terma Inc., Herlev, Denmark, http://spd-web.terma.com/Projects/RAISE/project.html
  24. 24.
    Storbank Pedersen, J.: Terma Information about the RAISE Tool Set Terma Inc., Herlev, Denmark, http://spd-web.terma.com/Projects/RAISE
  25. 25.
    Bundgaard, J., Schmeltz Pedersen, J., Storbank Pedersen, J., Hansen, K., Kvorning, P., Nilsson, B.: Kontor-Automations-Systemer (KAS) – Et studieprojekt. DDC document: DDC 04/1981-04-30Google Scholar
  26. 26.
    Schmidt, K.: Kontorarbejde og kontoranalyse. In: Cubus (July 1987) Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2011

Authors and Affiliations

  • Dines Bjørner
    • 1
  • Christian Gram
    • 1
  • Ole N. Oest
    • 2
  • Leif Rystrøm
    • 3
  1. 1.DTUDenmark
  2. 2.DDC-I Inc.PhoenixUSA
  3. 3.Danish Road DirectorateCopenhagenDenmark

Personalised recommendations