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