Technology Editor Bill Wong recently judged the “Make with Ada” competition and found some interesting feedback that will intrigue embedded developers. Delivering an application that does what it was ...

Check out tools and projects done with the Ada and SPARK programming languages Learning a new programming language can be fun and interesting. Ada and SPARK, a version of Ada that allows static proof ...