مركز البيانات الدنماركي
كان مركز 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 إلى إنشاء الشركة التجارية DDC International A/S (DDC-I, Inc. في الولايات المتحدة) في عام 1985، والتي ستطوره وتنتجه وتسوقه مباشرة للعملاء وللشركات الأخرى التي ستستخدمه كأساس لمنتجات مترجم لغة Ada الخاصة بها.
الأصول

في ربيع عام ١٩٧٩، اقترح كريستيان غرام، عالم الحاسوب في جامعة الدنمارك التقنية (DTU) الواقعة في كونغنس لينغبي ، شمال كوبنهاغن، على زميله دينيس بيورنر فكرة إنشاء معهد متقدم للبرمجيات. [ ٤ ] وبالنظر إلى أزمة البرمجيات آنذاك، شعروا أن علم الحاسوب قد وضع أسسًا ومناهج نظرية، من شأنها، إذا طُبقت، أن تجعل تطوير البرمجيات عملية أكثر احترافية، وأن تسمح بتطوير أنظمة برمجية ضخمة في المواعيد المحددة وبجودة عالية. [ ٥ ]
عرضوا هذه الفكرة على أكاديمية العلوم التقنية الدنماركية (ATV)، وفي سبتمبر 1979، تأسس مركز البيانات الدنماركي (Dansk Datamatik Center) كمعهد تابع لأكاديمية العلوم التقنية لتطوير البرمجيات المتقدمة. [ 6 ] (وقد أشير إليه أيضًا باسم مركز البيانات الدنماركي في بعض الوثائق المبكرة. [ 7 ] ) انضمت عشر شركات كبرى منتجة أو مستخدمة لتكنولوجيا المعلومات في الدنمارك كأعضاء دافعين في الكيان الجديد: كريستيان روفسينغ ، وكرون وكوخ، ومؤسسة أبحاث الدفاع الدنماركية ، ومركز البيانات منذ عام 1959 ، وجيدسك تيليفون ، وكومونيداتا، ومركز ريغنيسنترال منذ عام 1979 ، ومركز بيانات سباريكاسيرنس، ومختبر الأبحاث التقنية عن بعد (TFL)، وØK Data، حيث دفع كل عضو 100,000 كرونة دنماركية سنويًا. [ 6 ]
أصبح بيورنر القائد العلمي للمركز. [ 8 ] وكان المدير الإداري لمركز التصميم الدنماركي (DDC) هو ليف ريستروم. [ 9 ] [ 10 ] وعندما بلغ المركز أوج ازدهاره حوالي عام 1984، [ 11 ] كان يعمل فيه ما بين 30 و35 موظفًا متخصصًا، [ 12 ] ليصل إجمالي عدد الموظفين إلى حوالي 40 موظفًا. [ 13 ] وبحلول عام 1984، بلغت ميزانية المركز 13 مليون كرونة دنماركية، بزيادة كبيرة عن ميزانيته الأولية البالغة مليون كرونة دنماركية. [ 11 ] وكان العديد من المهندسين الذين تم توظيفهم من جامعة الدنمارك التقنية (DTU) وجامعة كوبنهاغن . [ 9 ] في البداية، كان المركز يقع في مبنى داخل حرم جامعة الدنمارك التقنية، [ 7 ] ثم انتقل إلى مصنع نسيج مُعاد تأهيله على طول نهر مولين ، بالقرب من مركز لينغبي. [ 14 ]
تم تصميم الشعار الأحمر المستوحى من المكعب لشركة DDC بواسطة أولي فريس، الذي فاز بجائزة IG من المركز الدنماركي للتصميم عام 1984. [ 15 ]
مشاريع CHILL
خلال عام 1978، أبدى بيورنر اهتمامًا بوضع تعريف رسمي، باستخدام الدلالات الدلالية ، للغة البرمجة CHILL التي كانت قيد التطوير آنذاك. [ 16 ] بدأ العمل على التعريف الرسمي للغة CHILL في ذلك العام بناءً على طلب من مختبر الأبحاث التقنية عن بعد (Teleteknisk Forskningslaboratorium)، وتم تكليف مجموعة تابعة للجنة الاستشارية الدولية للاتصالات الهاتفية والتلغرافية (CCITT) بإجراء هذا العمل في جامعة الدنمارك التقنية (DTU)، [ 17 ] بمشاركة نحو ثمانية عشر طالبًا. [ 18 ] بمجرد تأسيس DDC، اكتمل التعريف الرسمي هناك في عامي 1980 و1981. [ 17 ] [ 19 ] تختلف الآراء حول قيمة هذا الجهد: فقد ذكر بيورنر أنه اكتشف مشكلة تعريفية أدت إلى تبسيط اللغة، بينما رأى ريمي بورغونجون من شركة فيليبس ، منظم منتدى المطورين الذي نظمه CCITT، أن التعريف الرسمي كان معقدًا للغاية وجاء متأخرًا جدًا بحيث لا يفيد مصممي مترجم CHILL. [ 20 ]
في الوقت نفسه، تم تطوير مُترجم لغة CHILL، وقد بدأ تطويره قبل DDC، ولكن تم إكماله بواسطة DDC وTFL. [ 17 ] تم تطويره باستخدام أساليب رسمية. أتاحت المنظمتان المُترجم للجمهور، وكان له دور هام في تعليم لغة CHILL. [ 17 ] كما قامت شركة Imperial Software Technology البريطانية بتكييفه بإضافة مُولِّد أكواد جديد، واستُخدم من قِبل GEC وغيرها خلال ثمانينيات القرن العشرين. [ 21 ]
كان أحد المشاريع المشتركة التي نفذتها شركتا GEC وDDC في أوائل ثمانينيات القرن الماضي هو دراسة دمج لغة CHILL في بيئة دعم برمجة Ada (APSE)، وذلك لدعم المشاريع التي تستخدم اللغتين. [ 22 ] وقد اعتمد جزء DDC من المشروع على دراسة الدلالات الدلالية لكلتا اللغتين، وخلص إلى أن هذا الدمج ممكن تقنيًا. [ 23 ]
استمرت DDC في المشاركة في نشر الأوراق البحثية في مؤتمرات CHILL خلال النصف الأول من ثمانينيات القرن العشرين، ولكن ليس بعد ذلك. [ 24 ]
مشاريع أدا

أدى بدء رعاية وزارة الدفاع الأمريكية للغة البرمجة آدا خلال الفترة 1979-1980 إلى اهتمام أوروبي بهذه اللغة الجديدة، وقررت المفوضية الأوروبية تخصيص تمويل لمترجم آدا ونظام تشغيل أوروبي . [ 25 ] قدّم اتحادٌ يضم شركة أوليفيتي الإيطالية وشركة DDC وكريستيان روفسينغ من الدنمارك عرضًا فاز في أوائل عام 1981 على عرضٍ كان مفضلًا سابقًا من اتحاد فرنسي-ألماني؛ وكان من المقرر أن يأتي نصف التمويل من المفوضية الأوروبية والنصف الآخر من مصادر دنماركية. [ 25 ] نُقل أولي ن. أوست من مؤسسة أبحاث الدفاع الدنماركية إلى شركة DDC لإدارة أعمال آدا. [ 9 ]
كانت شركة DDC مسؤولة عن تطوير نظام برمجة Ada محمول. [ 26 ] تضمنت المتطلبات استضافة مُصرّف Ada على حواسيب صغيرة ذات 16 بت، مثل Christian Rovsing CR80D وOlivetti M40، بالإضافة إلى منصات أخرى، وأن يكون حجمه ضمن 80 كيلوبايت من التعليمات البرمجية و110 كيلوبايت من البيانات. [ 26 ] [ 27 ] ونتيجةً لذلك، تم تصميم المُصرّف من عدة مراحل ، ست مراحل في هذه الحالة للواجهة الأمامية فقط، مع تخزين الأشجار الخطية في ملفات كتمثيل بين المراحل. [ 28 ]
مرّت عملية إنشاء المترجم بأربع خطوات: تطوير مواصفات رسمية للغة آدا، وتطوير مواصفات رسمية لمكونات المترجم، وتطوير مواصفات رسمية أكثر تفصيلًا لمراحل محددة من المترجم، وتنفيذ هذه المواصفات في لغة آدا نفسها. [ 29 ] من بين المناهج الرسمية، كان استخدام منهج فيينا للتطوير (VDM) مفيدًا في هذا المشروع لأنه مصمم خصيصًا للاستخدام مع لغات البرمجة والمترجمات، ولأنه يسمح بالتحسين التدريجي للعمليات وتمثيلات البيانات. [ 30 ] كان الهدف الرئيسي من العملية هو إثبات أن التنفيذ مكافئ للمواصفات. [ 31 ] في الحالات التي تطلبت فيها تمثيلات بناء الجملة المجردة الثابتة تضمين قيود إضافية، تم تحديد معايير حسن التكوين - وهو جانب آخر من جوانب منهج فيينا للتطوير. [ 32 ] كانت الخطوة الأولى في العملية، وهي المواصفات الرسمية للغة آدا، قد بدأها بالفعل خمسة طلاب في جامعة الدنمارك التقنية (DTU) عام 1980 كجزء من أطروحات الماجستير الخاصة بهم. [ 33 ]
كانت لغة آدا صعبة التنفيذ، وغالبًا ما باءت المحاولات المبكرة لبناء مُترجم لها بالإحباط أو الفشل التام. [ 34 ] تم التحقق من صحة مُترجم DDC على نظام VAX/VMS في سبتمبر 1984، ليكون أول مُترجم أوروبي للغة آدا يجتاز هذا الاختبار، وقد أثبت نجاحه. [ 35 ] [ 36 ] في ذلك الوقت، استغرق تطويره حوالي 44 سنة عمل. [ 37 ] وقد تبين أن معدل العيوب وتكاليف الصيانة أقل بكثير بالنسبة لهذا المُترجم مقارنةً بمتوسط صناعة البرمجيات. [ 37 ]
أدى الاهتمام باستخدام شركة DDC لتقنية VDM في تصميم المترجمات إلى جذب اهتمام شركات تصنيع الحواسيب الأخرى، وتم بيع ما عُرف باسم مجموعة أدوات DDC OEM Compiler Kit [ 38 ] (وهو اسم يُشير إلى نموذج أعمال مُصنِّع المعدات الأصلية ). قدّم نظام المترجم نقطتين لإعادة التوجيه: لغة وسيطة عالية المستوى ذات بنية شجرية، وسلسلة من التعليمات لآلة مكدس مجردة؛ مما يعني تقليل وقت المشروع، ولكن عادةً ليس الكود المُولَّد الأمثل. [ 39 ] (عمل كريستيان روفسينغ أيضًا على الآلة الافتراضية المجردة القائمة على المكدس؛ وكانت هناك أيضًا فكرة لتنفيذها في الأجهزة أو البرامج الثابتة . [ 40 ] ) كانت أول عملية بيع من هذا النوع لشركة نوكيا، [ 38 ] لإعادة استضافتها على جهاز نوكيا MPS 10. [ 41 ] أما الثانية، فكانت بعقد أُبرم في فبراير 1984، مع شركة هانيويل لأنظمة المعلومات في بوسطن. [ 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 ]
أدى نجاح مشروع آدا إلى تأسيس شركة مستقلة عام 1985، تُدعى DDC International A/S ، بهدف تسويق نظام مُترجم آدا؛ [ 6 ] وعُيّن أوست مديرًا عامًا للشركة. [ 44 ] وبعد عام، تأسست شركة تابعة لتلك الشركة في الولايات المتحدة، وهي DDC-I, Inc. ، في ولاية أريزونا. [ 45 ]
بالتزامن مع العمل على المترجم، بُذلت جهودٌ حثيثة على جبهاتٍ متعددة لوضع تعريفٍ رسمي للغة آدا، حيث جُرِّبت عدة مناهج ولغات وصفية مختلفة. [ 46 ] جادل بعض الأوروبيين بأن هذه المهمة بالغة الأهمية، وأنها الأساس الوحيد الذي ينبغي أن يُبنى عليه نشر معيار ISO للغة. [ 46 ] رعت المفوضية الأوروبية هذا العمل، وفازت شركة DDC بالعقد بالشراكة مع معهدين بحثيين إيطاليين، هما معهد معالجة المعلومات (IEI) في بيزا، واتحاد أبحاث وتطبيقات المعلوماتية (CRAI) في جنوة، وبدأ العمل في عام 1984. [ 38 ] وقدّم موظفون من جامعة جنوة وجامعة بيزا وجامعة الدنمارك التقنية (DTU) استشاراتٍ إضافية للمشروع . [ 47 ] استند هذا العمل إلى التعريفات الرسمية السابقة التي أُنجزت في جامعة الدنمارك التقنية (DTU) ومن قِبل شركة DDC في بداية مشروع مُترجم لغة آدا، ولكن كان لا بد من بذل المزيد من الجهد لتعريف اللغة بأكملها، وكان لا بد من توسيع Meta-IV في بعض المواضع أو اتباع مناهج بديلة. [ 48 ] تُوِّج هذا الجهد بنشر التعريف الرسمي الكامل للغة آدا عام 1987، والذي شمل ثلاثة منشورات منفصلة وثمانية مجلدات إجمالاً. [ 49 ] مع أن هذا الجهد أدى إلى فهم أفضل للغة وتقديم عدد من التوضيحات لها، إلا أن التعريف النهائي للغة ظل في النهاية هو تعريف اللغة الطبيعية الوارد في دليل مرجع لغة آدا. [ 46 ]
مشاريع RAISE
أظهر استخدام VDM في مشروعي CHILL و Ada الحاجة إلى تحسينات في تقنيات المواصفات الرسمية، وفي عام 1983 أجرت DDC دراسة تقييم الأساليب الرسمية، مما أسفر عن عدد من المتطلبات التي ينبغي أن تتضمنها لغة المواصفات الرسمية. [ 50 ]
بعد ذلك، مُنحت شركة DDC عقدًا من لجنة الهندسة الكندية (CEC) لتطوير بديلٍ لـ VDM، أُطلق عليه اسم RAISE (النهج الدقيق لهندسة البرمجيات الصناعية). [ 50 ] تم ذلك بالتعاون مع شركة STC Technology البريطانية، التي ساهمت في ابتكار هذه التقنية الجديدة، ومع شركتي Nordisk Brown Boveri الدنماركية و International Computers Limited البريطانية، اللتين طبقتاها في بيئات صناعية. [ 51 ] [ 52 ] استغرق المشروع حوالي 120 سنة عمل، وسعى إلى إنشاء لغة واسعة النطاق مصممة للتعامل مع جميع المستويات، بدءًا من المستوى المجرد عالي المستوى وصولًا إلى المستوى الأعلى من البرمجة. [ 52 ] كما سعى المشروع إلى معالجة نقاط ضعف VDM فيما يتعلق بالنمطية والتزامن ونقص الأدوات، [ 53 ] وسعى أيضًا إلى توحيد المناهج المتبعة في لغات مثل Z notation و 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 أرباحًا كافية لتوفير التمويل اللازم للمركز. [ 13 ] ومع تحوّل التمويل المستدام إلى مشكلة، أُغلق مركز Dansk Datamatik Center في عام 1989. [ 6 ]
واصلت شركة DDC-I العمل على منتجات لغة آدا، حيث استُخدمت في العديد من مشاريع الفضاء الجوي البارزة وما شابهها. [ 38 ] وكان أشهرها برنامج إدارة معلومات الطائرة ( IIMS) الخاص بطائرة بوينغ 777. [ 57 ] غالبًا ما كان مطورو مُترجم آدا اللاحقون لشركة DDC-I أقل إلمامًا بالأساليب الرسمية من المطورين الأصليين. [ 37 ] واستمرت منتجات آدا في تحقيق إيرادات لشركة DDC-I حتى العقد الثاني من القرن الحادي والعشرين. [ 38 ]
نُقل عمل شركة DDC وفريقها العامل على مشروع RAISE إلى شركة Computer Resources International (CRI) عام 1988. [ 52 ] واستخدمت الشركة المشروع كأساس لمشروع ESPRIT II LaCoS الأوروبي في التسعينيات. [ 6 ] ثم بيع مشروع RAISE لاحقًا إلى شركة Terma A/S ، التي تستخدمه كجزء من أعمالها مع وكالة الفضاء الأوروبية ومشاريع مختلفة في الصناعات الدفاعية. [ 13 ]
لم يكن لمركز تطوير البرمجيات الدنماركي (DDC) دورٌ يُذكر في عالم البرمجيات في دول الشمال الأوروبي، لاعتماده على شركاء وتمويل من الاتحاد الأوروبي ، ولأن الدنمارك كانت الدولة الإسكندنافية الوحيدة العضو في الاتحاد آنذاك. [ 6 ] كما لم يُبدِ القطاع المالي الدنماركي أي اهتمام بعمل المركز. [ 6 ] وبالنظر إلى الماضي، صرّح مؤسسو المركز قائلين: "إنّ إخفاق مركز تطوير البرمجيات الدنماركي يكمن في إقناع الشركات الدنماركية الكبرى بفوائد استخدام تطوير برمجيات موثوق قائم على أساليب رسمية. (لكن المركز لم يبذل جهدًا يُذكر في هذا الصدد)." [ 13 ] وقد اعتقد باحثو المركز أن عملهم لا يزال مفيدًا في تعريف شركات التكنولوجيا الدنماركية بأساليب تطوير البرمجيات الحديثة، وفي تزويد هذه الشركات بما يصل إلى مئة من مصممي ومطوري البرمجيات الذين عملوا في المركز، وأنه على أي حال، "أنجز المركز عددًا كبيرًا من المشاريع بأداء أفضل وجودة منتجات أعلى مما كان شائعًا في ثمانينيات القرن الماضي." [ 13 ] في دراسة استقصائية أجريت عام 2014 حول جهود الأساليب الرسمية على مدى أربعين عامًا، أعرب بيورنر وكلاوس هافيلوند عن أسفهما لعدم انتشار تبني الأساليب الرسمية على نطاق واسع في صناعة البرمجيات، وأشارا إلى مُترجم DDC Ada كقصة نجاح غير معروفة لقيمة هذا الاستخدام. [ 37 ]
فهرس
- بيورنر، داينز؛ أوست، أولي ن.، محرران. (1980). سلسلة محاضرات في علوم الحاسوب 98: نحو وصف رسمي للغة آدا . سبرينغر-فيرلاغ.
- بيورنر، دينس؛ غرام، كريستيان؛ أويست، أولي ن؛ ريستروم، ليف (2011). "مركز دانسك داتاماتيك". في إمباليازو، جون؛ لوندين، لكل؛ وانجلر، بنكت (محرران). تاريخ الحوسبة الشمالية 3: تقدم IFIP في تكنولوجيا المعلومات والاتصالات . سبرينغر. ص 350 – 359. تتوفر نسخة موسعة قليلاً من هذا الفصل على الإنترنت عبر الرابط التالي: https://www.researchgate.net/publication/221271386_Dansk_Datamatik_Center . كما تتوفر نسخة موسعة أخرى ضمن مذكرات بيورنر الإلكترونية على الرابط التالي: http://www.imm.dtu.dk/~dibj/trivia/node5.html . ويمكنكم الاطلاع على عرض تقديمي من إعداد غرام، مستوحى من هذه الورقة البحثية، على الإنترنت بعنوان: لماذا مركز البيانات الدنماركي؟
- بيورنر، داينز؛ هافيلوند، كلاوس. "أربعون عامًا من الأساليب الرسمية: بعض العقبات وبعض الإمكانيات؟". FM 2014: الأساليب الرسمية: الندوة الدولية التاسعة عشرة، سنغافورة، 12-16 مايو 2014. وقائع المؤتمر . سبرينغر. ص 42-61 .
- بوندغارد، يورغن (مايو 1985). "تطوير واجهة أمامية بلغة آدا للحواسيب الصغيرة". SIGAda '85: وقائع المؤتمر الدولي السنوي لعام 1985 التابع لجمعية آلات الحوسبة (ACM) حول لغة آدا . جمعية آلات الحوسبة. الصفحات 321-328 .
- كليمنسن، جيرت ب.؛ أوست، أولي ن. (مارس 1984). "المواصفات الرسمية وتطوير مُترجم لغة آدا - دراسة حالة VDM". وقائع المؤتمر الدولي السابع لهندسة البرمجيات ICSE '84 . مطبعة IEEE. الصفحات 430-440 .
- كليمنسن، جيرت ب. (يناير 1986). "إعادة توجيه وإعادة استضافة نظام مُترجم DDC Ada: دراسة حالة - Honeywell DPS 6". رسائل ACM SIGAda Ada . 6 (1): 22-28 . doi : 10.1145/382256.382794 . S2CID 16337448 .
- فيتزجيرالد، جون س.؛ لارسن، بيتر غورم؛ فيرهوف، مارسيل (2009). "منهجية فيينا للتطوير". في: واه، بنجامين و. (محرر). موسوعة وايلي لعلوم وهندسة الحاسوب . وايلي. الصفحات 2971-2982 .
- جورج، كريس. "لغة مواصفات RAISE: دليل تعليمي". VDM '91: أساليب تطوير البرمجيات الرسمية: الندوة الدولية الرابعة لـ VDM Europe، نوردويكيرهاوت، هولندا، أكتوبر 1991، وقائع المؤتمر . المجلد 2. دار نشر سبرينغر. الصفحات 238-319 .
- إبسن، ليف (يناير 1984). "آلة افتراضية محمولة للغة آدا". البرمجيات: الممارسة والتجربة . 14 (1): 17-29 . doi : 10.1002/spe.4380140104 . S2CID 206508565 .
- ميلينغ، إريك؛ بالم، ستين يو. (يناير-فبراير 1984). "دراسة مقارنة بين لغتي CHILL وAda بناءً على الأوصاف الدلالية". رسائل ACM SIGAda Ada . 3 (4): 78-91 . doi : 10.1145/989954.989959 . S2CID 17168261 .
- أوريجان، جيرارد (2006). المناهج الرياضية لجودة البرمجيات . لندن: سبرينغر.
- بولسن، غارد (2011). بين بين: البرمجيات في الاتصالات ولغة البرمجة تشيل، 1974-1999 (دكتوراه). أوسلو: كلية بي آي النرويجية للأعمال.
- بيدرسن، يان ستوربانك. "VDM في ثلاثة أجيال من الأوصاف الرسمية لـ Ada". VDM '87: VDM - منهجية رسمية قيد التطبيق: وقائع ندوة VDM-Europe لعام 1987، بروكسل، بلجيكا، مارس 1987. سبرينغر-فيرلاغ. الصفحات 33-48 .
- برين، سورين. "من VDM إلى RAISE". VDM '87: VDM - منهجية رسمية قيد التطبيق: وقائع ندوة VDM-Europe لعام 1987، بروكسل، بلجيكا، مارس 1987. سبرينغر-فيرلاغ. الصفحات 141-150 .
- مقابلة مع أوسكار شاختر (مقابلة). أجراها توماس هايغ. معهد تشارلز باباج، جامعة مينيسوتا. 7 مايو 2004.مدخل WorldCat
- ويتاكر، ويليام أ. (1996). "آدا - المشروع: فريق عمل لغات البرمجة عالية المستوى التابع لوزارة الدفاع الأمريكية" . في: بيرجين، توماس ج.؛ جيبسون، ريتشارد ج. (محرران). تاريخ لغات البرمجة - الجزء الثاني . أديسون-ويسلي بروفيشنال. الصفحات 173-232 .
مراجع
- ^ بيورنر، غرام، أويست، وريستروم، “Dansk Datamatik Center”، الصفحات من 351 إلى 352.
- ↑ أوريجان، المناهج الرياضية لجودة البرمجيات ، ص 92-93.
- ^ فيتزجيرالد ولارسن وفيرهوف، “طريقة تطوير فيينا”.
- ^ بيورنر، غرام، أويست، وريستروم، “مركز دانسك داتاماتيك”، ص. 350.
- ^ بيورنر، غرام، أويست، وريستروم، “Dansk Datamatik Center”، الصفحات من 350 إلى 351.
- 1 2 3 4 5 6 7 بيورنر، غرام، أويست، وريستروم، "مركز دانسك داتاماتيك"، ص. 351.
- 1 2 بيورنر وأويست، نحو وصف رسمي لآدا ، ص. الثالث عشر والرابع عشر.
- ^ بيورنر، غرام، أويست، وريستروم، “مركز دانسك داتاماتيك”، نسخة موسعة، ص. 2.
- 1 2 3 بيورنر وآخرون، "مركز دانسك داتاماتيك"، نسخة موسعة أخرى.
- 1 2 اتفاقية تسويق وتوزيع Ada TM . مركز دانسك داتاماتيك، تقنيات الحاسوب المتقدمة. 20 ديسمبر 1984.
- 1 2 غرام وآخرون، "لماذا مركز دانسك داتاماتيك؟"، نسخة العرض التقديمي، الشريحة 3.
- ^ بيورنر، غرام، أويست، وريستروم، “مركز دانسك داتاماتيك”، نسخة موسعة، ص. 3.
- 1 2 3 4 5 6 بيورنر، غرام، أويست، وريستروم، “Dansk Datamatik Center”، الصفحات من 357 إلى 358.
- 1 2 كليمنسن، "إعادة توجيه وإعادة استضافة نظام مُترجم DDC Ada"، يُشير انتساب المؤلف إلى عنوان مركز Dansk Datamatik Center على النحو التالي: Lundtoftevej 1C، DK-2800 Lyngby؛ للاطلاع على تاريخ وموقع هذا المبنى، انظر "Julekort 2017" (باللغة الدنماركية). Emcon . تم الاطلاع عليه في 19 يناير 2021 .
- ↑ "Æresbevisninger" (باللغة الدنماركية). friisgrafik.dk. مؤرشف من الأصل بتاريخ 29 أكتوبر 2015. تم الاطلاع عليه بتاريخ 5 يونيو 2015 .
- ↑ بولسن، بين وبين ، ص 137-138.
- 1 2 3 4 بيورنر، غرام، أويست، وريستروم، "مركز دانسك داتاماتيك"، ص. 352.
- ^ بيورنر وأويست، نحو وصف رسمي لآدا ، ص. سابعا.
- ↑ بولسن، بين وبين ، ص 139.
- ↑ بولسن، بين وبين ، ص 139-140.
- ↑ بولسن، بين وبين ، ص 216-217.
- ↑ بولسن، بين وبين ، ص 180، 216.
- ↑ Meiling and Palm, "دراسة مقارنة لـ CHILL و Ada على أساس الأوصاف الدلالية"، ص 78، 88.
- ↑ بولسن، بين وبين ، ص 199.
- 1 2 بيورنر، غرام، أويست، وريستروم، “مركز دانسك داتاماتيك”، ص. 353.
- 1 2 كليمنسن وأوست، "المواصفات الرسمية وتطوير مترجم لغة آدا"، ص 431.
- ↑ Bundgaard, "تطوير واجهة أمامية بلغة Ada لأجهزة الكمبيوتر الصغيرة"، ص 321.
- ↑ Bundgaard، "تطوير واجهة أمامية بلغة Ada لأجهزة الكمبيوتر الصغيرة"، ص 322، 325.
- ↑ كليمنسن وأوست، "المواصفات الرسمية وتطوير مترجم لغة آدا"، ص 432.
- ↑ كليمنسن وأوست، "المواصفات الرسمية وتطوير مترجم لغة آدا"، ص 430.
- ↑ كليمنسن وأوست، "المواصفات الرسمية وتطوير مترجم لغة آدا"، الصفحات 430-431.
- ↑ كليمنسن وأوست، "المواصفات الرسمية وتطوير مترجم لغة آدا"، ص 432، 440n.
- ^ بيورنر وأويست، نحو وصف رسمي لآدا ، ص. سادسا.
- ↑ ويتاكر، "آدا - المشروع"، ص 217-218.
- ↑ Bundgaard, "تطوير واجهة أمامية بلغة Ada لأجهزة الكمبيوتر الصغيرة"، ص 322.
- 1 2 كليمنسن، "إعادة توجيه وإعادة استضافة نظام مترجم DDC Ada"، ص 22.
- 1 2 3 4 بيورنر وهافيلوند، "40 عامًا من الأساليب الرسمية"، ص 48-49.
- 1 2 3 4 5 6 بيورنر، غرام، أويست، وريستروم، "مركز دانسك داتاماتيك"، ص. 354.
- ↑ كليمنسن، "إعادة توجيه وإعادة استضافة نظام مترجم DDC Ada"، الصفحات 24-25.
- ↑ إبسن، "آلة افتراضية محمولة للغة آدا"، ص 17، 27.
- 1 2 3 4 Bundgaard، "تطوير واجهة أمامية بلغة Ada لأجهزة الكمبيوتر الصغيرة"، ص 328.
- ↑ هايغ، مقابلة مع أوسكار شاختر ، ص 22.
- ↑ هايغ، مقابلة مع أوسكار شاختر ، ص 17، 22.
- ^ بيورنر، غرام، أويست، وريستروم، “مركز دانسك داتاماتيك”، نسخة موسعة، ص. 11.
- ↑ "DDC-I, Inc" . OpenCorporates . تم الاطلاع عليه بتاريخ 20 سبتمبر 2015 .
- 1 2 3 ويتاكر، "آدا - المشروع"، ص 215-216.
- ↑ بيدرسن، "VDM في ثلاثة أجيال من الأوصاف الرسمية لـ Ada"، ص 34.
- ↑ بيدرسن، "VDM في ثلاثة أجيال من الأوصاف الرسمية لـ Ada"، ص 44-46.
- ↑ ويتاكر، "آدا - المشروع"، ص 226-228.
- 1 2 3 بيورنر، غرام، أويست، وريستروم، “مركز دانسك داتاماتيك”، ص 355.
- ↑ برين، "من VDM إلى RAISE"، الصفحات 144-145.
- 1 2 3 جورج، "لغة مواصفات RAISE"، ص 238.
- ↑ برين، "من VDM إلى RAISE"، ص 141.
- 1 2 جورج، "لغة مواصفات RAISE"، ص 239.
- 1 2 بيورنر، جرام، أويست، وريستروم، “Dansk Datamatik Center”، الصفحات من 355 إلى 356.
- ^ بيورنر، غرام، أويست، وريستروم، “Dansk Datamatik Center”، الصفحات من 356 إلى 357.
- ↑ وولف، ألكسندر (أكتوبر 2004). "لا تزال هناك بعض الحياة المتبقية في آدا" . ACM Queue .متاح أيضًا على الرابط التالي: http://delivery.acm.org/10.1145/1040000/1035608/p28-wolfe.pdf
- منظمات هندسة البرمجيات
- منظمات البحث في علوم الحاسوب
- المنظمات ذات الأساليب الرسمية
- المنظمات العلمية التي تتخذ من الدنمارك مقراً لها
- منظمات متوقفة عن العمل مقرها في الدنمارك
- شركات مقرها في بلدية Lyngby-Taarbæk
- المنظمات التي تأسست عام 1979
- 1979 منشأة في الدنمارك
- تم إلغاء وضع المنظمات الدينية كدولة رسمية في عام 1989
- لغة البرمجة آدا
