本文を印刷する

情報処理技術者試験

SEC高信頼化技術セミナー
上流工程における問題を解決するために
〜ソフトウェアエンジニアリングに基づく形式手法入門〜

開催情報

   ソフトウェア開発では上流工程での信頼性が、製品そのものの信頼性、開発効率につながっていきます。そこで、本セミナーでは、要求の明確化、要件の定義、これらを基に仕様書を作成するという上流工程でのアプローチについて、ソフトウェアエンジニアリングの観点から解説します。さらに、ソフトウェアエンジニアリングの実践としての形式手法について概要と事例について解説します。これらにより、ソフトウェア開発での信頼性や開発効率の向上について理解を深めていただきます。

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

主催 独立行政法人情報処理推進機構 (IPA)
技術本部 ソフトウェア高信頼化センター
共催 ソフトウェア技術者協会(SEA)
後援 一般財団法人関西情報センター(KIIS)
近畿経済産業局
組込みシステム産業振興機構(ESIP)
特定非営利活動法人ITコーディネータ協会(ITCA)
開催日時 2015年9月12日(土)13:30〜17:00
開催場所 〒530-0001
JAC Recruitment 大阪支店
大阪府大阪市北区梅田2-2-2 第二吉本ビルディング 12階
(ヒルトンプラザウエスト オフィスタワー)
アクセスマップ

※JAC Recruitment様のご好意により無料で利用させていただきます。お礼申し上げます。
定員 40名
参加費 無料
募集対象 ソフトウェア開発経験のある技術者、管理者の方。
従来からのソフトウェア開発、特に上流工程での品質向上に対する問題意識のある方。
形式手法に対する興味のある方。
※形式手法の知識・スキルについては特に必要ではありません。
配布物 SEC journal 31号

ITコーディネータの方へ

本セミナーは、ITコーディネータ協会(ITCA)に後援をいただいていますので、実践力ポイント獲得の機会となります。ITコーディネータの方も奮ってご参加ください。
※ポイント認定につきましては、遅刻・早退を認めておりませんので、あらかじめご了承ください。

出席証明書はセミナー受付時にお渡ししますのでお申し出ください。  
セミナー終了後、事務局確認印を押印いたします。
氏名、ITC資格No.をご記入の上、受付にお越しください。(事務局確認印が無い場合、ポイントは無効です)

プログラム

時刻 概要
13:00 受付
13:30〜
14:45
ソフトウェアエンジニアリング概説

ソフトウェアエンジニアリングの考え方の基本は、情報の要素と関係をもれなく重複なく同定し整理することです。この考え方に基づく開発手法は様々ありますが、すべて次のようなごく基礎的で一般的な「思考の道具」の組合せです。
順序、組または次元、構造化・抽象化・階層化、対応・写像・変換、粒度、集合と要素、直列と並列、静(空間)と動(時間)、物理と論理、高階関係(関係間関係)、自己言及・自己適用などです。
これらをしっかり理解することにより、どんな手法・技法に対しても、その大筋をつかめるようになることを目指します。

和歌山大学
システム工学部 教授
鰺坂  恒夫 氏
ソフトウェアエンジニアリングの本質ソフトウェアエンジニアリングの本質[114KB]
14:45〜
14:55
休憩
14:55〜
15:40
なぜ形式手法か

ソフトウェア開発の問題点とその背景を紹介し、その解決策として、形式手法の導入がもたらす効果を説明します。さらに、安心・安全なソフトウェア開発のために形式手法が推奨されている国際標準について紹介します。

IPA/SEC 連携委員
新谷ITコンサルティング 代表
新谷  勝利 氏
なぜ形式手法かなぜ形式手法か[649KB]
15:40〜
15:50
休憩
15:50〜
16:30
駅務機器ソフトウェア開発における形式手法の活用事例

ソフトウェアの大規模化・複雑化に伴い、開発の上流工程での成果物の品質を高めることが、効率的に製品の信頼性を高めるための重要なファクターとなっています。弊社では、鉄道の自動改札機に搭載されている運賃計算ソフトウェアの仕様書を形式仕様記述言語VDM++で記述することで、仕様書の品質を改善する取り組みを実施しました。本講演では、そこで明らかとなった現状の仕様書の記述上の特徴と記述改善策について、具体的に紹介します。

オムロンソーシアルソリューションズ株式会社
技術創造センタ 先端技術部 主事
幡山  五郎 氏
駅務機器ソフトウェア開発における形式手法の活用事例駅務機器ソフトウェア開発における形式手法の活用事例[600KB]
16:30〜
17:00
意見交換/質疑応答

セミナーの振り返りと、受講者の皆様が日頃思っているソフトウェア開発の問題点を形式手法で解決することについて意見交換を行います。

参加申込み

締め切り日時:2015年9月11日(金)  17時00分



セミナーに関するよくある質問と回答はこちら

※セミナー申込み後にこのページに表示される受講票をプリントアウトしてご持参ください。
 スマートフォンやタブレット端末でご提示いただくことも可能です。
※参加できない場合は、必ずキャンセル処理を行ってください。

※お席に限りがありますので、一部署より多くの方がご参加の場合には調整をお願いさせていただく場合があります。

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