Skip to Main content Skip to Navigation
Conference papers

Dansk Datamatik Center

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download
Contributor : Hal Ifip <>
Submitted on : Wednesday, July 19, 2017 - 9:19:26 AM
Last modification on : Wednesday, July 19, 2017 - 9:23:29 AM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Dines Bjørner, Christian Gram, Ole Oest, Leif Rystrøm. Dansk Datamatik Center. 3rd History of Nordic Computing (HiNC), Oct 2010, Stockholm, Sweden. pp.350-359, ⟨10.1007/978-3-642-23315-9_39⟩. ⟨hal-01564662⟩



Record views


Files downloads