Это хорошая статья. Для получения дополнительной информации нажмите здесь.
Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

Данск Датаматик Центр
Dansk Datamatik Center logo.png
СокращениеDDC
ПреемникDDC International A / S, DDC-I
ФормированиеСентябрь 1979 г. ( 1979-09 )
Растворенный1989 г. ( 1989 )
ТипЦентр исследований и разработок
Место расположения
УслугиИнформатика
УправляющийЛейф Ристрем
Научный руководительDines Bjørner
Менеджер, Ada-проектыОле Н. Ост
Бюджет (1984) 13 миллионов датских крон
Персонал (1984) 40

Dansk Datamatik Center (DDC) был датским центром исследований и разработок программного обеспечения, который существовал с 1979 по 1989 год. Его основная цель заключалась в демонстрации ценности использования современных методов, особенно тех, которые включают формальные методы , при проектировании и разработке программного обеспечения .

На протяжении большей части существования центра доминировали три крупных проекта. Первый касался формальной спецификации и компиляции языка программирования CHILL для использования в телекоммуникационных коммутаторах. Второй включал формальную спецификацию и компиляцию языка программирования Ada . И Ada, и CHILL использовали формальные методы. [1] В частности, DDC работала с Meta-IV , ранней версией языка спецификаций формального метода Венского метода разработки (VDM) для разработки компьютерных систем. Основанная Динесом Бьёрнером , она представляла «датскую школу» VDM. [2] Такое использование VDM привело в 1984 году к тому, что компилятор DDC Ada стал первым европейским компилятором Ada, одобренным Министерством обороны США . [3] Третий крупный проект был посвящен созданию нового формального метода RAISE .

Успех системы компилятора Ada привел к созданию в 1985 году коммерческой компании DDC International A / S (DDC-I, Inc. в США) , которая будет разрабатывать, производить и продавать ее как напрямую клиентам, так и другим лицам. компании, которые будут использовать его в качестве основы для своих собственных продуктов компилятора Ada.

Истоки [ править ]

Компания DDC начала свою деятельность в Техническом университете Дании .

Весной 1979 года Кристиан Грэм, специалист по информатике из Технического университета Дании (DTU), расположенного в Конгенс Люнгби , к северу от Копенгагена, предложил своему коллеге Динесу Бьёрнеру идею создания передового института программного обеспечения. [4] Глядя на кризис программного обеспечения того времени, они чувствовали, что информатика создала фундаментальные и теоретические подходы, которые, если их применить, могли бы сделать разработку программного обеспечения более профессиональным процессом и позволить разрабатывать большие программные системы по графику и с качеством. [5]

С этой идеей они обратились в Akademiet for de Tekniske Videnskaber (ATV, Датская академия технических наук), и в сентябре 1979 года Dansk Datamatik Center был образован как институт ATV для передовой разработки программного обеспечения. [6] (В некоторых ранних документах он также назывался Датским центром данных. [7] ) Десять крупных производителей или пользователей информационных технологий в Дании стали платными членами новой организации: Christian Rovsing  [ da ] , Crone & Koch , Датский институт оборонных исследований , Datacentralen af ​​1959  [ da ] , Jydsk Telefon  [da ] , Kommunedata , Regnecentralen af ​​1979 , Sparekassernes Datacenter, Teleteknisk Forskningslaboratorium  [ da ] (TFL) и ØK Data, при этом каждый участник платит100 000 датских крон в год. [6]

Бьёрнер стал научным руководителем центра. [8] Управляющим директором DDC был Лейф Ристрем. [9] [10] Когда он достиг своего пика примерно в 1984 году [11], в DDC работало около 30–35 профессиональных сотрудников [12], а всего в нем работало около 40 человек. [13] К 1984 году бюджет DDC составлял 13 миллионов датских крон, что значительно превышало его первоначальный бюджет в 1 миллион датских крон. [11] Многие из нанятых инженеров были из DTU и Копенгагенского университета . [9] Вначале центр размещался в здании на территории кампуса DTU, [7] но затем он стал расположен в переоборудованном текстильном комбинате вдольМёллеоэн , недалеко от центра Люнгбю. [14]

Красный логотип DDC в форме куба был разработан Оле Фриисом, который в 1984 году получил за это приз IG Prize  [ da ] от Датского центра дизайна . [15]

Проекты CHILL [ править ]

В 1978 году Бьёрнер заинтересовался созданием формального определения, используя денотационную семантику , языка программирования CHILL, который тогда находился в стадии разработки. [16] Работа над формальным определением CHILL началась в том же году по запросу Teleteknisk Forskningslaboratorium, входящего в группу при Международном консультативном телефоническом и телеграфном комитетах (CCITT), и проводилась в DTU [17], над которой работали около восемнадцати студентов. усилие. [18] После создания DDC формальное определение было завершено в 1980 и 1981 годах. [17] [19] Мнения о ценности усилий расходятся: Бьёрнер заявил, что обнаружил проблему с определениями, которая привела к упрощению языка, в то время как Реми Бургонжон из Philips , организатор Форума разработчиков, организованного CCITT, считает, что формальное определение слишком сложный и слишком поздно, чтобы помочь разработчикам компилятора CHILL. [20]

В то же время был разработан компилятор CHILL, снова начатый до DDC, но дополненный им и TFL. [17] Он был разработан с использованием формальных методов. Обе организации сделали компилятор общедоступным, и он будет играть важную роль в обучении языку CHILL. [17] Он также был адаптирован британской фирмой Imperial Software Technology с новым генератором кода и использовался GEC и другими в 1980-х годах. [21]

Совместным проектом GEC и DDC в начале 1980-х было исследование возможности включения CHILL в среду поддержки программирования Ada (APSE) для поддержки проектов, в которых использовались оба языка. [22] Часть проекта DDC использовала исследование денотационной семантики обоих языков и пришла к выводу, что такая интеграция технически осуществима. [23]

DDC продолжала публиковать статьи на конференциях CHILL в первой половине 1980-х, но не после этого. [24]

Проекты Ada [ править ]

Впоследствии DDC разместилась на переоборудованной текстильной фабрике Dansk Gardin & Textil Fabrik  [ da ] вдоль Мёллеоэн в Люнгбю . [14]

Появление поддержки Министерством обороны США языка программирования Ada в период 1979–1980 годов привело к тому, что европейцы проявили интерес к новому языку, и Комиссия Европейских сообществ (CEC) решила выделить финансирование для европейского компилятора Ada и исполняющая система. [25] Консорциум Olivetti из Италии, DDC и Кристиана Ровсинга из Дании представил заявку, которая в начале 1981 года выиграла у франко-германского консорциума, ранее одобренного ранее; половина финансирования поступит из ЦИК, а половина - из датских источников. [25] Оле Н. Ост был переведен из Датского научно-исследовательского центра обороны в DDC для управления работой над Ada. [9]

DDC отвечал за разработку портативной системы программирования на языке Ada. [26] Требования включали размещение компилятора Ada на небольших 16-битных миникомпьютерах, таких как Christian Rovsing CR80D и Olivetti M40, среди других платформ, а также способность умещаться в пределах 80 килобайт кода и 110 килобайт данных. [26] [27] В результате компилятор был построен из множества проходов , в данном случае шести только для внешнего интерфейса, с линеаризованными деревьями, хранящимися в файлах в качестве представления между проходами. [28]

Процесс создания компилятора проходил в четыре этапа: разработка формальной спецификации Ada, разработка формальной спецификации компонентов компилятора; разработка более подробных формальных спецификаций конкретных проходов компилятора; реализация этих спецификаций в самой Ada. [29] Среди формальных подходов использование Венского метода разработки (VDM) было выгодным в этом проекте, потому что он был адаптирован для использования с компьютерными языками и компиляторами и потому, что он позволял поэтапное уточнение операций, а также представлений данных. [30] Центральной целью процесса было доказать, что реализация эквивалентна спецификации. [31] В случаях, когда статическое представление абстрактного синтаксиса требовало включения дополнительных ограничений, определялись критерии корректности - еще один аспект VDM. [32] Первый шаг в этом процессе, формальная спецификация для Ada, уже был начат пятью студентами DTU в 1980 году как часть их магистерских диссертаций. [33]

Ада был сложным для реализации языком, и первые попытки создать для него компилятор часто приводили к разочарованию или полному провалу. [34] Компилятор DDC прошел валидацию в системе VAX / VMS в сентябре 1984 года, став первым европейским компилятором Ada, прошедшим проверку, и оказался успешным. [35] [36] На тот момент на разработку ушло около 44 человеко-лет. [37] Уровень дефектности и затраты на обслуживание для компилятора окажутся значительно ниже, чем в среднем по отрасли. [37]

Внимание к использованию DDC VDM в дизайне компилятора вызвало интерес со стороны других производителей компьютеров, и были начаты продажи того, что стало известно как OEM Compiler Kit DDC [38] (название является отсылкой к бизнес-модели производителя оригинального оборудования ). Система компиляции предлагала две точки для перенацеливания: высокоуровневый промежуточный язык с древовидной структурой и последовательность инструкций для абстрактной стековой машины; последнее означало более короткое время проекта, но обычно не было наиболее оптимизированным сгенерированным кодом. [39] (Над абстрактной виртуальной машиной на основе стека также работал Кристиан Ровсинг; была также идея о возможной реализации ее в аппаратном или микропрограммном обеспечении. [40] ) Первая такая OEM-продажа была сделана Nokia,[38] для повторного размещения на Nokia MPS 10. [41] Второй, с контрактом, заключенным в феврале 1984 г., был с Honeywell Information Systems в Бостоне. [36] [38] Таким образом, компилятор был перенесен на Honeywell DPS6 и утвержден в ноябре 1984 года. [41]

Кроме того, кросс - компиляторы начали разрабатываться с DDC , выполнив одно из VAX / VMS с Intel 8086 , [41] начало того, что бы стать успешной линией продуктов. В декабре 1984 года DDC подписала контракт с Advanced Computer Techniques в Нью-Йорке [10] на основе лицензионных отчислений. [42] Они начали использовать интерфейс DDC для разработки кросс-компилятора для архитектуры MIL-STD-1750A , [41] который стал бы достаточно успешным продуктом для ряда клиентов. [43]

Успех проекта Ada привел к тому, что в 1985 году была образована отдельная компания, названная DDC International A / S , с целью коммерциализации системы компилятора Ada; [6] Ост был назначен управляющим директором компании. [44] Год спустя в штате Аризона была образована американская дочерняя компания этой компании, DDC-I, Inc. [45]

Параллельно с работой над компилятором на разных фронтах была предпринята попытка дать формальное определение Ada с опробованными несколькими различными подходами и метаязыками. [46] Некоторые европейцы утверждали, что такая задача имеет решающее значение и что это единственная основа, на которой должен быть опубликован стандарт ISO для этого языка. [46] ЦИК спонсировала эту работу, и контракт был выигран DDC в партнерстве с двумя итальянскими исследовательскими институтами: Istituto di Elaborazione dell'Informazione (IEI) в Пизе и Consorzio per la Ricerca e le Applications di Informatica (CRAI) в Генуя, работа началась в 1984 году. [38] Дополнительные консультации по проекту были предоставлены сотрудникамиУниверситета Генуи , Университета Пизы и DTU. [47] В ходе работы были построены предыдущие формальные определения, которые были сделаны в DTU и DDC в начале проекта компилятора Ada, но требовалась дальнейшая работа по определению всего языка, и Meta-IV пришлось расширить местами или приняты альтернативные подходы. [48] Эти усилия завершились публикацией в 1987 году полного формального определения Ada, включающего в себя три отдельные публикации и в общей сложности восемь томов. [49] Хотя эти усилия действительно привели к лучшему пониманию языка и внесению ряда уточнений в него, в конечном итоге окончательное определение языка осталось естественным языком в Справочном руководстве по языку Ada.[46]

ПОДНЯТЬ проекты [ править ]

Использование VDM в проектах CHILL и Ada выявило потребность в улучшении формальных методов спецификации, и в 1983 году DDC провела исследование Formal Methods Appraisal, выработав ряд требований, которые должен воплощать формальный язык спецификации. [50]

После этого DDC получила контракт с CEC на разработку преемника VDM, который получил название RAISE (строгий подход к промышленной разработке программного обеспечения). [50] Это было сделано в консорциуме с STC Technology из Великобритании, которая помогла в создании новой технологии, а также с Nordisk Brown Boveri из Дании и International Computers Limited из Великобритании, которые применяли ее в промышленных условиях. [51] [52] Проект потребовал около 120 человеко-лет усилий и стремился создать язык широкого спектра, предназначенный для обработки всех уровней от начального, абстрактного высокого уровня до уровня выше программирования. [52] Он стремился исправить недостатки VDM в отношении модульности, параллелизма и отсутствия инструментов [53], а также стремился унифицировать подходы, принятые в подобных обозначениях Z , CSP , Larch и OBJ . [50]

Помимо языка спецификации RAISE, в рамках проекта также было подготовлено описание лучших практик для метода RAISE [54] и набора инструментов RAISE. [54]

Другие проекты [ править ]

В 1981 году DDC совместно с некоторыми из своих членов провела исследование множества инициатив и продуктов по автоматизации офисов, доступных на тот момент, и опубликовала руководство по таксономии и терминологии, в котором анализировалась данная область. Затем они определили общую систему автоматизации делопроизводства, используя как VDM, так и неформальный язык. [55]

Позже, в течение 1983–1987 годов, DDC работала субподрядчиком в проекте ØK Data по функциональному анализу офисных требований (FAOR) в рамках ESPRIT . [55]

DDC также проводил курсы и семинары по различным темам разработки программного обеспечения и, начиная с 1987 года, инициировал выпуск ежеквартального издания на датском языке Cubus, в котором обсуждались различные технические и научные темы с целью участия в передаче технологий. [56]

Заключение и наследие [ править ]

За время существования центра некоторые из составляющих его участников потеряли интерес к его работе, и компиляторы CHILL или Ada не нуждались в компиляторах, а работа RAISE была слишком амбициозной для их использования. [13] Общее признание Ada как языка не оправдало ожиданий, и продажи продуктов Ada со стороны DDC-I не принесли достаточной прибыли, чтобы деньги могли поступать в DDC. [13] Поскольку устойчивое финансирование стало проблемой, в 1989 году Dansk Datamatik Center был закрыт. [6]

Работа над продуктами Ada велась в DDC-I, где он использовался во многих аэрокосмических и подобных проектах с высокой видимостью. [38] Самым известным из них было программное обеспечение Airplane Information Management System для авиалайнера Boeing 777 . [57] Последующие разработчики компилятора DDC-I Ada часто не так хорошо разбирались в формальных методах, как первоначальные разработчики. [37] Продукты Ada по-прежнему будут приносить доход для DDC-I в 2010-е годы. [38]

Работа DDC и персонал над RAISE были переданы Computer Resources International (CRI) в 1988 году. [52] Они использовали его в качестве основы для европейского проекта ESPRIT II LaCoS в 1990-х годах. [6] Проект RAISE был впоследствии продан Terma A / S , которая использовала его как часть работы для Европейского космического агентства и различных проектов оборонной промышленности. [13]

DDC относительно мало участвовала в скандинавском мире программного обеспечения, потому что полагалась на партнеров и финансирование из Европейского союза, а Дания была единственной скандинавской страной в ЕС в то время. [6] Датский финансовый сектор никогда не проявлял интереса к работе DDC. [6] Оглядываясь назад, основатели центра заявили, что «DDC не удалось [убедить] крупные датские компании в преимуществах использования надежной разработки программного обеспечения, основанной на формальных методах. (Но DDC не очень старалась. .) " [13] Исследователи DDC полагали, что их работа по-прежнему приносит пользу в ознакомлении датских технологических фирм с современными подходами к разработке программного обеспечения и в заполнении этих фирм сотней дизайнеров и разработчиков программного обеспечения, которые работали в DDC, и что в любом случае ", - завершил DDC. большое количество проектов с более высокой производительностью и более высоким качеством продукции, чем это было обычно в 1980-х годах ». [13] В исследовании 2014 года, посвященном 40-летнему опыту работы с формальными методами, Бьёрнер и Клаус Хавелунд сетовали на то, что внедрение формальных методов не получило широкого распространения в индустрии программного обеспечения, и назвали компилятор DDC Ada невоспетой историей успеха, подтверждающей ценность таких методов. использовать. [37]

Библиография [ править ]

  • Бьёрнер, Дайнс; Ост, Оле Н., ред. (1980). Конспект лекции по информатике 98: к формальному описанию Ada . Springer-Verlag.
  • Бьёрнер, Дайнс; Грамм, Кристиан; Oest, Ole N .; Rystrøm, Лейф (2011). "Данск Датаматик Центр". В Impagliazzo, Джон; Лундин, Пер; Wangler, Benkt (ред.). История Nordic Computing 3: Достижения IFIP в области информационных и коммуникационных технологий . Springer. С. 350–359. Немного расширенная версия этой главы доступна в Интернете по адресу https://www.researchgate.net/publication/221271386_Dansk_Datamatik_Center . Дальнейшая расширенная версия является частью онлайн-мемуаров Бьёрнера по адресу http://www.imm.dtu.dk/~dibj/trivia/node5.html . Слайд-презентация Gram на основе статьи доступна в Интернете как Почему Dansk Datamatik Center?
  • Бьёрнер, Дайнс; Хавелунд, Клаус. «40 лет формальных методов: некоторые препятствия и некоторые возможности?». FM 2014: формальные методы: 19-й международный симпозиум, Сингапур, 12–16 мая 2014 г. Материалы . Springer. С. 42–61.
  • Бундгаард, Йорген (май 1985 г.). «Разработка интерфейса Ada для малых компьютеров». SIGAda '85: Материалы ежегодной международной конференции ACM SIGAda 1985 года по Аде . Ассоциация вычислительной техники. С. 321–328.
  • Clemmensen, Geert B .; Ост, Оле Н. (март 1984 г.). «Формальная спецификация и разработка компилятора Ada - пример VDM». ICSE '84 Материалы 7-й международной конференции по программной инженерии . IEEE Press. С. 430–440.
  • Клемменсен, Герт Б. (январь 1986 г.). «Ретаргетинг и повторный хостинг системы компиляции DDC Ada: пример из практики - Honeywell DPS 6». ACM SIGAda Ada Letters . 6 (1): 22–28. DOI : 10.1145 / 382256.382794 .
  • Фитцджеральд, Джон С .; Ларсен, Питер Горм; Верхоф, Марсель (2009). «Венский метод развития». In Wah, Бенджамин В. (ред.). Энциклопедия компьютерных наук и инженерии Wiley . Вайли. С. 2971–2982.
  • Джордж, Крис. «Язык спецификации RAISE: Учебное пособие». VDM '91: формальные методы разработки программного обеспечения: 4-й международный симпозиум VDM в Европе, Нордвейкерхаут, Нидерланды, октябрь 1991 г., Материалы . 2 . Springer-Verlag. С. 238–319.
  • Ибсен, Лейф (январь 1984 г.). «Портативная виртуальная машина для Ады». Программное обеспечение: практика и опыт . 14 (1): 17–29. DOI : 10.1002 / spe.4380140104 .
  • Мэйлин, Эрик; Палм, Стин У. (январь – февраль 1984 г.). «Сравнительное исследование CHILL и Ada на основе денотационных описаний». ACM SIGAda Ada Letters . 3 (4): 78–91. DOI : 10.1145 / 989954.989959 .
  • О'Реган, Джерард (2006). Математические подходы к качеству программного обеспечения . Лондон: Спрингер.
  • Полсен, Гард (2011). Betwixt и между: Программное обеспечение в телекоммуникациях и язык программирования Chill, 1974–1999 (доктор философии). Осло: Норвежская бизнес-школа BI.
  • Педерсен, Ян Сторбанк. "VDM в трех поколениях формальных описаний Ады". VDM '87: Формальный метод VDM-A в действии: Симпозиум VDM-Europe 1987, Брюссель, Бельгия, март 1987, Материалы . Springer-Verlag. С. 33–48.
  • Prehn, Søren. «От VDM к RAISE». VDM '87: Формальный метод VDM-A в действии: Симпозиум VDM-Europe 1987, Брюссель, Бельгия, март 1987, Материалы . Springer-Verlag. С. 141–150.
  • «Интервью с Оскаром Шахтером» (Интервью). Беседовал Томас Хей. Институт Чарльза Бэббиджа, Университет Миннесоты. 7 мая 2004 г.Запись WorldCat
  • Уитакер, Уильям А. (1996). «Ада - Проект: Рабочая группа по высокому уровню языка Министерства обороны США» . In Bergin, Thomas J .; Гибсон, Ричард Г. (ред.). История языков программирования - II . Эддисон-Уэсли Профессионал. С. 173–232.

Ссылки [ править ]

  1. ^ Бьорнер, Gram, Oest и Rystrøm, "Dansk Datamatik Центр", стр. 351-352.
  2. ^ О'Реган, Математические подходы к качеству программного обеспечения , стр. 92–93.
  3. ^ Фитцджеральд, Ларсен и Верхоф, "Венский метод развития".
  4. ^ Бьорнер, Gram, Oest и Rystrøm, "Dansk Datamatik Центр", стр. 350.
  5. ^ Бьорнер, Gram, Oest и Rystrøm, "Dansk Datamatik Центр", стр. 350-351.
  6. ^ a b c d e f g Бьёрнер, Грам, Ост и Ристром, "Dansk Datamatik Center", стр. 351.
  7. ^ a b Бьёрнер и Ост, К формальному описанию Ады , стр. xiii – xiv.
  8. ^ Бьорнер, Gram, Oest и Rystrøm, "Dansk Datamatik центр", расширенная версия, стр. 2.
  9. ^ a b c Bjørner et. др., "Dansk Datamatik Center", дальнейшая расширенная версия.
  10. ^ a b Соглашение о маркетинге и распространении Ada TM . Dansk Datamatik Center, Передовые компьютерные технологии. 20 декабря 1984 г.
  11. ^ а б Грам и др. др., «Почему Dansk Datamatik Center?», презентационная версия, слайд 3.
  12. ^ Бьорнер, Gram, Oest и Rystrøm, "Dansk Datamatik центр", расширенная версия, стр. 3.
  13. ^ Б с д е е Бьорнеров, Gram, Oest и Rystrøm, "Dansk Datamatik центра", стр. 357-358.
  14. ^ a b Клемменсен, «Ретаргетинг и повторный хостинг системы компиляции DDC Ada», авторская принадлежность дает адрес Dansk Datamatik Center как Lundtoftevej 1C, DK-2800 Lyngby; об истории и местонахождении этого сооружения см. "Julekort 2017" (на датском языке). Emcon . Проверено 19 января 2021 года .
  15. ^ "Æresbevisninger" (на датском языке). friisgrafik.dk . Дата обращения 5 июня 2015 .
  16. ↑ Paulsen, Betwixt и между ними , стр. 137–138.
  17. ^ a b c d Бьёрнер, Грам, Ост и Ристром, "Dansk Datamatik Center", стр. 352.
  18. ^ Бьёрнер и Ост, К формальному описанию Ады , стр. vii.
  19. ^ Паульсен, Betwixt и между ними , стр. 139.
  20. ↑ Paulsen, Betwixt и между ними , стр. 139–140.
  21. ↑ Paulsen, Betwixt и между ними , стр. 216–217.
  22. ^ Полсен, Betwixt и между ними , с. 180, 216.
  23. ^ Мейлинг и Палм, «Сравнительное исследование ЧИЛЛ и Ады на основе денотационных описаний», стр. 78, 88.
  24. ^ Паульсен, Betwixt и между ними , стр. 199.
  25. ^ a b Бьёрнер, Грам, Ост и Ристром, "Dansk Datamatik Center", стр. 353.
  26. ^ a b Клемменсен и Ост, "Формальная спецификация и разработка компилятора Ada", стр. 431.
  27. ^ Bundgaard, "Разработка внешнего интерфейса Ada для малых компьютеров", стр. 321.
  28. ^ Bundgaard, «Развитие в передней части Ada для маленьких компьютеров», стр. 322, 325.
  29. ^ Клемменсен и Ост, "Формальная спецификация и разработка компилятора Ada", стр. 432.
  30. ^ Клемменсен и Ост, "Формальная спецификация и разработка компилятора Ada", стр. 430.
  31. ^ Клемменсен и Ост, "Формальная спецификация и разработка компилятора Ada", стр. 430–431.
  32. ^ Клемменсен и Ост, "Формальная спецификация и разработка компилятора Ada", стр. 432, 440n.
  33. ^ Бьёрнер и Ост, К формальному описанию Ады , стр. vi.
  34. ↑ Уитакер, «Ада - Проект», стр. 217–218.
  35. ^ Bundgaard, "Разработка внешнего интерфейса Ada для малых компьютеров", стр. 322.
  36. ^ a b Клемменсен, "Перенацеливание и повторный хостинг системы компиляции DDC Ada", стр. 22.
  37. ^ a b c d Бьёрнер и Хавелунд, «40 лет формальных методов», стр. 48–49.
  38. ^ a b c d e f Бьёрнер, Грам, Ост и Ристром, "Dansk Datamatik Center", стр. 354.
  39. ^ Клемменсно, «перепланирование и rehosting системы компилятор DDC Ад», стр. 24-25.
  40. ↑ Ибсен, «Портативная виртуальная машина для Ады», стр. 17, 27.
  41. ^ a b c d Bundgaard, "Разработка внешнего интерфейса Ada для малых компьютеров", стр. 328.
  42. ^ Хэй, Интервью с Оскаром Шахтером , стр. 22.
  43. ^ Хей, Интервью с Оскаром Шехтера , стр. 17, 22.
  44. ^ Бьорнер, Gram, Oest и Rystrøm, "Dansk Datamatik центр", расширенная версия, стр. 11.
  45. ^ "DDC-I, Inc" . OpenCorporates . Проверено 20 сентября 2015 года .
  46. ^ a b c Уитакер, «Ада - Проект», стр. 215–216.
  47. ^ Педерсен, "VDM в трех поколениях формальных описаний Ады", стр. 34.
  48. ^ Педерсен, "VDM в трех поколениях формальных описаний Ады", стр. 44–46.
  49. ↑ Уитакер, «Ада - Проект», стр. 226–228.
  50. ^ a b c Бьёрнер, Грам, Ост и Ристром, "Dansk Datamatik Center", стр. 355.
  51. ^ Prehn, "От VDMчтобы поднять", стр. 144-145.
  52. ^ a b c Джордж, "Язык спецификации RAISE", стр. 238.
  53. ^ Прен, "От VDM к RAISE", стр. 141.
  54. ^ a b Джордж, "Язык спецификации RAISE", стр. 239.
  55. ^ a b Бьёрнер, Грам, Ост и Ристром, «Dansk Datamatik Center», стр. 355–356.
  56. ^ Бьорнер, Gram, Oest и Rystrøm, "Dansk Datamatik Центр", стр. 356-357.
  57. ↑ Вулф, Александр (октябрь 2004 г.). «В Аде еще осталось немного жизни» . Очередь ACM .Также на http://delivery.acm.org/10.1145/1040000/1035608/p28-wolfe.pdf [ постоянная мертвая ссылка ]