実務家のための形式手法シリーズ、教材及び副読本の公開：IPA 独立行政法人 情報処理推進機構

2013年4月1日更新 2013年3月28日公開 独立行政法人情報処理推進機構 技術本部 ソフトウェア・エンジニアリング・センター 概要 日常生活で使用する様々なサービスや製品にはソフトウェアが密接に関係しています。サービスや製品の規模や利用形態の複雑さが増すにつれ、ソフトウェアの品質に問題が生じた場合の原因究明には時間がかかり、サービスや製品を利用する国民に及ぼす経済的損失や社会的影響などの発生リスクは増えていきます。このようなリスクを抑制するためには、ソフトウェアの品質向上を図る必要があり、様々な取組みがされてきました。その中でもとりわけ形式手法(*1)は、数学的に厳密な仕様を記述し検証することができるため、曖昧さや抜けを防ぐ、実装の間違いを見つけ出す、といった利点があり、高い安全性を要求される製品に関連する国際規格である、IEC 61508(*2) 及び自動車業界に対するISO 26

[suginoy]

"実務家のための"「実務家のための形式手法シリーズ、教材及び副読本の公開」

[YuichiTanaka]

IPAで形式手法のPDFが公開された

[lEDfm4UE]

実務家のための形式手法シリーズ、教材及び副読本の公開