الأساس المنطقي للتصميم

هيكل تصميم قائم على اتخاذ القرارات، يشمل مجالات التصميم الهندسي ، ومنطق التصميم، وتحليل القرارات.

يُعدّ الأساس المنطقي للتصميم توثيقًا صريحًا للأسباب الكامنة وراء القرارات المتخذة عند تصميم نظام أو منتج . وكما طوّره في البداية كلٌّ من دبليو آر كونز وهورست ريتل ، يسعى الأساس المنطقي للتصميم إلى توفير بنية قائمة على الحجج للعملية السياسية التعاونية لمعالجة المشكلات المعقدة . [ 1 ]

ملخص

مبررات التصميم هي قائمة صريحة بالقرارات المتخذة خلال عملية التصميم ، وأسباب اتخاذها. [ 2 ] هدفها الأساسي هو دعم المصممين من خلال توفير وسيلة لتسجيل وتوضيح الحجج والمنطق الكامن وراء عملية التصميم. [ 3 ] لذا ، ينبغي أن تتضمن ما يلي: [ 4 ]

  • الأسباب الكامنة وراء قرار التصميم،
  • مبرر ذلك،
  • مع الأخذ في الاعتبار البدائل الأخرى،
  • المقايضات التي تم تقييمها، و
  • الحجج التي أدت إلى القرار.

تشارك عدة مجالات علمية في دراسة أسس التصميم، مثل علوم الحاسوب [ 2 ] ، والعلوم المعرفية [ 3 ] ، والذكاء الاصطناعي [ 5 ] ، وإدارة المعرفة [ 6 ] . ولدعم أسس التصميم، تم اقتراح أطر عمل متنوعة، مثل QOC وDRCS و IBIS وDRL.

تاريخ

في حين يمكن تتبع أشكال الحجاج إلى عمل ستيفن تولمين في الخمسينيات من القرن الماضي [ 7 ] البيانات والادعاءات والمبررات والحجج والردود، فإن أصل منطق التصميم يمكن تتبعه إلى تطوير دبليو آر كونز وهورست ريتل [ 1 ] لتدوين نظام المعلومات القائم على القضايا (IBIS) في عام 1970. وقد تم اقتراح العديد من المتغيرات على IBIS منذ ذلك الحين.

  • كان الأول هو التسلسل الهرمي الإجرائي للقضايا (PHI)، والذي تم وصفه لأول مرة في أطروحة الدكتوراه لراي ماكول [ 8 ] على الرغم من أنه لم يتم تسميته في ذلك الوقت.
  • تم تعديل نظام IBIS أيضًا، في هذه الحالة لدعم هندسة البرمجيات، بواسطة بوتس وبرونز. [ 9 ] ثم تم توسيع منهج بوتس وبرونز بواسطة لغة تمثيل القرار (DRL). [ 10 ] والتي تم توسيعها بدورها بواسطة RATSpeak. [ 5 ]
  • يُعدّ نموذج الأسئلة والخيارات والمعايير (QOC)، المعروف أيضاً باسم تحليل فضاء التصميم [ 11 ] [ 12 ] ، تمثيلاً بديلاً للمنطق القائم على الحجج، كما هو الحال مع نموذج الربح المتبادل [ 13 ] ونموذج التوصية بالقرار والنية (DRIM). [ 14 ]

كان نظام إدارة الأساس المنطقي (RMS) الأول هو PROTOCOL، الذي دعم المعلومات الصحية الشخصية (PHI)، وتلاه نظاما MIKROPOLIS وPHIDIAS اللذان يعتمدان على المعلومات الصحية الشخصية. أما أول نظام يدعم نظام IBIS فكان STIEC الذي طوره هانز ديلينجر . [ 15 ] طوّر ريتل نظامًا صغيرًا في عام 1983 (لم يُنشر أيضًا)، ثم طُوّر نظام gIBIS (نظام IBIS الرسومي) الأكثر شهرة في عام 1987. [ 16 ]

لا تتضمن جميع مناهج التصميم المنطقي الناجحة حججًا منظمة. فعلى سبيل المثال، يجسد منهج تحليل السيناريوهات والادعاءات لكارول وروسون [ 17 ] الأساس المنطقي في سيناريوهات تصف كيفية استخدام النظام ومدى دعم ميزاته لأهداف المستخدم. ويهدف منهج كارول وروسون في التصميم المنطقي إلى مساعدة مصممي برامج وأجهزة الحاسوب على تحديد المفاضلات التصميمية الأساسية واستخلاص استنتاجات حول تأثير التدخلات التصميمية المحتملة. [ 18 ]

المفاهيم الأساسية في منطق التصميم

توجد عدة طرق لوصف مناهج إدارة الكوارث. ومن السمات المميزة الرئيسية كيفية جمعها، وكيفية تمثيلها، وكيفية استخدامها.

استخلاص الأساس المنطقي

استخلاص المبررات هو عملية الحصول على معلومات المبررات لإدارة المبررات

أساليب الاستحواذ
  • تُعرف طريقة "إعادة البناء" [ 4 ] بأنها تلتقط المبررات في شكلها الخام، كالفيديو مثلاً، ثم تعيد تركيبها في شكل أكثر تنظيماً. [ 19 ] وتكمن ميزة هذه الطريقة في إمكانية التقاط المبررات بدقة، دون أن تُشتت عملية الالتقاط انتباه المصمم. إلا أن هذه الطريقة قد تكون مكلفة، وقد تُؤدي إلى تحيزات من جانب الشخص الذي يُنتج المبررات.
  • تعتمد طريقة "التسجيل وإعادة التشغيل" [ 4 ] ببساطة على تسجيل المبررات أثناء ورودها. تُسجل المبررات بشكل متزامن في مؤتمر فيديو ، أو بشكل غير متزامن عبر لوحة إعلانات أو نقاش عبر البريد الإلكتروني. ستكون هذه الطريقة مفيدة إذا كان النظام يتضمن تمثيلاً غير رسمي وشبه رسمي.
  • تُجسّد طريقة "المنتج الثانوي المنهجي" [ 4 ] المبررات خلال عملية التصميم وفقًا لمخطط مُحدد. إلا أن تصميم مثل هذا المخطط أمرٌ صعب. وتكمن ميزة هذه الطريقة في انخفاض تكلفتها.
  • بفضل قاعدة معرفية غنية مُنشأة مسبقًا، تُستخلص المبررات من خلال أسلوب "المتدرب" [ 4 ] ، وذلك بطرح أسئلة عند وجود لبس أو اختلاف مع إجراءات المصمم. لا يُفيد هذا الأسلوب المستخدم فحسب، بل يُفيد النظام أيضًا.
  • في طريقة "التوليد التلقائي" [ 4 ] ، تُولَّد مبررات التصميم تلقائيًا من سجل التنفيذ بتكلفة منخفضة. وتتميز هذه الطريقة بقدرتها على الحفاظ على مبررات متسقة ومحدثة. إلا أن تكلفة تجميع سجل التنفيذ مرتفعة نظرًا لتعقيد وصعوبة بعض مسائل التعلم الآلي.
  • تتيح طريقة "المؤرخ" [ 20 ] لشخص أو برنامج حاسوبي مراقبة جميع تصرفات المصمم دون تقديم أي اقتراحات. ويتم تسجيل المبررات أثناء عملية التصميم. [ 19 ]

تمثيل منطقي

يُعدّ اختيار طريقة تمثيل منطق التصميم أمرًا بالغ الأهمية لضمان أن تكون المبررات التي نسجلها هي ما نريده وأن نتمكن من استخدامها بكفاءة. وبحسب درجة الرسمية، يمكن تقسيم أساليب تمثيل منطق التصميم إلى ثلاث فئات رئيسية: غير رسمية، وشبه رسمية، ورسمية. [ 4 ] في التمثيل غير الرسمي، يمكن تسجيل المبررات وتوثيقها باستخدام الوسائل والأساليب التقليدية المتعارف عليها، مثل معالجات النصوص، والتسجيلات الصوتية والمرئية، أو حتى الكتابة اليدوية. إلا أن هذه الأساليب تُصعّب عملية التفسير الآلي أو غيرها من الوسائل الحاسوبية. أما في التمثيل الرسمي، فيجب جمع المبررات وفقًا لتنسيق محدد بدقة ليتمكن الحاسوب من تفسيرها وفهمها. ولكن نظرًا للتنسيق الصارم الذي تفرضه التمثيلات الرسمية، يصعب على الإنسان فهم المحتوى، وتتطلب عملية توثيق منطق التصميم جهدًا أكبر لإتمامها، ما يجعلها أكثر تعقيدًا.

تسعى التمثيلات شبه الرسمية إلى الجمع بين مزايا التمثيلات غير الرسمية والرسمية. فمن جهة، ينبغي أن تكون المعلومات المُجمّعة قابلة للمعالجة بواسطة الحواسيب، ما يُتيح تقديم دعم حاسوبي أكبر. ومن جهة أخرى، ينبغي ألا تكون الإجراءات والأساليب المُستخدمة لجمع معلومات الأساس المنطقي للتصميم مُتطفلة. في النظام ذي التمثيل شبه الرسمي، تُقترح المعلومات المطلوبة، ويمكن للمستخدمين جمع الأساس المنطقي باتباع التعليمات إما لملء السمات وفقًا لبعض القوالب أو ببساطة كتابة أوصاف بلغة طبيعية. [ 4 ]

النماذج القائمة على الحجاج

نموذج تولمين
إحدى الطرق المقبولة عمومًا لتمثيل منطق التصميم شبه الرسمي هي هيكلة منطق التصميم على شكل حجج. [ 5 ] يُعد نموذج تولمين أقدم نموذج قائم على الحجج، وقد استخدمته العديد من أنظمة منطق التصميم. [ 7 ] يُحدد نموذج تولمين قواعد حجج منطق التصميم في ست خطوات: [ 21 ]
  1. تم تقديم الادعاء؛
  2. يتم توفير البيانات الداعمة؛
  3. يوفر أمر التفتيش دليلاً على العلاقات القائمة؛
  4. يمكن دعم الضمان بضمانة؛
  5. يتم توفير محددات النموذج (بعض، كثير، معظم، إلخ)؛
  6. كما يتم النظر في الردود المحتملة.
إحدى مزايا نموذج تولمين هي أنه يستخدم كلمات ومفاهيم يمكن فهمها بسهولة من قبل معظم الناس.
نظام المعلومات القائم على القضايا (IBIS)
يُعدّ نظام IBIS ( نظام المعلومات القائم على القضايا ) لريتل وكونز ، [ 1 ] منهجًا مهمًا آخر في مجال الحجج المتعلقة بمنطق التصميم ، وهو في الواقع ليس نظامًا برمجيًا، بل هو تدوين حجاجي. وقد تم تطبيقه برمجيًا في برامج مثل gIBIS (نظام IBIS الرسومي)، وitIBIS (نظام IBIS القائم على الاختبار)، و Compendium ، وغيرها. [ 22 ] [ 23 ] يستخدم نظام IBIS بعض عناصر المنطق (المشار إليها بالعُقد) مثل القضايا، والمواقف، والحجج، والقرارات، بالإضافة إلى العديد من العلاقات مثل "أكثر عمومية من"، و"الخليفة المنطقي لـ"، و"الخليفة الزمني لـ"، و"يحل محل"، و"مشابه لـ"، لربط مناقشات القضايا.
التسلسل الهرمي الإجرائي للقضايا (المعلومات الصحية الشخصية)
قام نظام PHI (التسلسل الهرمي الإجرائي للمسائل) [ 24 ] بتوسيع نطاق نظام IBIS ليشمل المسائل غير الخلافية، وأعاد تعريف العلاقات بينها. ويضيف نظام PHI علاقة المسائل الفرعية، مما يعني أن حل مسألة ما يعتمد على حل مسألة أخرى.
الأسئلة والخيارات والمعايير (QOC)
تُستخدم منهجية QOC (الأسئلة والخيارات والمعايير) [ 25 ] لتحليل نطاق التصميم. وكما هو الحال في منهجية IBIS، تُحدد QOC مشاكل التصميم الرئيسية على شكل أسئلة، والإجابات المحتملة على هذه الأسئلة على شكل خيارات. إضافةً إلى ذلك، تستخدم QOC معايير لوصف طرق تقييم الخيارات بشكلٍ واضح، مثل المتطلبات المطلوب تلبيتها أو الخصائص المرغوبة. وترتبط الخيارات بالمعايير إيجابًا أو سلبًا، وتُعرف هذه الروابط بالتقييمات.
لغة تمثيل القرار (DRL)
لغة تمثيل القرار (DRL) [ 26 ] تُوسّع نموذج بوتس وبرونز لتمثيل القرار [ 9 ] ، وتُعرّف عناصرها الأساسية على أنها مشاكل القرار، والبدائل، والأهداف، والادعاءات، والمجموعات. وقد جادل لي (1991) بأن لغة تمثيل القرار أكثر تعبيرًا من اللغات الأخرى. [ 26 ] وتركز لغة تمثيل القرار بشكل أكبر على تمثيل عملية صنع القرار وأساسها المنطقي بدلًا من التركيز على الأساس المنطقي للتصميم.
لغة الفئران
استنادًا إلى لغة DRL، تم تطوير RATSpeak واستخدامها كلغة تمثيل في SEURAT (هندسة البرمجيات باستخدام RATionale). [ 27 ] تأخذ RATSpeak في الاعتبار المتطلبات (الوظيفية وغير الوظيفية) كجزء من حجج البدائل لمشاكل القرار. يتضمن SEURAT أيضًا أنطولوجيا للحجج، وهي عبارة عن تسلسل هرمي لأنواع الحجج، وتشمل أنواع الادعاءات المستخدمة في النظام.
نموذج وين وين الحلزوني
يضيف نموذج WinWin الحلزوني، المستخدم في نهج WinWin، [ 28 ] أنشطة التفاوض WinWin، بما في ذلك تحديد أصحاب المصلحة الرئيسيين في الأنظمة، وتحديد شروط الفوز لكل صاحب مصلحة والتفاوض، في مقدمة كل دورة من دورات نموذج تطوير البرمجيات الحلزوني [ 29 ] من أجل تحقيق اتفاق مُرضٍ للطرفين (winwin) لجميع أصحاب المصلحة في المشروع.
في نموذج WinWin الحلزوني، تُحدد أهداف كل جهة معنية كشروط فوز. عند وجود تعارض بين هذه الشروط، يُسجل كمشكلة. بعد ذلك، تبتكر الجهات المعنية خيارات وتدرس المفاضلات لحل المشكلة. عند حل المشكلة، يتم التوصل إلى اتفاق يُلبي شروط فوز الجهات المعنية ويُجسد الخيار المتفق عليه. يتم توثيق الأساس المنطقي للتصميم الكامن وراء القرارات خلال عملية نموذج WinWin، وسيستخدمه كل من الجهات المعنية والمصممون لتحسين عملية اتخاذ القرارات لاحقًا. [ 28 ] يُقلل نموذج WinWin الحلزوني من أعباء توثيق الأساس المنطقي للتصميم من خلال تزويد الجهات المعنية بعملية تفاوض محددة جيدًا. في [ 30 ] ، تم تعريف أنطولوجيا للأساس المنطقي للقرار، ويستخدم نموذجهم هذه الأنطولوجيا لمعالجة مشكلة دعم صيانة القرار في إطار تعاون WinWin.
نموذج التوصية بالتصميم والنية (DRIM)
يُستخدم نموذج DRIM (نموذج توصيات التصميم والنوايا) في SHARED-DRIM. [ 14 ] يتألف الهيكل الرئيسي لنموذج DRIM من اقتراح يتضمن نوايا كل مصمم، والتوصيات التي تُحقق هذه النوايا، ومبررات هذه التوصيات. كما تُجرى مفاوضات عند وجود تعارض بين نوايا المصممين المختلفين. تُصبح التوصية المقبولة قرارًا تصميميًا، ويتم أيضًا تسجيل مبررات التوصيات غير المقبولة خلال هذه العملية، مما قد يكون مفيدًا أثناء التصميم التكراري و/أو صيانة النظام.

التطبيقات

يُمكن استخدام منطق التصميم بطرقٍ عديدة ومختلفة. ومن بين هذه الاستخدامات، ما حدده بيرج وبراون (1998) [ 19 ] :

  • التحقق من التصميم - يمكن استخدام الأساس المنطقي للتصميم للتحقق مما إذا كانت قرارات التصميم والمنتج نفسه تعكس ما أراده المصممون والمستخدمون بالفعل.
  • تقييم التصميم — يتم استخدام الأساس المنطقي للتصميم لتقييم بدائل التصميم المختلفة التي تمت مناقشتها أثناء عملية التصميم.
  • صيانة التصميم - يساعد الأساس المنطقي للتصميم في تحديد التغييرات الضرورية لتعديل التصميم.
  • إعادة استخدام التصميم — يُستخدم الأساس المنطقي للتصميم لتحديد كيفية إعادة استخدام التصميم الحالي لتلبية متطلبات جديدة، سواءً مع إجراء أي تغييرات عليه أم بدونها. وفي حال وجود حاجة لتعديل التصميم، يقترح الأساس المنطقي للتصميم أيضًا التعديلات المطلوبة.
  • تدريس التصميم - يمكن استخدام الأساس المنطقي للتصميم كمورد لتعليم الأشخاص غير الملمين بالتصميم والنظام.
  • التواصل في التصميم - يسهل الأساس المنطقي للتصميم التواصل بشكل أفضل بين الأشخاص المشاركين في عملية التصميم، وبالتالي يساعد على التوصل إلى تصميم أفضل.
  • المساعدة في التصميم - يمكن استخدام الأساس المنطقي للتصميم للتحقق من قرارات التصميم التي تم اتخاذها أثناء عملية التصميم.
  • وثائق التصميم - يتم استخدام الأساس المنطقي للتصميم لتوثيق عملية التصميم بأكملها والتي تشمل مداولات غرفة الاجتماعات، والبدائل التي تمت مناقشتها، والأسباب الكامنة وراء قرارات التصميم، ونظرة عامة على المنتج.

تُستخدم تقنية تحليل المتطلبات (DR) في الأوساط البحثية في هندسة البرمجيات، والتصميم الميكانيكي، والذكاء الاصطناعي، والهندسة المدنية، وبحوث التفاعل بين الإنسان والحاسوب. في هندسة البرمجيات، يمكن استخدامها لدعم أفكار المصممين أثناء تحليل المتطلبات، وتوثيق اجتماعات التصميم، والتنبؤ بالمشاكل المحتملة الناتجة عن منهجيات التصميم الجديدة. [ 31 ] في هندسة البرمجيات وتصميم حلول التعهيد، يمكنها تبرير نتائج القرارات المعمارية والعمل كدليل تصميمي. [ 32 ] في الهندسة المدنية، تساعد على تنسيق مختلف الأعمال التي يقوم بها المصممون في وقت واحد في مختلف مجالات مشروع البناء. كما تساعد المصممين على فهم واحترام أفكار بعضهم البعض وحل أي مشاكل محتملة. [ 33 ]

يمكن لمديري المشاريع استخدام سجل التصميم للحفاظ على خطة المشروع وحالة المشروع محدثة. كما يمكن لأعضاء فريق المشروع الذين تغيبوا عن اجتماع التصميم الرجوع إلى سجل التصميم لمعرفة ما نوقش حول موضوع معين. ويمكن استخدام المشكلات غير المحلولة المسجلة في سجل التصميم لتنظيم اجتماعات لاحقة حول تلك المواضيع. [ 31 ]

يساعد منطق التصميم المصممين على تجنب الأخطاء نفسها التي ارتُكبت في التصميم السابق. كما يُسهم ذلك في تجنب ازدواجية العمل. [ 5 ] في بعض الحالات، قد يوفر منطق التصميم الوقت والمال عند ترقية نظام برمجي من إصداراته السابقة. [ 2 ]

توجد العديد من الكتب والمقالات التي تقدم دراسات ممتازة حول مناهج المنطق المطبقة على تفاعل الإنسان مع الحاسوب، [ 34 ] والتصميم الهندسي [ 4 ] وهندسة البرمجيات. [ 35 ]

انظر أيضاً

مراجع

  1. 1 2 3 كونز، دبليو؛ ريتل، إتش (1970)، القضايا كعناصر في نظم المعلومات . ورقة عمل رقم 131، مركز التنمية الحضرية والإقليمية، جامعة كاليفورنيا، بيركلي
  2. 1 2 3 جارتشيك، أليكس ب.؛ لوفلر، بيتر؛ شيبمان الثالث، فرانك م. (1992)، "الأساس المنطقي لتصميم هندسة البرمجيات: دراسة استقصائية"، المؤتمر الدولي الخامس والعشرون في هاواي لعلوم النظم ، 2، ص 577-586
  3. 1 2 هورنر، ج.؛ أتوود، م. إي. (2006)، "الأساس المنطقي للتصميم الفعال: فهم العوائق"، في دوتوا، أ. هـ.؛ ماكول، ر.؛ ميستريك، إ. وآخرون، إدارة الأساس المنطقي في هندسة البرمجيات، سبرينغر برلين هايدلبرغ، ص 73-90
  4. 1 2 3 4 5 6 7 8 9 لي، ج. (1997). "أنظمة الأساس المنطقي للتصميم: فهم القضايا". خبير IEEE 12 (3): 78-85
  5. 1 2 3 4 Burge, JE; Brown, DC (2000), "الاستدلال باستخدام أساس التصميم المنطقي"، في Gero, J.، الذكاء الاصطناعي في التصميم '00 ، هولندا: Kluwer Academic Publ.، ص 611-629
  6. شين، و.؛ غوانلينغ، إكس. (2001)، "الأساس المنطقي للتصميم كجزء من الذاكرة التقنية للشركات"، الأنظمة، الإنسان وعلم التحكم الآلي ، ص. 1904 - 1908.
  7. 1 2 ستيفن تولمين (1958). استخدامات الحجة . كامبريدج: مطبعة جامعة كامبريدج.
  8. مكال، ر. (1978)، حول بنية واستخدام أنظمة الإصدار في التصميم ، أطروحة دكتوراه، جامعة كاليفورنيا، بيركلي، يونيفرستي مايكروفيلمز
  9. 1 2 بوتس، سي.؛ بيرنز، جي. (1988)، "تسجيل أسباب قرارات التصميم"، المؤتمر الدولي العاشر لهندسة البرمجيات (ICSE '1988)، ص 418-427
  10. لي، ج. (1991)، "توسيع نموذج بوتس وبرونز لتسجيل منطق التصميم"، وقائع المؤتمر الدولي الثالث عشر لهندسة البرمجيات (ICSE '13) ، مطبعة جمعية مهندسي الكهرباء والإلكترونيات، لوس ألاميتوس، كاليفورنيا، ص 114-125
  11. ماكلين، أ.؛ يونغ، ر.م.؛ موران، ت. (1989)، "منطق التصميم: الحجة وراء القطعة الأثرية"، نشرة SIGCHI ، 20، ص 247-252114-125
  12. ماكلين، أ.؛ يونغ، ر.م.؛ بيلوتي، ف.م.إ.؛ موران، ت. (1996)، "الأسئلة والخيارات والمعايير: عناصر تحليل فضاء التصميم"، في موران، ت.؛ كارول، ج.، مفاهيم وأساليب واستخدامات منطق التصميم، لورانس إيرلبوم أسوشيتس ، ص 53-106
  13. باري بوهم ، روس، ر (1989). "إدارة مشاريع البرمجيات وفقًا لنظرية W: المبادئ والأمثلة". معاملات IEEE في هندسة البرمجيات 18 (7): 902-916.
  14. 1 2 بينا-مورا، ف.؛ سريرام، د.؛ لوغشر، ر. (1993)، "SHARED-DRIMS: نظام إدارة توصيات التصميم المشترك - النوايا"، وقائع مؤتمر تمكين البنية التحتية للمؤسسات التعاونية ، مطبعة IEEE، مورغانتاون، فيرجينيا الغربية، ص 213-221
  15. ديلينجر، هـ. (1978)، مشروع STIEC: تحليل النظم لتوليد ونشر المعلومات العلمية والتكنولوجية في المجموعة الأوروبية، التقرير رقم 26: تقرير عن نسخة دفعية من STIEC ، هايدلبرغ/شتوتغارت
  16. كونكلين، ج.؛ ياكيمبيغيمانوفيتش، م. (1988). "gIBIS: أداة نصية تشعبية لمناقشة السياسات الاستكشافية". معاملات ACM لأنظمة معلومات المكاتب 6 (4): 303-331.
  17. كارول، جيه إم؛ روسون، إم (1992). "تجاوز دورة المهمة-المنتج: كيفية تقديم الادعاءات والتصميم حسب السيناريو". معاملات ACM لنظم المعلومات 10 (2): 181-212
  18. كارول، جيه إم، وروسون، إم بي (2003). منطق التصميم كنظرية. نماذج ونظريات وأطر تفاعل الإنسان مع الحاسوب: نحو علم متعدد التخصصات، 431-461.
  19. 1 2 3 بيرج، ج.؛ براون، دي سي (1998)، الأساس المنطقي للتصميم: الأنواع والأدوات، تقرير فني ، معهد ورسستر للفنون التطبيقية، قسم علوم الحاسوب ، تم الاطلاع عليه في 27 أبريل 2007
  20. تشين، أ.؛ ماكجينيس، ب.؛ أولمان، د.؛ ديتريش، ت. (1990)، "تمثيل معرفة تاريخ التصميم وتنفيذه الحاسوبي الأساسي"، المؤتمر الدولي الثاني لنظرية التصميم ومنهجيته، شيكاغو، إلينوي، ص 175-185
  21. رينولدز، كريس (2000)، ما هو نموذج تولمين؟ مؤرشف في 2007-08-25 في Wayback Machine Paper على concentric.net.
  22. كونكلين، ج.؛ ياكيموفيتش، ك. (1991). "نهج موجه نحو العمليات لمنطق التصميم". تفاعل الإنسان مع الحاسوب 6 (3 و4): 357-391.
  23. ريتل، هورست دبليو جيه ؛ نوبل، دوغلاس (يناير 1989). نظم المعلومات القائمة على القضايا للتصميم (ملف PDF) (تقرير فني). بيركلي، كاليفورنيا: معهد التنمية الحضرية والإقليمية، جامعة كاليفورنيا . OCLC 20155825. 492. 
  24. ماكول، آر جيه (1991). "PHI: أساس مفاهيمي لتصميم الوسائط المتعددة". دراسات التصميم 12 (1): 30-41.
  25. ماكلين، أ.؛ يونغ، ر.م.؛ بيلوتي، ف.م.إ.؛ موران، ت. (1996)، "الأسئلة والخيارات والمعايير: عناصر تحليل فضاء التصميم"، في موران، ت.؛ كارول، ج.، مفاهيم وأساليب واستخدامات منطق التصميم ، لورانس إيرلبوم أسوشيتس، ص 53-106
  26. 1 2 لي، ج. (1991)، "توسيع نموذج بوتس وبرونز لتسجيل منطق التصميم"، وقائع المؤتمر الدولي الثالث عشر لهندسة البرمجيات (ICSE '13)، مطبعة جمعية مهندسي الكهرباء والإلكترونيات، لوس ألاميتوس، كاليفورنيا، ص 114-125
  27. بيرج، ج. (2005)، هندسة البرمجيات باستخدام أسس التصميم المنطقية ، معهد ورسستر للفنون التطبيقية، قسم علوم الحاسوب
  28. 1 2 باري بوهم ؛ كيتابجي، هـ. (2006)، "نهج الربح المتبادل: استخدام أداة التفاوض على المتطلبات لالتقاط الأساس المنطقي واستخدامه"، في دوتوا، أ.هـ؛ ماكول، ر.؛ ميستريك، إ. وآخرون، إدارة الأساس المنطقي في هندسة البرمجيات ، سبرينغر برلين هايدلبرغ، ص 173-190
  29. باري بوهم (1998). "نموذج حلزوني لتطوير البرمجيات وتحسينها" . مجلة الكمبيوتر 21 (5): 61-72
  30. بوز، ب. (1995). "نموذج لصيانة القرار في إطار التعاون المربح للجميع". هندسة البرمجيات القائمة على المعرفة (KBSE '95).
  31. 1 2 دوتوا، أ.؛ ماكول، ب.؛ ميستريك وآخرون، المحررون (2006)، إدارة الأساس المنطقي في هندسة البرمجيات ، سبرينغر ص.1-48.
  32. أ. زيمرمان، س. ميكسوفيتش، ج. كوستر، بنية مرجعية، نموذج فوقي، ومبادئ نمذجة لإدارة المعرفة المعمارية في خدمات تكنولوجيا المعلومات . مجلة الأنظمة والبرمجيات، إلسيفير. المجلد 85، العدد 9، سبتمبر 2012
  33. ويلتون، مايكل؛ بالارد، جلين؛ توميلين، إيريس (2007) تطبيق أنظمة منطق التصميم على تعريف المشروع - إنشاء مشروع بحثي . مؤرشف في 28 سبتمبر 2007 على موقع Wayback Machine. تم الاطلاع عليه في 27 أبريل 2007.
  34. موران، ت.؛ كارول، ج.، محرران (1996)، مفاهيم وأسس وتقنيات التصميم ، دار لورانس إيرلبوم للنشر،
  35. دوتوا، إدارة الأساس المنطقي في هندسة البرمجيات

للمزيد من القراءة

الكتب
  • بورج، جي. كارول، JM. ماكول ر . مستريك الأول (2008). هندسة البرمجيات القائمة على المنطق . هايدلبرغ: سبرينغر-فيرلاغ.
  • دوتويت، آه؛ ماكول ر . مستريك الأول؛ بايش ب (2006). الإدارة المنطقية في هندسة البرمجيات . هايدلبرغ: سبرينغر-فيرلاغ.
  • كونكلين، J (2005). رسم خرائط الحوار . فاينهايم: وايلي-VCH Verlag.
  • كيرشنر، ب.أ.؛ باكنغهام-شوم، س.ج.؛ كار، س.س. (2003). تصوير الحجاج: أدوات برمجية لصنع المعنى التعاوني والتعليمي . لندن: سبرينغر-فيرلاغ.
  • موران، تي؛ كارول جيه (1996). مفاهيم وأسس التصميم، والتقنيات، والاستخدام . نيوجيرسي: لورانس إيرلبوم أسوشيتس.
أعداد خاصة
  • الذكاء الاصطناعي لتصميم الهندسة وتحليلها وتصنيعها (AIEDAM)، عدد خاص: خريف 2008، المجلد 22، العدد 4، الأساس المنطقي للتصميم http://web.cs.wpi.edu/~aiedam/SpecialIssues/Burge-Bracewell.html
  • الذكاء الاصطناعي لتصميم وتحليل وتصنيع الهندسة (AIEDAM)، عدد خاص حول تمثيل واستخدام منطق التصميم، 1997، المجلد 11، العدد 2، مطبعة جامعة كامبريدج
ورش العمل
  • ورشة العمل الثانية حول مشاركة وإعادة استخدام المعرفة المعمارية - الهندسة المعمارية، والأساس المنطقي، وقصد التصميم (SHARK/ADI 2007)، ( RC.rug.nl ) كجزء من المؤتمر الدولي التاسع والعشرين لهندسة البرمجيات (ICSE 2007) ( CS.ucl.ac.uk )
  • ورشة عمل حول أسس التصميم: المشكلات والتقدم ( Muohio.edu )
  • رئيسا ورشة العمل: جانيت بيرج وروب براسويل، عُقدت في 9 يوليو 2006 بالتزامن مع مؤتمر التصميم والحوسبة والإدراك 2006، أيندهوفن، هولندا ( wwwfaculty.arch.usyd.edu.au ).
  • Bcisive.austhink.com : حزمة برمجية تجارية مصممة لأغراض التصميم واتخاذ القرارات بشكل عام. واجهة رسومية، وإمكانية مشاركة الملفات.
  • كومبنديوم : أداة وسائط متعددة توفر إمكانيات إدارة المعرفة المرئية بالاعتماد على نظام IBIS. تطبيق جافا مجاني، يتضمن ملفات تنفيذية ومصدرية، مع مجتمع مستخدمين نشط يجتمع سنوياً.
  • designVUE : أداة لالتقاط المعرفة بصريًا تعتمد على IBIS وطرق أخرى. تطبيق جافا مجاني.
  • SEURAT : إضافة لبرنامج Eclipse تدمج عملية جمع واستخدام البيانات المنطقية مع بيئة تطوير البرمجيات. يتوفر SEURAT كمشروع مفتوح المصدر على GitHub ().