|
ＳＲＡでは、『形式手法の組織的な実践とパーソナルな有効活用』をテーマに、
第7回技術セミナーを開催しました(開催日:2013年2月20日)
|
| |
〔イントロダクションセッション〕では、ＳＲＡ先端技術研究所の小田朋宏が、『ソフトウェア開発で利用できる数学的道具立て』としての形式手法とその様々な活用法について解説しました。
〔招待講演セッション〕では、形式手法を本格的に導入したフェリカネットワークス社 の栗田太郎氏から、形式手法を適応したモバイルFeliCa IC チップファームウェア開発の事例を基に、組織的な形式手法の適用によるシステム開発品質の確保についてご講演いただきました。
|
|
〔先進技術セッション〕では、ＳＲＡの小田朋宏が『形式手法が拓くUIプロトタイピングの世界』と題して、形式手法による機能設計とUI設計を組み合わせたプロトタイピング環境である「SOMETHINGit」をデモを交えて紹介しました。
〔現場報告セッション〕では、ＳＲＡ産業第１事業部の大熊浩次が、開発現場での形式手法への取り組みを紹介しました。
セミナーを通して、形式手法についてこれまでとは異なる価値がお分かりいただけたのではないかと思います。
|
| |
次回のテーマ等につきましては、決まり次第、ＳＲＡイベントページおよびセミナーニュースメーリングリストなどを通じてご案内いたします。
次回もＳＲＡ技術セミナーにご出席いただきたく、よろしくお願いいたします。
|
| |
◆ 講演資料ダウンロード
当日の発表資料を下記からダウンロードできます。なお、公開に際し、内容の一部を修正しているものがありますので、その旨ご了承願います。
【講演資料ダウンロード】 (PDF)
・イントロダクション: 『形式手法における裾野の広がり』
・招待講演: 『システム開発への形式手法の適用による品質の確保
−文書の記述力とチームのコミュニケーション力を鍛える』
・先進技術: 『形式手法が拓くUIプロトタイピングの世界』
・現場報告: 『SRA開発現場での形式手法の取り組み』
◆ お問い合わせ
本セミナーまたは過去のセミナー／シンポジウムにつきましては、
下記の問い合わせ先までご連絡ください。
株式会社ＳＲＡ
ニュービジネス戦略本部 技術セミナー担当
〒171-8513 東京都豊島区南池袋2-32-8
Tel：03-5979-2677 Fax：03-5979-2678
E-Mail：symposium-info@sra.co.jp
|
