HOME社会基盤センターセミナー・イベントセミナー情報JISA/IPA共催 高品質な設計書を実現する技術紹介セミナー

本文を印刷する

社会基盤センター

JISA/IPA共催 高品質な設計書を実現する技術紹介セミナー

開催情報

◆講演資料について: 公開予定はございません。ご了承ください。
共催 一般社団法人情報サービス産業協会  (公式サイト
独立行政法人情報処理推進機構
開催日時: 2012年6月27日(水)13:15~16:45
開催場所: JJK会館 2F多目的ホール
東京都中央区築地4-1-14(アクセスマップ
定員: 120名
参加費: 無料
申し込み方法 参加申込ページよりお申込みください。
・申込受付後、参加券がメールで自動送信されますのでご確認ください。
・定員になり次第、申込受付を終了いたします。
・やむを得ない事情により内容が変更になる可能性があります。

プログラム

時刻 概要
13:15
開会
13:15~
13:25
ご挨拶・全体概要

株式会社エヌ・ティ・ティ・データ 技術開発本部
ソフトウェア工学推進センタ 課長
塚本  英昭 氏
13:25~
14:15
セッション1:
設計書の欠陥を除去する技術とそれを取り入れた作業手順
~「形式手法活用ガイド」のご紹介~


株式会社エヌ・ティ・ティ・データ 技術開発本部
ソフトウェア工学推進センタ 主任
田端  一也 氏
14:15~
14:30
質疑応答
14:30~
14:45
休憩
14:45~
15:15
セッション2:
東京証券取引所の設計書を対象とした形式手法適用実験結果報告


IPA/SEC 研究員
向山 輝 
15:15~
15:30
質疑応答
14:30~
14:45
休憩
15:45~
16:30
セッション3:
高品質な設計書を実現するために
~IPA/SEC形式手法入門教材紹介~


IPA/SEC 調査役
新谷 勝利 
16:30~
16:45
質疑応答
16:45 閉会

参加申し込み

参加申込ページよりお申込みください。
・申込受付後、参加券がメールで自動送信されますのでご確認ください。
・定員になり次第、申込受付を終了いたします。
・やむを得ない事情により内容が変更になる可能性があります。