株式会社IHIが自動運転トラックのシステム・ソフトウェア開発にAdaCoreの「QGen」モデルベース・エンジニアリング・ツールスイートを採用 2021年12月13日 11時00分 Ada Core Technologies Inc.
Collins Aerospaceがモデルベース開発を効率化するためにAdaCore QGenコード・ジェネレータを採用 2021年7月21日 11時00分 Ada Core Technologies Inc.
【開発者必見】ソフトウェアの信頼性を向上させる形式検証手法を用いたJTEKT社の電動パワステへの形式検証SPARK Pro応用事例紹介ウェビナー開催 2021年6月2日 11時10分 Ada Core Technologies Inc.
株式会社ジェイテクト、電動パワーステアリング・システム・サプライヤーが安全性重視の自動車用ソフトウェア開発にSPARK Proを採用 2020年6月24日 10時00分 Ada Core Technologies Inc.
株式会社IHIが自動運転トラックのシステム・ソフトウェア開発にAdaCoreの「QGen」モデルベース・エンジニアリング・ツールスイートを採用 2021年12月13日 11時00分 Ada Core Technologies Inc.
Collins Aerospaceがモデルベース開発を効率化するためにAdaCore QGenコード・ジェネレータを採用 2021年7月21日 11時00分 Ada Core Technologies Inc.
【開発者必見】ソフトウェアの信頼性を向上させる形式検証手法を用いたJTEKT社の電動パワステへの形式検証SPARK Pro応用事例紹介ウェビナー開催 2021年6月2日 11時10分 Ada Core Technologies Inc.
株式会社ジェイテクト、電動パワーステアリング・システム・サプライヤーが安全性重視の自動車用ソフトウェア開発にSPARK Proを採用 2020年6月24日 10時00分 Ada Core Technologies Inc.
