bn:02057536n
Noun Concept
Categories: منطق في علم الحاسوب
AR
دلالات التشغيل
AR
دلالات التشغيل هي فئة من دلالات لغة البرمجة الشكلية، تستخدم للتحقق من بعض الخصائص المرغوبة لبرنامج ما، مثل الصحة أو الأمان أو الأمن، عن طريق إنشاء أدلة من العبارات المنطقية تتعلق بتنفيذها وإجراءاتها، بدلًا من إرفاق معاني رياضية في شروطها. Wikipedia
Definitions
Relations
Sources
AR
دلالات التشغيل هي فئة من دلالات لغة البرمجة الشكلية، تستخدم للتحقق من بعض الخصائص المرغوبة لبرنامج ما، مثل الصحة أو الأمان أو الأمن، عن طريق إنشاء أدلة من العبارات المنطقية تتعلق بتنفيذها وإجراءاتها، بدلًا من إرفاق معاني رياضية في شروطها. Wikipedia