2020.02.18 AdaCore社 Ada言語、SPARK言語、C言語対応ツールチェーン ISO 26262ならびにIEC 61508安全規格認定を取得 AdaCore プレス [日本語] [English] [AdaCore社サイト]