Dansk Datamatik Center - Dansk Datamatik Center

Dansk Datamatik Center
Logo centra Dansk Datamatik.png
ZkratkaDDC
NástupceDDC International A / S, DDC-I
FormaceZáří 1979 (1979-09)
Rozpuštěno1989 (1989)
TypCentrum výzkumu a vývoje
Umístění
SlužbyPočítačová věda
Jednatel firmy
Leif Rystrøm
Vědecký vedoucí
Večeře Bjørner
Manažer, projekty Ada
Ole N. Oest
Rozpočet (1984)
DKK 13 milionů
Personál (1984)
40

Dansk Datamatik Center (DDC) bylo dánské centrum pro výzkum a vývoj softwaru, které existovalo v letech 1979 až 1989. Jeho hlavním účelem bylo demonstrovat význam používání moderních technik, zejména těch, které zahrnují formální metody, v softwarový design a rozvoj.

Většinu existence centra ovládly tři velké projekty. První se týkala formální specifikace a sestavení CHILL programovací jazyk pro použití v telekomunikačních přepínačích. Druhý zahrnoval formální specifikaci a kompilaci Programovací jazyk Ada. Jak úsilí Ada, tak CHILL využily formálních metod.[1] Zejména DDC spolupracovalo Meta-IV, časná verze specifikačního jazyka Vídeňská rozvojová metoda (VDM) formální metoda pro vývoj počítačových systémů. Jak založil Večeře Bjørner, to představovalo „dánskou školu“ VDM.[2] Toto použití VDM vedlo v roce 1984 k tomu, že se kompilátor DDC Ada stal prvním evropským překladačem Ada, který byl ověřen Ministerstvo obrany Spojených států.[3] Třetí velký projekt byl věnován vytvoření nové formální metody, VYZDVIHNOUT.

Úspěch systému překladače Ada by vedl k vytvoření obchodní společnosti DDC International A / S (DDC-I, Inc. v USA) v roce 1985, který by je vyvíjel, vyráběl a prodával jak přímo, tak na bázi OEM.

Počátky

Počátky DDC byly v Technická univerzita v Dánsku.

Vznik centra vznikl na jaře 1979 na Technická univerzita v Dánsku (DTU) - nachází se v Kongens Lyngby, severně od Kodaně - jako myšlenka jednoho z členů její fakulty výpočetní techniky Christiana Grama, který o tom diskutoval s kolegou, Večeře Bjørner.[4] Při pohledu na softwarová krize tehdy to cítili počítačová věda vytvořil základní a teoretické přístupy, které by při použití mohly vytvořit vývoj softwaru profesionálnější proces a umožnit vývoj velkých softwarových systémů včas a kvalitně.[5]

Přiblížili se k Akademiet pro de Tekniske Videnskaber (ATV, dánská akademie technických věd) s touto myšlenkou a v září 1979 vzniklo Dansk Datamatik Center jako institut ATV pro pokročilý vývoj softwaru.[6] (V některých dřívějších dokumentech se také označovalo jako dánské datatické centrum.[7]) Deset velkých producentů nebo uživatelů informační technologie v Dánsku se stali platícími členy nového subjektu: Christian Rovsing [da ]Crone & Koch Založení dánského obranného výzkumu, Datacentralen 1959 [da ], Jydsk Telefon [da ], Kommunedata, Regnecentralen af ​​1979 Datové centrum Sparekassernes, Teleteknisk Forskningslaboratorium [da ] (TFL) a ØK Data, přičemž každý člen platí DKK 100 000 ročně.[6]

Večeře Bjørner se stal vědeckým vedoucím centra.[8]Výkonným ředitelem DDC byl Leif Rystrøm.[9][10] Když dosáhlo největší velikosti kolem roku 1984,[11] v DDC pracovalo asi 30–35 profesionálních zaměstnanců,[12] s přibližně 40 zaměstnanci celkem.[13] Do roku 1984 měla DDC rozpočet 13 milionů DKK, což je podstatné zvýšení oproti původnímu rozpočtu 1 milion DKK.[11] Mnoho najatých inženýrů pocházelo z DTU a Kodaňská univerzita.[9] Na začátku bylo centrum umístěno v budově v areálu DTU,[7] ale pak se stal umístěn v přestavěné textilní továrně podél Mølleåen, blízko centra Lyngby.

Červené logo DDC inspirované kostkou navrhl Ole Friis, který v roce 1984 vyhrál IG cena [da ] z Dánské designové centrum pro to.[14]

CHILL projekty

V průběhu roku 1978 se Bjørner začal zajímat o vytvoření formální definice pomocí denotační sémantika, programovacího jazyka CHILL, který je ve vývoji.[15]V tomto roce byly zahájeny práce na formální definici CHILL na základě žádosti Teleteknisk Forskningslaboratorium, přidělené skupině pod Comité Consultatif International Téléphonique et Télégraphique (CCITT) a provedeno na DTU,[16] s asi osmnácti studenty pracuje na tomto úsilí.[17] Jakmile bylo založeno DDC, formální definice zde byla dokončena v letech 1980 a 1981.[16][18] Názory na hodnotu úsilí se liší: Bjørner uvedl, že objevil definiční problém, který vedl ke zjednodušení jazyka, zatímco Remi Bourgonjon z Philips, svolávající fórum implementátorů pořádané CCITT, považoval formální definici za příliš komplikovanou a přišel příliš pozdě na to, aby přinesl prospěch návrhářům překladačů CHILL.[19]

Zároveň byl vyvinut kompilátor CHILL, který opět začínal před DDC, ale byl dokončen jím a TFL.[16] Byl vyvinut pomocí formálních metod. Tyto dvě organizace zveřejnily kompilátor a měl by důležitou roli ve vzdělávání týkajícím se jazyka CHILL.[16] To bylo také upraveno britskou firmou Imperial softwarová technologie s novým generátorem kódu a našel použití GEC a další v 80. letech.[20]

Společný projekt GEC a DDC provedené na začátku 80. let bylo vyšetřovat začlenění CHILL do Prostředí podpory programování Ada (APSE), na podporu projektů, které používaly oba jazyky.[21] Část projektu DDC použila zkoumání denotační sémantiky obou jazyků a dospěla k závěru, že taková integrace je technicky proveditelná.[22]

DDC se i nadále podílelo na vydávání příspěvků na konferencích CHILL v první polovině 80. let, ale až poté.[23]

Projekty Ada

DDC se následně nacházelo v Dansk Gardin & Textil Fabrik [da ] převedený textilní mlýn podél Mølleåen v Lyngby.

Nástup sponzoringu amerického ministerstva obrany USA Programovací jazyk Ada během období 1979–80 vedlo k evropskému zájmu také o nový jazyk a Komise Evropských společenství (CEC) se rozhodla přidělit financování evropskému kompilátoru Ada a běhovému systému.[24] Konsorcium Olivetti z Itálie a DDC a Christian Rovsing z Dánska podali nabídku, která počátkem roku 1981 zvítězila nad dříve zvýhodněnou nabídkou francouzsko-německého konsorcia; polovina financování pochází z CEC a polovina z dánských zdrojů.[24] Ole N. Oest byl převeden z dánského obranného výzkumného ústavu do DDC, aby řídil práci Ady.[9]

DDC byl zodpovědný za vývoj přenosného programovacího systému Ada.[25] Mezi požadavky patřilo hostování kompilátoru Ada na malém, 16bitovém minipočítače jako je Christian Rovsing CR80D a Olivetti M40, mimo jiné platformy, a schopnost zmestit se do kódu 80 kB a dat 110 kB.[25][26] Výsledkem bylo sestavení kompilátoru mnoha průchodů, v tomto případě šest pouze pro přední část, s linearizovanými stromy uloženými v souborech jako reprezentace mezi průchody.[27]

Proces vytváření kompilátoru prošel čtyřmi kroky: vývoj formální specifikace Ada, vývoj formální specifikace komponent kompilátoru; vývoj podrobnějších formálních specifikací jednotlivých kompilátorů; implementace těchto specifikací v samotné Adě.[28] Obecnou myšlenkou bylo dokázat, že implementace byla ekvivalentní specifikaci. Kritéria správného tvarování byla použita k dodání dalších omezení operací nad rámec toho, co bylo definováno abstraktní syntaxí. První krok v procesu, formální specifikaci pro Adu, již zahájilo pět studentů na DTU v roce 1980 jako součást diplomových prací.[29]

Ada byla obtížně implementovatelným jazykem a rané překladačské projekty často ukázaly zklamání.[30] Ale kompilátor DDC se osvědčil a byl nejprve ověřen na VAX / VMS systému v září 1984.[31] Jako takový to byl první evropský překladač Ada, který tuto značku splnil.[32] V tom okamžiku se do toho zapojilo asi 44 osoboroků vývojové práce.[33] Míra vad a náklady na údržbu by se ukázaly být výrazně nižší pro kompilátor než pro průměr softwarového průmyslu.[33]

Pozornost týkající se použití VDM společností DDC při návrhu kompilátoru vedla k zájmu jiných výrobců počítačů a došlo k prodeji takzvané DDC OEM Compiler Kit.[34] Systém kompilátoru nabídl dva body pro přesměrování, střední jazyk se strukturou stromů na vysoké úrovni a posloupnost pokynů pro abstraktní zásobníkový stroj; druhý znamenal kratší časy projektu, ale obvykle ne nejoptimalizovanější generovaný kód.[35] (Na abstraktním virtuálním stroji založeném na zásobníku pracoval také Christian Rovsing; byla zde také nějaká představa o možné implementaci do hardwaru nebo firmwaru.[36]) První takový prodej OEM byl společnosti Nokia,[34] pro rehosting na Nokii MPS 10.[37] Druhý, se smlouvou uzavřenou v únoru 1984, byl s Informační systémy Honeywell v Bostonu.[32][34] Překladač byl tedy přepracován a znovu zacílen na Honeywell DPS6 a ověřena v listopadu 1984.[37]

Navíc, křížové překladače se začal vyvíjet, přičemž DDC provádělo jeden z VAX / VMS do Intel 8086,[37] začínající úspěšnou řadou produktů. V prosinci 1984 podepsalo DDC smlouvu s Pokročilé počítačové techniky v New Yorku,[10] na základě ujednání o licenčním poplatku.[38] Začali používat frontend DDC k vývoji cross-kompilátoru pro MIL-STD-1750A architektura,[37] který by se stal přiměřeně úspěšným produktem s řadou zákazníků.[39]

Úspěch projektu Ada vedl v roce 1985 ke vzniku samostatné společnosti s názvem DDC International A / S za účelem komercializace produktu systému kompilátoru Ada.[6] Oest byl jmenován generálním ředitelem DDC International.[40] O rok později DDC-I, Inc. následoval ve Spojených státech.[41]

Souběžně s prací kompilátoru došlo na různých frontách k formální definici Ady, přičemž bylo vyzkoušeno několik různých přístupů a metajazyků.[42] Někteří Evropané tvrdili, že takový úkol byl kritický a že to byl jediný základ, na kterém byl ISO standard pro daný jazyk by měl být zveřejněn.[42] CEC tuto práci sponzorovala a zakázku získala DDC ve spolupráci se dvěma italskými subjekty, Istituto di Elaborazione dell’Informazione (IEI) v Pise a Consorzio per la Ricerca e le Applicazioni di Informatica (CRAI) v Janově, práce začaly v roce 1984.[34] Další konzultace k projektu poskytli zaměstnanci v Univerzita v Janově, Univerzita v Pise a na DTU.[43] Práce vytvořila předchozí formální definice, které byly provedeny na DTU a DDC na začátku projektu kompilátoru Ada, ale bylo zapotřebí další práce, aby bylo možné definovat celý jazyk a Meta-IV bylo třeba rozšířit na místech nebo použít alternativní přístupy .[44] Toto úsilí vyvrcholilo vydáním úplné formální definice Ady v roce 1987, které zahrnovalo tři samostatné publikace a celkem osm svazků.[45] I když toto úsilí vedlo k lepšímu porozumění jazyku a bylo k němu učiněno několik vysvětlení, nakonec konečná definice jazyka zůstala přirozenou jazykovou v příručce Ada Language Reference Manual.[42]

Projekty RAISE

Použití VDM v projektech CHILL a Ada odhalilo potřebu zdokonalení technik formální specifikace a v roce 1983 DDC provedlo studii Formal Methods Appraisal, která přinesla řadu požadavků, které by jazyk formální specifikace měl obsahovat.[46]

Poté byla DDC udělena smlouva CEC na vývoj nástupce VDM, který byl povolán VYZDVIHNOUT (Rigorózní přístup k průmyslovému softwarovému inženýrství).[46] To bylo provedeno v konsorciu s Technologie STC Velké Británie, která pomohla při vytváření nové technologie, as Nordisk Brown Boveri Dánska a International Computers Limited Británie, která to uplatnila v průmyslovém prostředí.[47][48] Projekt zahrnoval přibližně 120 osoboroků úsilí a usiloval o vytvoření širokospektrální jazyk zamýšlel zvládnout každou úroveň od počáteční, vysoké abstraktní úrovně až po jednu úroveň nad programováním.[48] Snažila se napravit slabiny VDM s ohledem na modularitu, souběžnost a nedostatek nástrojů,[49] a také se snažilo sjednotit přístupy přijaté podobnými Z notace, CSP, Modřín, a OBJ.[46]

Projekt nevytvořil pouze jazyk specifikace RAISE, ale také popis metody RAISE s popisem osvědčených postupů, jak používat novou technologii.[50] Vyrobena byla také sada nástrojů RAISE.[50]

Další projekty

V roce 1981 provedlo DDC ve spolupráci s některými svými členy studii o mnoha z nich kancelářská automatizace poté byly k dispozici iniciativy a produkty a zveřejněna příručka taxonomie a terminologie, která analyzovala doménu. Poté specifikovali obecný systém automatizace kanceláří pomocí VDM i neformálního jazyka.[51]

Později v letech 1983–1987 pracovalo DDC jako subdodavatel pro člena ØK Data na internetu Funkční analýza kancelářských požadavků (FAOR) projekt podESPRIT.[51]

DDC také pořádal kurzy a semináře k různým tématům vývoje softwaru a od roku 1987 zahájil čtvrtletní publikaci v dánském jazyce Cubus která diskutovala o různých technických a vědeckých tématech ve snaze zapojit se do přenosu technologií.[52]

Závěr a odkaz

Během existence centra ztratili někteří jeho členové zájem o jeho práci, aniž by bylo nutné kompilátory CHILL nebo Ada a práce RAISE příliš ambiciózní pro jejich použití.[13] Obecné přijetí Ady jako jazyka nedostatečně splnilo očekávání a prodej produktů Ada společností DDC-I neposkytl dostatečné zisky, aby umožnil tok peněz do DDC.[13] Vzhledem k tomu, že trvalé financování se stalo problémem, bylo v roce 1989 Dansk Datamatik Center zrušeno.[6]

Práce na produktech Ada pokračovaly společností DDC-I, kde byly použity v mnoha vysoce viditelných leteckých a podobných projektech.[34] Nejznámější z nich byl Systém řízení informací o letadle letový software pro Boeing 777 dopravní letadlo.[53] Následní vývojáři kompilátoru DDC-I Ada často nebyli tak dobře obeznámeni s formálními metodami jako původní vývojáři.[33] Produkty Ada by i nadále vytvářely příjmy pro DDC-I do roku 2010.[34]

Práce a zaměstnanci DDC na RAISE byly převedeny do Computer Resources International (CRI) v roce 1988.[48] Použili jej jako základ pro Evropany ESPRIT II. Projekt LaCoS v 90. letech.[6] Úsilí RAISE bylo následně prodáno společnosti Terma A / S, kteří jej používají jako součást práce pro Evropská kosmická agentura a různé projekty obranného průmyslu.[13]

Je ironií, že DDC bylo relativně málo zapojeno do severského softwarového světa, protože se na něj spoléhalo Evropská unie založeno na partnerech a financování a Dánsko bylo v té době jedinou severskou zemí v EU.[6] Ani dánský finanční sektor nikdy neprojevil zájem o práci DDC.[6] Při ohlédnutí zpět zakladatelé centra uvedli, že „„ kde DDC selhalo, bylo [přesvědčit] velké dánské společnosti o výhodách používání spolehlivého vývoje softwaru založeného na formálních metodách. (DDC se však moc nezkoušelo. “)[13] Věří však, že jejich práce byla stále přínosná pro informování dánských technologických firem o moderních přístupech k vývoji softwaru a pro jejich nasazení až stovkou softwarových návrhářů a vývojářů, kteří pracovali v DDC, a to v každém případě, “dokončila DDC velký počet projektů s lepším výkonem a vyšší kvalitou produktů, než bylo běžné v 80. letech. “[13] V průzkumu o čtyřicetiletém úsilí o formální metody v roce 2014 Bjørner a Klaus Havelund naříkali, že osvojení formálních metod se v softwarovém průmyslu příliš nerozšířilo, a označili kompilátor DDC Ada jako neopěvovaný příběh úspěchu hodnoty takového použití.[33]

Bibliografie

  • Bjørner, Dines; Oest, Ole N., eds. (1980). Přednášky z informatiky 98: Směrem k formálnímu popisu Ada. Springer-Verlag.
  • Bjørner, Dines; Gram, Christian; Oest, Ole N .; Rystrøm, Leif (2011). „Dansk Datamatik Center“. In Impagliazzo, John; Lundin, Per; Wangler, Benkt (eds.). History of Nordic Computing 3: IFIP Advances in Information and Communication Technology. Springer. 350–359. Mírně rozšířená verze této kapitoly je k dispozici online na adrese https://www.researchgate.net/publication/221271386_Dansk_Datamatik_Center. Další rozšířená verze je součástí Bjørnerovy online monografie na http://www.imm.dtu.dk/~dibj/trivia/node5.html. Prezentace snímků od Gram na základě článku je k dispozici online jako Proč Dansk Datamatik Center?
  • Bjørner, Dines; Havelund, Klaus. „40 let formálních metod: některé překážky a některé možnosti?“. FM 2014: Formální metody: 19. mezinárodní sympozium, Singapur, 12. – 16. Května 2014. Sborník příspěvků. Springer. str. 42–61.
  • Bundgaard, Jørgen (květen 1985). "Vývoj frontendu Ada pro malé počítače". SIGAda '85: Sborník příspěvků z každoroční mezinárodní konference ACM SIGAda 1985 o Adě. Sdružení pro výpočetní techniku. 321–328.
  • Clemmensen, Geert B .; Oest, Ole N. (březen 1984). "Formální specifikace a vývoj kompilátoru Ada - případová studie VDM". ICSE '84 Sborník ze 7. mezinárodní konference o softwarovém inženýrství. Tisk IEEE. 430–440.
  • Clemmensen, Geert B. (leden 1986). "Retargeting a rehosting systému kompilátoru DDC Ada: Případová studie - Honeywell DPS 6". Dopisy ACM SIGAda Ada. 6 (1): 22–28. doi:10.1145/382256.382794.
  • Fitzgerald, John S .; Larsen, Peter Gorm; Verhoef, Marcel (2009). „Vienna Development Method“. Ve Wah, Benjamin W. (ed.). Wiley Encyclopedia of Computer Science and Engineering. Wiley. 2971–2982.
  • Georgi, Chrisi. "Specifikační jazyk RAISE: Výukový program". VDM '91: Formal Software Development Methods: 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 1991, Proceedings. 2. Springer-Verlag. 238–319.
  • Ibsen, Leif (leden 1984). "Přenosný virtuální stroj pro Adu". Software: Praxe a zkušenosti. 14 (1): 17–29. doi:10.1002 / spe. 4380140104.
  • Meiling, Erik; Palm, Steen U. (leden – únor 1984). "Srovnávací studie CHILL a Ada na základě denotačních popisů". Dopisy ACM SIGAda Ada. 3 (4): 78–91. doi:10.1145/989954.989959.
  • O'Regan, Gerard (2006). Matematické přístupy ke kvalitě softwaru. Londýn: Springer.
  • Paulsen, Gard (2011). Betwixt a mezi nimi: Software v telekomunikacích a programovací jazyk Chill, 1974–1999 (Ph.D.). Oslo: BI Norwegian Business School.
  • Pedersen, Jan Storbank. Msgstr "VDM ve třech generacích formálních popisů Ada". VDM '87: VDM-A Formal Method at Work: VDM-Europe Symposium 1987, Brusel, Belgie, březen 1987, sborník. Springer-Verlag. 33–48.
  • Prehn, Søren. Msgstr "Od VDM k RAISE". VDM '87: VDM-A Formal Method at Work: VDM-Europe Symposium 1987, Brusel, Belgie, březen 1987, sborník. Springer-Verlag. 141–150.
  • „Rozhovor s Oscarem Schachterem“ (Rozhovor). Rozhovor s Thomasem Haighem. Charles Babbage Institute, University of Minnesota. 7. května 2004.Vstup do WorldCat
  • Whitaker, William A. (1996). „Ada - Projekt: Pracovní skupina pro jazykové pracovní skupiny s vysokou objednávkou“. In Bergin, Thomas J .; Gibson, Richard G. (eds.). Historie programovacích jazyků - II. Addison-Wesley Professional. 173–232.

Reference

  1. ^ Bjørner, Gram, Oest a Rystrøm, „Dansk Datamatik Center“, s. 351–352.
  2. ^ O'Regan, Matematické přístupy ke kvalitě softwaru, str. 92–93.
  3. ^ Fitzgerald, Larsen a Verhoef, „Vienna Development Method“.
  4. ^ Bjørner, Gram, Oest a Rystrøm, „Dansk Datamatik Center“, s. 350.
  5. ^ Bjørner, Gram, Oest a Rystrøm, „Dansk Datamatik Center“, s. 350–351.
  6. ^ A b C d E F G Bjørner, Gram, Oest a Rystrøm, „Dansk Datamatik Center“, s. 351.
  7. ^ A b Bjørner a Oest, Směrem k formálnímu popisu Ada, str. xiii – xiv.
  8. ^ Bjørner, Gram, Oest a Rystrøm, „Dansk Datamatik Center“, rozšířená verze, str. 2.
  9. ^ A b C Bjørner et. al., „Dansk Datamatik Center“, dále rozšířená verze.
  10. ^ A b Smlouva o marketingu a distribuci Ada TM. Dansk Datamatik Center, Advanced Computer Techniques. 20. prosince 1984.
  11. ^ A b Gram et. al., „Why Dansk Datamatik Center?“, verze prezentace, snímek 3.
  12. ^ Bjørner, Gram, Oest a Rystrøm, „Dansk Datamatik Center“, rozšířená verze, str. 3.
  13. ^ A b C d E F Bjørner, Gram, Oest a Rystrøm, „Dansk Datamatik Center“, s. 357–358.
  14. ^ „Bresbevisninger“ (v dánštině). friisgrafik.dk. Citováno 5. června 2015.
  15. ^ Paulsen, Betwixt a mezi, s. 137–138.
  16. ^ A b C d Bjørner, Gram, Oest a Rystrøm, „Dansk Datamatik Center“, s. 352.
  17. ^ Bjørner a Oest, Směrem k formálnímu popisu Ada, str. vii.
  18. ^ Paulsen, Betwixt a mezi, str. 139.
  19. ^ Paulsen, Betwixt a mezi, str. 139–140.
  20. ^ Paulsen, Betwixt a mezi, str. 216–217.
  21. ^ Paulsen, Betwixt a mezi, str. 180, 216.
  22. ^ Meiling a Palm, „Srovnávací studie CHILL a Ada na základě denotačních popisů“, s. 78, 88.
  23. ^ Paulsen, Betwixt a mezi, str. 199.
  24. ^ A b Bjørner, Gram, Oest a Rystrøm, „Dansk Datamatik Center“, s. 353.
  25. ^ A b Clemmensen a Oest, „Formální specifikace a vývoj kompilátoru Ada“, s. 431.
  26. ^ Bundgaard, „Vývoj frontendu Ada pro malé počítače“, s. 321.
  27. ^ Bundgaard, „Vývoj frontendu Ada pro malé počítače“, str. 322, 325.
  28. ^ Clemmensen a Oest, „Formální specifikace a vývoj kompilátoru Ada“, s. 432.
  29. ^ Bjørner a Oest, Směrem k formálnímu popisu Ada, str. vi.
  30. ^ Whitaker, „Ada - projekt“, s. 217–218.
  31. ^ Bundgaard, „Vývoj frontendu Ada pro malé počítače“, s. 322.
  32. ^ A b Clemmensen, „Retargeting a rehosting systému kompilátoru DDC Ada“, str. 22.
  33. ^ A b C d Bjørner a Havelund, „40 let formálních metod“, s. 48–49.
  34. ^ A b C d E F Bjørner, Gram, Oest a Rystrøm, „Dansk Datamatik Center“, s. 354.
  35. ^ Clemmensen, „Retargeting a rehosting systému kompilátoru DDC Ada“, str. 24–25.
  36. ^ Ibsen, „Přenosný virtuální stroj pro Adu“, str. 17, 27.
  37. ^ A b C d Bundgaard, „Vývoj frontendu Ada pro malé počítače“, s. 328.
  38. ^ Haigh, Rozhovor s Oscarem Schachterem, str. 22.
  39. ^ Haigh, Rozhovor s Oscarem Schachterem, str. 17, 22.
  40. ^ Bjørner, Gram, Oest a Rystrøm, „Dansk Datamatik Center“, rozšířená verze, str. 11.
  41. ^ „DDC-I, Inc“. OpenCorporates. Citováno 20. září 2015.
  42. ^ A b C Whitaker, „Ada - projekt“, s. 215–216.
  43. ^ Pedersen, „VDM ve třech generacích formálních popisů Ada“, s. 34.
  44. ^ Pedersen, „VDM ve třech generacích formálních popisů Ada“, str. 44–46.
  45. ^ Whitaker, „Ada - projekt“, s. 226–228.
  46. ^ A b C Bjørner, Gram, Oest a Rystrøm, „Dansk Datamatik Center“, str. 355.
  47. ^ Prehn, „Od VDM k RAISE“, s. 144–145.
  48. ^ A b C George, „Specifikační jazyk RAISE“, str. 238.
  49. ^ Prehn, „Od VDM k RAISE“, s. 141.
  50. ^ A b George, „Specifikační jazyk RAISE“, str. 239.
  51. ^ A b Bjørner, Gram, Oest a Rystrøm, „Dansk Datamatik Center“, s. 355–356.
  52. ^ Bjørner, Gram, Oest a Rystrøm, „Dansk Datamatik Center“, s. 356–357.
  53. ^ Wolfe, Alexander (říjen 2004). „V Adě ještě zbývá nějaký život“. Fronta ACM. Také na http://delivery.acm.org/10.1145/1040000/1035608/p28-wolfe.pdf[trvalý mrtvý odkaz ]