شبكة بحوث وتقارير ومعلومات
اخر المشاهدات
اخر بحث
الرئيسية
آخر تحديث منذ 5 ثوانى
0 مشاهدة
[ تعرٌف على ] لغة المواصفات تم النشر اليوم [dadate] | لغة المواصفات

لغات

محاولة التحكم في اللغة الإنجليزية تدوين زد صقل اللغة

نظرة عامة

لا يتم تنفيذ لغات المواصفات بشكل مباشر بشكل عام. والمقصود منها أن تصف ما، وليس كيف. في الواقع، يعتبر خطأ إذا كانت مواصفات المتطلبات تشوش مع تفاصيل التنفيذ غير الضرورية. ومن الافتراضات الأساسية الشائعة للعديد من الأساليب المواصفات أن البرامج هي على غرار الهياكل الجبرية أو النظرية النموذجية التي تشمل مجموعة من مجموعات من قيم البيانات جنبًا إلى جنب مع وظائف على تلك المجموعات. يتزامن هذا المستوى من التجريد مع الرأي القائل بأن صحة سلوك الإدخال/الإخراج للبرنامج لها الأسبقية على كافة خصائصه الأخرى. في نهج الملكية المنحى للمواصفات (التي اتخذت على سبيل المثال من قبل CASL)، ومواصفات البرامج تتكون أساسًا من البديهيات المنطقية، وعادة ما يكون في نظام منطقي فيه المساواة دورا بارزًا، واصفًا الخصائص التي يتعين على وظائف لتلبيتها، في كثير من الأحيان فقط من خلال العلاقة المتبادلة بينهما. وهذا على النقيض مما يسمى بالمواصفات الموجهة نحو النموذج في أطر مثل VDM وZ، والتي تتكون من تحقيق بسيط للسلوك المطلوب. ويجب أن تخضع المواصفات لعملية صقل (ملء تفاصيل التنفيذ) قبل أن يتسنى تنفيذها فعلياً. نتيجة عملية التحسين هذه هي خوارزمية قابلة للتنفيذ، والتي يتم إما صياغتها بلغة برمجة، أو في مجموعة فرعية قابلة للتنفيذ من لغة المواصفات في متناول اليد. على سبيل المثال، خطوط أنابيب هارتمان، عند تطبيقها بشكل صحيح، يمكن اعتبارها مواصفات تدفق البيانات التي هي قابلة للتنفيذ مباشرة. مثال آخر هو نموذج الممثل الذي لا يحتوي على محتوى تطبيق محدد ويجب أن يكون متخصصاً ليكون قابل للتنفيذ. استخدام مهم للغات المواصفات هو تمكين إنشاء براهين رياضية من صحة البرنامج (انظر نظرية بروفير).

شرح مبسط

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

لم يعلق احد حتى الآن .. كن اول من يعلق بالضغط هنا
ماتكتبه هنا سيظهر بالكامل .. لذا تجنب وضع بيانات ذات خصوصية بك وتجنب المشين من القول

captcha
الاخر بحثا

مواقعنا

تعرف على - اتصل بى - قريب - عربى - نرمى - مصبغة - حراج - الدليل الصحى العربى - دليل الأطباء الكويتي - دليل الأطباء السعودي - دليل الأطباء الإماراتي - دليل الأطباء العماني - دليل الأطباء البحريني - دليل الأطباء القطري - دليل الأطباء الأردني - دليل الأطباء اللبناني - دليل الأطباء السوري - دليل الأطباء المصري - دليل الأطباء المنوع - سعودى -