Ada/SPARK Crate of the Year Awards 발표!

2024년 Ada/SPARK Crate of the Year Awards 결과가 발표되었습니다! Lionel Draghi는 자동 테스트를 위해 이해하기 쉬운 Markdown 형식의 동작 사양을 사용하는 명령줄 도구 BBT로 Ada Crate of the Year를 수상했습니다. Kevin Chadwick은 메모리 안전한 로깅 라이브러리 elogs(SPARK 실버 인증)로 SPARK Crate of the Year를 수상했습니다. 이 라이브러리는 사용자가 최대 메시지 길이를 지정할 수 있습니다. 마지막으로, Brent Seidel의 임베디드 가능한 Lisp 인터프리터 bbs_lisp가 Embedded Crate of the Year를 수상하며 임베디드 시스템에서 Ada의 강점을 보여주었습니다.