English  

كتب light formality

اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.

عرض المزيد

الأساليب الشكلية الخفيفة (معلومة)


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

المصدر: wikipedia.org