✖


Jump to content

Датский центр информатики

    Add links
    Это хорошая статья. Нажмите здесь для получения дополнительной информации.

    Датский центр информатики
    Аббревиатура ДДК
    Преемник ДДК Интернэшнл А/С, ДДК-I
    Формирование Сентябрь 1979 г. ( 1979-09 )
    Растворенный 1989  ( 1989 )
    Тип Центр исследований и разработок
    Расположение
    Услуги Информатика
    Управляющий
    		Лейф Ристрём
    Научный руководитель
    		Динес Бьорнер
    Менеджер проектов Ada
    		Оле Н. Оест
    Бюджет (1984)
    		датских крон 13 миллионов
    Персонал (1984)
    		40

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

    На протяжении большей части существования центра доминировали три крупных проекта. Первый касался формальной спецификации и компиляции языка программирования CHILL для использования в телекоммуникационных коммутаторах. Второй включал формальную спецификацию и компиляцию языка программирования Ada . И Ada, и CHILL использовали формальные методы. [1] В частности, DDC работала с Meta-IV , ранней версией языка спецификаций формального метода Венского метода разработки (VDM) для разработки компьютерных систем. Основанная Динесом Бьёрнером , она представляла собой «датскую школу» VDM. [2] Такое использование VDM привело в 1984 году к тому, что компилятор Ada DDC стал первым европейским компилятором 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] десять крупных производителей или пользователей информационных технологий Платными членами новой структуры стали в Дании: Кристиан Ровсинг [ да ] , Crone & Koch, Датский институт оборонных исследований , Datacentralen af ​​1959 [ да ] , Jydsk Telefon [ да ] , Kommunedata , Regnecentralen af ​​1979 , Sparekassernes Datacenter, Teleteknisk Forskninglaboratorium [ da ] (TFL) и ØK Data, при этом каждый участник платит 100 000 датских крон в год. [6]

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

    Появление поддержки Министерства обороны США языка программирования Ada в период 1979–80 годов также привело к интересу Европы к новому языку, и Комиссия Европейских сообществ (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] Первый шаг в этом процессе — формальная спецификация Ады — уже был начат пятью студентами DTU в 1980 году в рамках подготовки магистерских диссертаций. [33]

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

    Внимание к использованию DDC VDM при разработке компиляторов вызвало интерес со стороны других производителей компьютеров, и начались продажи того, что стало известно как DDC OEM Compiler Kit. [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]

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

    ПОДНИМАЙТЕ проекты [ править ]

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

    После этого DDC получила контракт CEC на разработку преемника VDM, который получил название RAISE (Rigorous Approach to Industrial Software Engineering). [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) в рамках проекта. ЭСПРИТ . [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] Последующие разработчики компилятора Ada DDC-I зачастую не так хорошо разбирались в формальных методах, как первоначальные разработчики. [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 году Бьорнер и Клаус Хавелунд посетовали, что внедрение формальных методов не получило широкого распространения в индустрии программного обеспечения, и назвали компилятор DDC Ada незамеченной историей успеха, демонстрирующей ценность такого использования. [37]

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

    • Бьёрнер, Дайнс; Оест, Оле Н., ред. (1980). Конспект лекций по информатике 98: К формальному описанию Ады . Спрингер-Верлаг.
    • Бьёрнер, Дайнс; Грэм, Кристиан; Оест, Оле Н.; Ристрем, Лейф (2011). «Данский Датаматик Центр». В Импальяццо, Джон; Лундин, Пер; Ванглер, Бенкт (ред.). История Nordic Computing 3: Достижения ИФИП в области информационных и коммуникационных технологий . Спрингер. стр. 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 г. Труды . Спрингер. стр. 42–61.
    • Бундгаард, Йорген (май 1985 г.). «Разработка интерфейса Ada для небольших компьютеров». SIGAda '85: Материалы ежегодной международной конференции ACM SIGAda по Аде 1985 года . Ассоциация вычислительной техники. стр. 321–328.
    • Клемменсен, Герт Б.; Оест, Оле Н. (март 1984 г.). «Формальная спецификация и разработка компилятора Ada - пример VDM». ICSE '84 Материалы 7-й международной конференции по программной инженерии . IEEE Пресс. стр. 430–440.
    • Клемменсен, Герт Б. (январь 1986 г.). «Перенацеливание и повторный хостинг системы компилятора Ada DDC: практический пример — Honeywell DPS 6». ACM SIGAda Ada Letters . 6 (1): 22–28. дои : 10.1145/382256.382794 . S2CID   16337448 .
    • Фицджеральд, Джон С.; Ларсен, Питер Горм; Верховф, Марсель (2009). «Венский метод развития». В Вау, Бенджамин В. (ред.). Энциклопедия компьютерных наук и техники Wiley . Уайли. стр. 2971–2982.
    • Джордж, Крис. «Язык спецификации RAISE: Учебное пособие». VDM '91: Формальные методы разработки программного обеспечения: 4-й международный симпозиум VDM Europe, Нордвейкерхаут, Нидерланды, октябрь 1991 г., Материалы . Том. 2. Шпрингер-Верлаг. стр. 238–319.
    • Ибсен, Лейф (январь 1984 г.). «Портативная виртуальная машина для Ады». Программное обеспечение: практика и опыт . 14 (1): 17–29. дои : 10.1002/спе.4380140104 . S2CID   206508565 .
    • Мэйлин, Эрик; Палм, Стин У. (январь – февраль 1984 г.). «Сравнительное исследование CHILL и Ada на основе денотативных описаний». ACM SIGAda Ada Letters . 3 (4): 78–91. дои : 10.1145/989954.989959 . S2CID   17168261 .
    • О'Риган, Джерард (2006). Математические подходы к качеству программного обеспечения . Лондон: Спрингер.
    • Полсен, Гар (2011). Между и между: Программное обеспечение в сфере телекоммуникаций и язык программирования Chill, 1974–1999 (доктор философии). Осло: Норвежская школа бизнеса BI.
    • Педерсен, Ян Сторбанк. «VDM в трех поколениях формальных описаний Ada». VDM '87: Формальный метод VDM-A в действии: Симпозиум VDM-Europe 1987, Брюссель, Бельгия, март 1987 г., Материалы . Спрингер-Верлаг. стр. 33–48.
    • Прен, Сорен. «От ВДМ до ПОДЪЕМА». VDM '87: Формальный метод VDM-A в действии: Симпозиум VDM-Europe 1987, Брюссель, Бельгия, март 1987 г., Материалы . Спрингер-Верлаг. стр. 141–150.
    • «Интервью с Оскаром Шахтером» (Интервью). Беседовал Томас Хей. Институт Чарльза Бэббиджа, Университет Миннесоты. 7 мая 2004 г. Запись WorldCat .
    • Уитакер, Уильям А. (1996). «Ада — Проект: Рабочая группа Министерства обороны США по языкам высшего порядка» . В Бергине, Томас Дж.; Гибсон, Ричард Г. (ред.). История языков программирования — II . Аддисон-Уэсли Профессионал. стр. 173–232.

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

    1. ^ Бьорнер, Грам, Ост и Ристрём, «Датский центр данных», стр. 351–352.
    2. ^ О'Риган, Математические подходы к качеству программного обеспечения , стр. 92–93.
    3. ^ Фицджеральд, Ларсен и Верхов, «Венский метод развития».
    4. ^ Бьорнер, Грам, Ост и Ристрём, «Датский центр данных», стр. 350.
    5. ^ Бьорнер, Грам, Ост и Ристрём, «Датский центр данных», стр. 350–351.
    6. ^ Jump up to: Перейти обратно: а б с д и ж г Бьорнер, Грам, Ост и Ристрём, «Датский центр данных», стр. 351.
    7. ^ Jump up to: Перейти обратно: а б Бьёрнер и Ост, К формальному описанию Ады , с. xiii–xiv.
    8. ^ Бьёрнер, Грам, Ост и Ристрём, «Датский центр данных», расширенная версия, стр. 2.
    9. ^ Jump up to: Перейти обратно: а б с Бьорнер и др., «Датский центр данных», расширенная версия.
    10. ^ Jump up to: Перейти обратно: а б Соглашение о маркетинге и распространении Ada TM . Датский компьютерный центр, передовые компьютерные технологии. 20 декабря 1984 года.
    11. ^ Jump up to: Перейти обратно: а б Грам и др., «Почему Dansk Datamatik Center?», презентационная версия, слайд 3.
    12. ^ Бьёрнер, Грам, Ост и Ристрём, «Датский центр данных», расширенная версия, стр. 3.
    13. ^ Jump up to: Перейти обратно: а б с д и ж Бьёрнер, Грам, Ост и Ристрём, «Датский центр данных», стр. 357–358.
    14. ^ Jump up to: Перейти обратно: а б Клемменсен, «Перенацеливание и повторный хостинг системы компилятора DDC Ada», авторская принадлежность указывает адрес Dansk Datamatik Center как Lundtoftevej 1C, DK-2800 Lyngby; историю и местонахождение этого сооружения см. «Юлекорт 2017» (на датском языке). Эмкон . Проверено 19 января 2021 г.
    15. ^ «Æresbevisninger» (на датском языке). friisgrafik.dk. Архивировано из оригинала 29 октября 2015 года . Проверено 5 июня 2015 г.
    16. ^ Полсен, Между и между , стр. 137–138.
    17. ^ Jump up to: Перейти обратно: а б с д Бьорнер, Грам, Ост и Ристрём, «Датский центр данных», стр. 352.
    18. ^ Бьёрнер и Ост, К формальному описанию Ады , стр. VII.
    19. ^ Полсен, Между и между , с. 139.
    20. ^ Полсен, Между и между , стр. 139–140.
    21. ^ Полсен, Между и между , стр. 216–217.
    22. ^ Полсен, Между и между , стр. 180, 216.
    23. ^ Мэйлин и Палм, «Сравнительное исследование CHILL и Ады на основе денотационных описаний», стр. 78, 88.
    24. ^ Полсен, Между и между , с. 199.
    25. ^ Jump up to: Перейти обратно: а б Бьорнер, Грам, Ост и Ристрём, «Датский центр данных», стр. 353.
    26. ^ Jump up to: Перейти обратно: а б Клемменсен и Ост, «Формальная спецификация и разработка компилятора Ada», стр. 431.
    27. ^ Бундгаард, «Разработка интерфейса Ada для небольших компьютеров», стр. 321.
    28. ^ Бундгаард, «Разработка интерфейса Ada для небольших компьютеров», стр. 322, 325.
    29. ^ Клемменсен и Оэст, «Формальная спецификация и разработка компилятора Ada», стр. 432.
    30. ^ Клемменсен и Оэст, «Формальная спецификация и разработка компилятора Ada», стр. 430.
    31. ^ Клемменсен и Ост, «Формальная спецификация и разработка компилятора Ada», стр. 430–431.
    32. ^ Клемменсен и Оэст, «Формальная спецификация и разработка компилятора Ada», стр. 432, 440n.
    33. ^ Бьёрнер и Ост, К формальному описанию Ады , стр. VI.
    34. ^ Уитакер, «Ада — Проект», стр. 217–218.
    35. ^ Бундгаард, «Разработка интерфейса Ada для небольших компьютеров», стр. 322.
    36. ^ Jump up to: Перейти обратно: а б Клемменсен, «Перенацеливание и повторное размещение системы компилятора Ada DDC», стр. 22.
    37. ^ Jump up to: Перейти обратно: а б с д Бьёрнер и Хавелунд, «40 лет формальных методов», стр. 48–49.
    38. ^ Jump up to: Перейти обратно: а б с д и ж Бьорнер, Грам, Ост и Ристрём, «Датский центр данных», стр. 354.
    39. ^ Клемменсен, «Перенацеливание и повторный хостинг системы компилятора Ada DDC», стр. 24–25.
    40. ^ Ибсен, «Портативная виртуальная машина для Ады», стр. 17, 27.
    41. ^ Jump up to: Перейти обратно: а б с д Бундгаард, «Разработка интерфейса Ada для небольших компьютеров», стр. 328.
    42. ^ Хей, Интервью с Оскаром Шахтером , с. 22.
    43. ^ Хей, Интервью с Оскаром Шахтером , стр. 17, 22.
    44. ^ Бьёрнер, Грам, Ост и Ристрём, «Датский центр данных», расширенная версия, стр. 11.
    45. ^ «ДДК-И, Инк» . Открытые корпорации . Проверено 20 сентября 2015 г.
    46. ^ Jump up to: Перейти обратно: а б с Уитакер, «Ада — Проект», стр. 215–216.
    47. ^ Педерсен, «VDM в трех поколениях формальных описаний Ады», стр. 34.
    48. ^ Педерсен, «VDM в трех поколениях формальных описаний Ады», стр. 44–46.
    49. ^ Уитакер, «Ада — Проект», стр. 226–228.
    50. ^ Jump up to: Перейти обратно: а б с Бьорнер, Грам, Ост и Ристрём, «Датский центр данных», стр. 355.
    51. ^ Прен, «От VDM до RAISE», стр. 144–145.
    52. ^ Jump up to: Перейти обратно: а б с Джордж, «Язык спецификации RAISE», стр. 238.
    53. ^ Прен, «От VDM до RAISE», с. 141.
    54. ^ Jump up to: Перейти обратно: а б Джордж, «Язык спецификации RAISE», стр. 239.
    55. ^ Jump up to: Перейти обратно: а б Бьёрнер, Грам, Ост и Ристрём, «Датский центр данных», стр. 355–356.
    56. ^ Бьорнер, Грам, Ост и Ристрём, «Датский центр данных», стр. 356–357.
    57. ^ Вулф, Александр (октябрь 2004 г.). «В Аде еще осталась жизнь» . Очередь АКМ . Также по адресу http://delivery.acm.org/10.1145/1040000/1035608/p28-wolfe.pdf. [ постоянная мертвая ссылка ]
    Retrieved from "https://en.wikipedia.org/w/index.php?title=Dansk_Datamatik_Center&oldid=1194413929"
    Arc.Ask3.Ru: конец переведенного документа.
    Arc.Ask3.Ru
    Номер скриншота №: b1263cdb5c6289cec7720bd09b9baf03__1704740520
    URL1:https://arc.ask3.ru/arc/aa/b1/03/b1263cdb5c6289cec7720bd09b9baf03.html
    Заголовок, (Title) документа по адресу, URL1:
    Dansk Datamatik Center - Wikipedia
    Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)