株式会社NTTデータ オートモビリジェンス研究所のカタログ一覧

ツール、技術とニアショアリソースが融合『ニアショアテスティン...

キャッツ沖縄センタ（COC:CATS Okinawa Center）は、 沖縄ＩＴ津梁パークを事業拠点に、ニアショアならではの コストメリットとキャッツの高い技術力を融合させて 高品質なニアショアサービスを提供します！

リアルタイムシステム検査ツール『ＵＰＰＡＡＬ』

時間的な制約を含むシステムの挙動をモデル化し、設計レベルでの検査を支援する製品のご紹...

タイミングが原因の動作の不具合は、設計レベルではなかなか検査が困難です。 UPPAALを利用したモデル検査を行う事によって、その様な時間的な制約を含むシステムの挙動をモデル化し、検査することが可能です。

トレーサビリティツールプラットフォーム『ZIPC TERAS...

既存の資産／環境を変えずに成果物間のトレーサビリティを確保

トレーサビリティ（追跡可能性）とは、「複数の情報を相互に関連付けて追跡可能にする仕組み」です。 ソフトウェア開発のトレーサビリティとは、「ソフトウェア開発の成果物である文書間において追跡が可能である」ことを指します。 もう少し具体的には、「定義書、仕...

拡張階層化状態遷移表CASEツール『ZIPC V10』

状態モデルCASEツールのスタンダード

システムの複雑な振舞いを状態モデルで設計、シミュレーション、コード自動生成まで行えます。 国産CASEツールのデファクトスタンダードでソフトウェアの品質・生産性を向上させる！