Dansk Datamatik Center - Archive ouverte HAL Access content directly
Conference Papers Year : 2011

Dansk Datamatik Center

(1) , (1) , (2) , (3)
1
2
3
Ole N. Oest
  • Function : Author
  • PersonId : 1013041
Leif Rystrøm
  • Function : Author
  • PersonId : 1013042

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.
Fichier principal
Vignette du fichier
978-3-642-23315-9_39_Chapter.pdf (385.97 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01564662 , version 1 (19-07-2017)

Licence

Attribution - CC BY 4.0

Identifiers

Cite

Dines Bjørner, Christian Gram, Ole N. 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⟩
67 View
105 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More