Prêmios Ada/SPARK Crate of the Year Anunciados!

Os resultados dos prêmios Ada/SPARK Crate of the Year 2024 foram anunciados! Lionel Draghi venceu o prêmio Ada Crate of the Year com o BBT, uma ferramenta de linha de comando que utiliza especificações de comportamento em Markdown fáceis de entender para testes automatizados. Kevin Chadwick levou para casa o prêmio SPARK Crate of the Year com o elogs, uma biblioteca de log com segurança de memória (certificada em Nível Prata SPARK) que permite aos usuários especificar o comprimento máximo da mensagem. Por fim, o interpretador Lisp incorporável de Brent Seidel, bbs_lisp, venceu o prêmio Embedded Crate of the Year, mostrando os pontos fortes do Ada em sistemas embarcados.