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

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

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

アクセラレイテッド・ソフトウェア・エンジニアリング (以下ASE)はイスラエルSIAMO Ltd.のSIAMO- Malware Detection Systemの日本国内での販売を開始します。 この侵入検知システムは対象となる組み込みソフトウェア（OS、ユーザアプリケーション等）へのマルウェア ...