Alloy Analyzerによるモデリング入門(1/18開催)

108 views

Skip to first unread message

ken coba

unread,

Dec 11, 2012, 10:26:52 PM12/11/12

to allo...@googlegroups.com

みなさま
こんにちは。小林@豆蔵です。

Alloy Analyzerによるモデリング入門
http://topse.or.jp/2012/12/1678
というセミナーを1月18日にやります。

前半は、一度でもAlloy Analyzerを
使ったことのある人にとっては今更な内容ですが、
後半は、新規に演習をやるつもりです。

Alloy Analyzerは、形式手法ツールの中でも
いろんな分野に適用できる可能性を持ってると思います。
セミナーの中で皆さんと一緒に考えていけたらいいなーと思います。

もしご興味ありましたらご参加ください。

Hirokazu Hatano

unread,

Jan 17, 2013, 10:02:10 PM1/17/13

to allo...@googlegroups.com

波田野と申します。

本日参加予定です。

形式手法はじめ数学系は全くの素人なのですが、ソフトウェア仕様に曖昧さがないか調べる手段、

という視点で興味があるだけでなく、将来的には「業務設計に曖昧さがないか」、「小論文の構成

に矛盾がないか」、という点まで追究しうるのかどうか、というあたりまで(漠然とですが)興味があります。

# alloy で分析後に、スクリプト言語などでどう実装していくか、というハンドリングあたりも

# 気になっています。

# (関数型言語だと、そのあたりシームレスらしい、というのはなんとなく想像しています。)

とんちんかんなことを言っているかもしれませんが、本日とても楽しみにしております。