طريقة شكلية
Sign in to saveمواصفات البرنامج الرياضي التي تهدف إلى السماح بإثباتات الصحة، بما في ذلك الخوارزميات
In the Vinony graph
Vinony's link graph records 604 inbound references to طريقة شكلية, and connects out to algorithm, Backus–Naur form and Springer Science+Business Media.
It is catalogued under topics including Formal methods, Software development philosophies and Specification languages.
Vinony links it to 27 Wikipedia language editions.
Wikidata facts
Show 3 more facts
- Stack Exchange tag
- cs.stackexchange.com/tags/formal-methods
- topic's main category
- Category:Formal methods
- Commons category
- Formal methods
via Wikidata · CC0
Article · العربية
في علم الحاسوب، على وجه الخصوص هندسة البرمجيات وهندسة الحاسوب، تعد الطرق الشكلية نوعًا خاصًا من أنواع التقنيات القائمة على الحساب من أجل والتطوير من أنظمة البرمجيات . والدافع وراء استخدام الطرق الشكلية لتصميم البرمجيات والأجهزة هو التوقع بأن تنفيذ التحليل الحسابي المناسب، كما هو الحال في الأنظمة الهندسية الأخرى، يمكن أن يساهم في زيادة اعتمادية وقوة التصميم. وأفضل وصف للطرق الشكلية هو أنها تطبيق يتميز بالتنوع واسع النطاق بشكل كبير لأساسيات المعلوماتية النظرية، على وجه الخصوص حسابات واللغات الشكلية ونظرية التشغيل الذاتي ، ولكن كذلك نظام الأنواع للمشكلات فيما يتعلق بمواصفات الأجهزة والتحقق منها.
Abstract from DBpedia / Wikipedia · CC BY-SA