العلامات الشائعة：
الافتراضية أمان DNS التحقق الرسمي تحليل قابلية الوصول أخطاء المترجم تضارب الماكرو امتدادات الويب إطار عمل تطوير كومودور 64 بياسيك 2.0 جميع العلامات

إنشاء رسومات روزيتا متحركة بلغة Ada: برنامج تعليمي قصير

2025-09-02
إنشاء رسومات روزيتا متحركة بلغة Ada: برنامج تعليمي قصير

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

اقرأ المزيد
(blog.adacore.com)
التطوير

تحول NVIDIA إلى التحقق الرسمي مع SPARK: أمان محسّن، بدون فقدان في الأداء

2025-02-13
تحول NVIDIA إلى التحقق الرسمي مع SPARK: أمان محسّن، بدون فقدان في الأداء

في مواجهة التهديدات المتزايدة لأمن الإنترنت، تخلت مجموعة أمان NVIDIA عن الاختبارات التقليدية واعتمدت التحقق الرسمي SPARK. وقد نجح مشروع إثبات المفهوم في تحويل كود C الحساس للأمان إلى SPARK في ثلاثة أشهر فقط، مما أظهر تحسينًا في الأمان دون فقدان في الأداء. الآن، أكثر من خمسين مطورًا في NVIDIA مدربون على SPARK، والعديد من المنتجات يتم شحنها بمكونات SPARK. تسلط هذه دراسة الحالة الضوء على اعتماد التحقق الرسمي بنجاح، مما يوفر دروسًا قيّمة للمنظمات الأخرى التي تسعى إلى تحسين أمنها.

اقرأ المزيد
(blog.adacore.com)
التكنولوجيا

الإعلان عن جوائز Ada/SPARK Crate of the Year!

2025-02-09
الإعلان عن جوائز Ada/SPARK Crate of the Year!

أُعلنت نتائج جوائز Ada/SPARK Crate of the Year لعام 2024! فاز ليونيل دراغي بجائزة Ada Crate of the Year عن BBT، وهي أداة سطر أوامر تستخدم مواصفات سلوك سهلة الفهم بلغة Markdown لاختبارات آلية. وحصل كيفن تشادويك على جائزة SPARK Crate of the Year عن elogs، وهي مكتبة تسجيل آمنة للذاكرة (معتمدة من SPARK بمستوى الفضة) تسمح للمستخدمين بتحديد الحد الأقصى لطول الرسالة. وأخيرًا، فاز مترجم Lisp القابل للتضمين من برنت سيدل، bbs_lisp، بجائزة Embedded Crate of the Year، مما يُظهر نقاط القوة في Ada في الأنظمة المضمنة.

اقرأ المزيد
(blog.adacore.com)
التطوير