本文を印刷する

情報処理技術者試験

SEC高信頼化技術セミナー
形式手法入門
〜1日で学ぶ形式手法の概要と有効性及び適用事例〜

開催情報

  本セミナーでは、形式手法の概要、開発現場での課題に対する形式手法の有用性と形式手法導入のポイントを説明します。高品質のソフトウェアを効率的に開発するためには、厳密な仕様記述が重要であり、その点で形式手法が如何に有用であるかを理解していただけます。 形式手法導入の検討に役立つ、技術者として形式手法を導入するために考慮するべき事項、形式手法導入の事例紹介なども行います。
   本セミナーでは、IPA/SECにて公開している形式手法教材を使用します。

※本セミナーは2013年8月13日、12月9日開催のセミナーと同様の内容です。

UP  講演資料を公開しました。プログラム概要欄よりダウンロードいただけます。

主催 独立行政法人情報処理推進機構 (IPA)
技術本部 ソフトウェア高信頼化センター
開催日時 2014年9月16日(火)10:30〜17:30
開催場所 〒113-0021
東京都文京区本駒込2-28-8
文京グリーンコートセンターオフィス 17階 会議室A 
アクセスマップ
定員 70名
参加費 2,000円(税込)
・参加費は、会場受付時に現金でお支払いをお願い致します。
・受付にて、領収証を発行致します。
・お釣りのないようにご用意をお願い致します。
募集対象 ソフトウェア開発経験のある技術者、管理者の方。従来からのソフトウェア開発、特に上流工程での品質向上に対する問題意識のある方。形式手法に対する興味のある方。
※形式手法の知識・スキルについては特に必要ではありませんが、仕様書等を書いた経験があるとより好ましい。
配布物 対象を如何にモデル化するか?」製本版

※参加できない場合は、必ずキャンセル処理を行ってください。
※お席に限りがありますので、一部署より多くの方がご参加の場合には調整をお願いさせていただく場合があります。

プログラム

時刻 概要
10:00 受付
10:30〜
12:30
なぜ形式手法か

複雑なシステムや多様なサービスを構成するソフトウェアはその信頼性や安全性が重要視されてきています。そのようなソフトウェアに求められる高い要求とソフトウェアを開発する上で存在する課題について解説し、 問題意識を共有したうえで、その問題に対するひとつの解としての形式手法の概要を説明します。 形式手法の知識、スキル、有用性を理解し、開発現場への導入や適用を推進するための心構えや姿勢を学びます。

IPA/SEC  連携委員
新谷ITコンサルティング 代表
新谷  勝利 氏
なぜ形式手法かPDF[706KB]
12:30〜
13:30
休憩
13:30〜
15:30
形式手法に関するガイダンス

開発に形式手法を導入する際に注意するポイントを管理者と技術者の2つの観点から解説します。

IPA/SEC  連携委員
有限会社 デザイナーズ・デン
代表取締役
酒匂  寛 氏
形式手法導入に関わるガイダンスPDF[877KB]
15:30〜
15:40
休憩
15:40〜
17:00
適用事例から学ぶ(二部構成)

形式手法導入に関する事例紹介から、形式手法導入の検討・計画立案の際に参考となるポイントについて解説します。

【 一部 成功事例
IPA/SEC  連携委員
フェリカネットワークス株式会社
開発第2課 統括課長
栗田  太郎 氏
事例:成功事例PDF[576KB]

【 二部 種々の事例
IPA/SEC  連携委員
有限会社 デザイナーズ・デン
代表取締役
酒匂  寛 氏
事例:種々の事例PDF[385KB]
17:00〜
17:30
質疑応答

参加申込み

締め切り日時:2014年9月15日(月)  17時00分

お申込みは締め切りました。