الإعلان عن جوائز Ada/SPARK Crate of the Year!
2025-02-09
أُعلنت نتائج جوائز 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 في الأنظمة المضمنة.
التطوير