In a corporate wide, unlimited usage agreement with AdaCore, BAE Systems is providing its UK developers with access to the GNAT Pro Ada development environment.