日常生活で使用する様々なサービスや製品にはソフトウェアが密接に関係しています。サービスや製品の規模や利用形態の複雑さが増すにつれ、ソフトウェアの品質に問題が生じた場合の原因究明には時間がかかり、サービスや製品を利用する国民に及ぼす経済的損失や社会的影響などの発生リスクは増えていきます。このようなリスクを抑制するためには、ソフトウェアの品質向上を図る必要があり、様々な取組みがされてきました。26262(*3)でも、形式手法の適用が推奨されています。これに対してIPAでは、2010年4月に「人材育成WG」を2012年4月に「厳密な仕様記述WG」を発足させ、今回、以下の3点を公開できる運びとなりました。第二版」とかく形式手法は難しいという開発現場の認識を変えるべく、現場のソフトウェア開発従事者が特に上流工程で苦労している部分への効果を理解できるように、形式手法の現場導入で得られた実践的な知見を反映した初版を昨年11月に公開し、その後開催したセミナーからのフィードバックを反映したものです。教材の「実践法:モデル化の手順と事例」、「実践法:モデル化の課題例」では形式手法を活用する具体的手順と課題を説明しており、その部分の副読本としての位置づけになります。教材と副読本を効果的に活用していただけるように、シラバスの強化も行いました。ライフサイクルの上流における仕様書についての厳密な定義及び記述に対する入門書として位置づけています。この入門書は、形式手法をベースとして記述していますが、日本語による仕様書記述においても役立つ内容となっています。「品質の高いソフトウェアの効率的な開発」の一助として、これら三つの成果を統合的に活用していただけることを期待します。形式検証に大別される。形式的仕様記述は、数学的な規範で仕様を記述して、仕様の曖昧性を排除する手法。61508:IECが策定した一般的な機械を対象とした機能安全に関する国際規格。26262:ISOが策定した自動車分野の機能安全に関する国際規格。次の使用条件の下でご利用ください。情報処理推進機構が保有しています。関わらず禁じられています。情報処理推進機構は、本資料の使用者が、以下の著作権表示を明記することを条件として、1及び2の行為を行うことを許諾します。情報処理推進機構1本資料の全部または一部を複製すること。2本使用条件に記載されている使用条件を配布先に遵守させることを条件に本資料の複製物を無償で再配布すること。知的財産権を侵害しないことを一切保証するものではなく、また、本資料の内容に誤りがあった場合でも一切責任を負いかねます。知的財産権に基づくいかなる権利を許諾するものではありません。情報処理推進機構は、本資料のシステム開発への利用、開発されたシステムの使用、及び当該システムの使用不能等により生じるいかなる損害についても、なんら責任を負うものではありません。輸出関連法規を確認のうえ、必要な手続きを行って下さい。【形式記述サンプル】には、オープンソースのVDMUnitが含まれております。VDMUnitの著作権と使用条件は下記となります。ソフトウェア・エンジニアリング・センターまでご連絡下さい。ダウンロード以下の資料をダウンロードいただけます。3つの形式を、それぞれZIPファイル圧縮形式での提供となっております。・スライド(PDF形式)一括ダウンロード[5.39MB]・スライドショー(PPSX形式)一括ダウンロード[5.06MB]・ノート付きスライド(PDF形式)一括ダウンロード[27.1MB]「シラバス」にはスライドショー、ノート付きスライドはありません。「厳密な仕様記述入門」P110~P111図3-4を更新しました。