Dansk Datamatik Center とは

Dansk Datamatik Center(DDC)は、1979年から1989年まで存在していたデンマークのソフトウェア研究開発センターでした。その主な目的は、現代の技術、特に正式な方法を含む技術をソフトウェア設計および開発に使用する価値を実証することでした。
3つの主要プロジェクトがセンターの存在の大部分を占めていました。最初は、通信スイッチで使用するCHILLプログラミング言語の正式な仕様とコンパイルに関するものでした。 2番目は、Adaプログラミング言語の正式な仕様とコンパイルです。 AdaとCHILLの両方の努力は正式な方法を利用しました。特に、DDCは、コンピュータベースのシステムの開発のためのウィーン開発方法(VDM)の正式な方法の仕様言語の初期バージョンであるMeta-IVを使用していました。 DinesBjørnerによって設立されたこの組織は、VDMの「デンマークの学校」を代表しています。このVDMの使用は、1984年にDDC Adaコンパイラが米国国防総省によって検証される最初のヨーロッパのAdaコンパイラになったことをもたらしました。 3番目の主要プロジェクトは、RAISEという新しい正式な方法の作成に向けられたものです。
Adaコンパイラシステムの成功は、1985年に商業会社DDC International A / S(米国DDC-I、Inc.)の創設につながり、直接かつOEMベースでの開発、製品化、販売を行います。