2021.07.20 Collins Aerospaceがモデルベース開発を効率化するためにAdaCore QGenコード・ジェネレータを採用 AdaCore プレス [日本語] [AdaCore社サイト]