Annonce des prix Ada/SPARK Crate of the Year !

Les résultats des prix Ada/SPARK Crate of the Year 2024 sont connus ! Lionel Draghi remporte le prix Ada Crate of the Year pour BBT, un outil en ligne de commande utilisant des spécifications de comportement Markdown faciles à comprendre pour des tests automatisés. Kevin Chadwick remporte le prix SPARK Crate of the Year pour elogs, une bibliothèque de journalisation sécurisée en mémoire (certifiée Niveau Argent SPARK) qui permet aux utilisateurs de spécifier la longueur maximale des messages. Enfin, l'interpréteur Lisp intégrable de Brent Seidel, bbs_lisp, remporte le prix Embedded Crate of the Year, mettant en évidence les atouts d'Ada dans les systèmes embarqués.