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.
Type de document :
Communication dans un congrès
John Impagliazzo; Per Lundin; Benkt Wangler. 3rd History of Nordic Computing (HiNC), Oct 2010, Stockholm, Sweden. Springer, IFIP Advances in Information and Communication Technology, AICT-350, pp.350-359, 2011, History of Nordic Computing 3. 〈10.1007/978-3-642-23315-9_39〉
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01564662
Contributeur : Hal Ifip <>
Soumis le : mercredi 19 juillet 2017 - 09:19:26
Dernière modification le : mercredi 19 juillet 2017 - 09:23:29

Fichier

978-3-642-23315-9_39_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Dines Bjørner, Christian Gram, Ole Oest, Leif Rystrøm. Dansk Datamatik Center. John Impagliazzo; Per Lundin; Benkt Wangler. 3rd History of Nordic Computing (HiNC), Oct 2010, Stockholm, Sweden. Springer, IFIP Advances in Information and Communication Technology, AICT-350, pp.350-359, 2011, History of Nordic Computing 3. 〈10.1007/978-3-642-23315-9_39〉. 〈hal-01564662〉

Partager

Métriques

Consultations de la notice

40

Téléchargements de fichiers

22