高品質のコンピュータ・ソフトウェアを効率的かつ効果的に作成・利用するために、科学的・定量的に導き出された理論や技法、ツールを体系的な方法で実践に適用すること。あるいは、このようなアプローチに関する研究や学問分野、その研究成果として ...

AdaCore（エイダコア、本社米国ニューヨーク州）は、本日、株式会社IHI（以下IHI）が、自動運転トラックシステムの開発で、高度な安全性と信頼性を確保し、かつ費用対効果の高い手法として、QGenツールスイートに含まれるQGen Model VerifierとAdaCoreの専門家に ...

基調講演には、北米トヨタ（※1）Ken Butts氏、「Next-FDV（※2）」に取組む日産自動車 平野 芳則氏が登壇。加えて産業界 ...

ソフトウェアは様々なシステム・機器に組み込まれ、経済社会システムの基盤として機能しており、ソフトウェアの信頼性は社会基盤の安定性を左右する存在となっています。また、ビジネスのスピードが早まっている中、大規模なソフトウェアを短期間で ...

レガシーシステムは、企業経営の懸念事項の一つだ。既存のITシステムが複雑化し、内部構造が分からないブラックボックスになることで、データの活用が阻害される可能性がある。この危機が深刻化している原因は、単なるシステムの老朽化ではない。

株式会社グローバルインフォメーション（所在地：神奈川県川崎市、代表者：樋口 荘祐、証券コード：東証スタンダード 4171）は、市場調査レポート「エンジニアリングソフトウェア（CAD、CAM、CAE、AEC、EDA）の世界市場」（Global Industry Analysts, Inc.）の販売を2 ...