هل B-Method بديل لغات البرمجة التقليدية؟

Question

سمعت عن B-Method الذي اخترع في فرنسا. هل هو بديل لغات البرمجة التقليدية مثل C ++ و Java أم أنه شيء مختلف تمامًا بأغراض مختلفة؟

Answer 1

اقتبس B-Website:

B هي طريقة مواصفات رسمية والتي ، بفضل لغة كافية ، تسمح بتعبيرات دقيقة للغاية للخصائص المطلوبة حسب المواصفات. يمكن للمرء أن يثبت بعد ذلك بطريقة تلقائية تمامًا أن هذه الخصائص لا لبس فيها ، متماسكة وليست متناقضة. هذا يسمح لنا بعد ذلك بإثبات رياضياً أن هذه الخصائص تؤخذ في الاعتبار مع تقدم مراحل التصميم.

لذلك ، تتيح هذه الطريقة والإثبات المرتبط بها: (1) الوصول إلى المواصفات الفنية ومواصفات النظام المنظمة ، المتماسكة وغير المضغوطة ، و (2) تطوير البرامج المضمونة تعاقديًا ليكون خاليًا من الأخطاء.

للإجابة على سؤالك: لا ، B-Method ليس بديلاً للغات البرمجة. إنها طريقة لإنشاء مخططات للبرامج ولتحقق من أن الشيء الذي أنشأته يعمل حقًا كما هو موضح في المخططات. إذا كنت لا تفهم هذا ، يمكنك أن تنسى ذلك بأمان.

Answer 2

لا ، كما يقول مقال ويكيبيديا ، B-method هو أ طريقة رسمية ليست لغة البرمجة. يمكنك قراءة الأساليب الرسمية على ويكيبيديا أيضًا. في الأساس ، يمكن استخدامها أثناء التطوير لوصف الخوارزميات والتحقق منها.