Ada Core Technologies Inc.
会社概要
ー
会社情報
2023/1/1 更新
会社名
Ada Core Technologies Inc.
代表者名
Franco Gasperoni
ホームページ
資本金
ー
市場
未上場
設立
ー
SNS
ー
会社情報
2023/1/1 更新
代表電話番号
お問い合わせフォーム
電話番号
データがありません
メールアドレス
ビジネスモデルの紹介
従業員数の推移
ニュース情報
設立
株式会社デンソーが長崎県立大学との自動車関連の研究プロジェクトでAdaCore社SPARKを採用
2020
株式会社ジェイテクト、電動パワーステアリング・システム・サプライヤーが安全性重視の自動車用ソフトウェア開発にSPARK Proを採用
2021
【開発者必見】ソフトウェアの信頼性を向上させる形式検証手法を用いたJTEKT社の電動パワステへの形式検証SPARK Pro応用事例紹介ウェビナー開催
Collins Aerospaceがモデルベース開発を効率化するためにAdaCore QGenコード・ジェネレータを採用
株式会社IHIが自動運転トラックのシステム・ソフトウェア開発にAdaCoreの「QGen」モデルベース・エンジニアリング・ツールスイートを採用
現在