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.
Chapter PDF
Similar content being viewed by others
References
Naur, P., Randall, B. (eds.): Software Engineering: The Garmisch Conference. NATO Science Committee, Brussels (1969)
Løvengreen, H.H.: Metodikker og værktøjer til konstruktion af programmel (KOMET). Report DDC-05, p. 229 (February 1981)
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)
Bjørner, D., Jones, C.B. (eds.): The Vienna Development Method: The Meta-Language. LNCS, vol. 61. Springer, Heidelberg (1978)
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)
Bjørner, D.: Programming Languages: Linguistics and Semantics. In: International Computing Symposium 1977, pp. 511–536. European ACM, North-Holland Publ. Co., Amsterdam (1977)
Bjørner, D., Jones, C.B. (eds.): Formal Specification and Software Development. Prentice-Hall, Englewood Cliffs (1982)
Haff, P.L. (ed.): The Formal Definition of CHILL. ITU (Intl. Telecomm. Union), Geneva (1981)
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)
Oest, O.N., Bjorner, D. (eds.): Towards a Formal Description of Ada. LNCS, vol. 98. Springer, Heidelberg (1980)
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)
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)
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)
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)
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)
Botta, N., Storbank Pedersen, J.: The Draft Formal Definition of Ada, The Static Semantics Definition. Technical report, Dansk Datamatik Center (January 1987)
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)
DDC, Univ. of Pisa, CRAI, CNRS IEI Pisa, Univ. of Genoa (ed.): The Draft Formal Definition of Ada. 3 parts. Dansk Datamatik Center (1987)
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)
Prehn, S., Hansen, I.Ø.: Formal Methods Appraisal. Technical report, Dansk Datamatik Center (1983)
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/
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/
Storbank Pedersen, J.: Information about industrial use of RAISE Terma Inc., Herlev, Denmark, http://spd-web.terma.com/Projects/RAISE/project.html
Storbank Pedersen, J.: Terma Information about the RAISE Tool Set Terma Inc., Herlev, Denmark, http://spd-web.terma.com/Projects/RAISE
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-30
Schmidt, K.: Kontorarbejde og kontoranalyse. In: Cubus (July 1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 IFIP International Federation for Information Processing
About this paper
Cite this paper
Bjørner, D., Gram, C., Oest, O.N., Rystrøm, L. (2011). Dansk Datamatik Center. In: Impagliazzo, J., Lundin, P., Wangler, B. (eds) History of Nordic Computing 3. HiNC 2010. IFIP Advances in Information and Communication Technology, vol 350. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23315-9_39
Download citation
DOI: https://doi.org/10.1007/978-3-642-23315-9_39
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-23314-2
Online ISBN: 978-3-642-23315-9
eBook Packages: Computer ScienceComputer Science (R0)