関数型言語&形式手法セミナー(2):Alloyで簡単形式検証
講師:株式会社豆蔵 小林 健一

概要:

利用者が安心して使えるシステムを開発する上で、システムの正しさを確
認する作業は非常に大切です。一般にシステム開発の現場では、テストを
通してシステムの正しさを確認します。ですが、テストは本来間違いを見
つける作業であり、「間違いがない」ことは確認できません。

一方で、厳密にシステムの正しさを確認するための手法として、形式手法
があります。これは、数学を基礎とし、数学的に厳密なシステム検証を行
なう技術です。複雑なロジックを持つシステムにとって、抜け漏れの無い
確認が行えることは大きなメリットになります。

形式手法はこれまで、主に組込みなどの高信頼性が要求される分野におい
て使われてきました。形式手法の導入に高いコストがかかることが理由で、
人命を守るシステムなど、それなりの投資対効果が得られる分野が中心で
した。

ですがここ数年、ツールの整備により、形式手法は格段に使いやすいもの
になっています。

本セミナーでは、形式手法ツールの中でも汎用性が高く、広く分析設計に
使えるツールとしてAlloy Analyzerを使用し、どのようにして検証を行な
うのかをご説明します。


スポンサード リンク

開催概要

日時 2011年01月31日(19:00開始21:00終了(18:30開場))
開催場所株式会社豆蔵トレーニングルーム(新宿三井ビルディング34階)
(東京都新宿区西新宿二丁目1番1号)
参加費無料
定員25人(先着順)
申し込み開始2011年01月06日 00時00分から
申し込み終了2011年01月31日 19時00分まで
主催

イベント概要

2011年01月31日

関数型言語&形式手法セミナー(2):Alloyで簡単形式手法

東京都新宿区西新宿二丁目1番1号

http://kokucheese.com/event/index/6887/

関数型言語&形式手法セミナー(2):Alloyで簡単形式検証 講師:株式会社豆蔵 小林 健一 概要: 利用者が安心して使えるシステムを開発する上で、システムの正しさを確 認する作業は非常に大切です。一...

イベントは終了いたしました。

スポンサード リンク