SECエンタプライズ系プロジェクト
2009 年 5 巻 3 号 p. 168-170
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
高信頼ソフトウェア領域は、大規模化、複雑性の増大、基盤技術の変化を背景に、効率的に高品質・高信頼性のあるソフトウェアを開発・保守する試験手法、構築技法(形式的手法含む)を整備することを目的としている。 ソフトウェアの信頼性を確保する手法を検討する高信頼化のための手法WGと形式手法等のソフトウェア構築技法を検討する高信頼性システム技術WGの2つのWGがあり、それぞれで活動している。 また、高信頼化へ向けた取組みの全体像を図1に示す。
すでにアカウントをお持ちの場合 サインインはこちら