形式仕様記述Alloyを試してみる - きしだのHatena
試してみるよ。 とりあえず商品をまとめたセット商品についての仕様を書いてみる。 まず商品の定義 module exec/shohin sig Shohin{} pred show{ } run show sigはJavaとかのclassだと思えばだいたいOK。 なんか商品がみっつ出た。 じゃあ、セット商品を定義してみる。 sig SetShohin{ bundle: set Shohin } おー、同じ商品が３つのセットに含まれてしまった。Alloyさんイヤらしいとこついてくる。 ということで、ひとつの商品は多くてもひとつのセットにしか含まれない、っていう制約を加えます。 fact { all s: Shohin | lone bundle.s } 書き下ろすと「すべての商品について、商品をbundleとして持つのはたかだか１つ」になるんですけど、この、フィールドを左に書く書き方は通常のプ
『抽象によるソフトウェア設計』とAlloy、第一印象報告 - 檜山正幸のキマイラ飼育記 (はてなBlog)
『抽象によるソフトウェア設計 -- Alloyではじめる形式手法』の献本をいただきました*1。書店に並ぶ前、7月9日に届きました。訳者のみなさん、ありがとうございます。 抽象によるソフトウェア設計−Alloyではじめる形式手法− 作者: Daniel Jackson,中島震,今井健男,酒井政裕,遠藤侑介,片岡欣夫出版社/メーカー: オーム社発売日: 2011/07/15メディア: 単行本（ソフトカバー）購入: 8人 クリック: 274回この商品を含むブログ (35件) を見る 「序文」、「監訳者序文」、「訳者あとがき」、そして第1章「はじめに」あたりを読んで感心しておりました。第1章はわずか4ページですが、素晴らしい、実にいいことが書いてあります。それで僕はスッカリ満足して（残りは読まないままで ^^;）いました。 金曜日（7月15日）にid:bonotakさんに、「アンタ、いくらなんでも
Alloy Community
Welcome to the new Alloy community website! This site is intended as a way for Alloy users to connect and discuss the Alloy modeling language, as well as a place to post papers, software, events or courses related to Alloy. The Alloy Analyzer can be downloaded HERE! If you are a new user to Alloy, please browse the Tutorial and the main Alloy Analyzer web page. If you are a researcher or user of
「抽象によるソフトウェア設計」が発売されます - まめめも
来週には RubyKaigi ですが、Ruby とは全く関係ない話題。 半年前にレビュワーを募集していた Software Abstraction 翻訳本ですが、とうとう発売されることになりました。今月中旬には書店に入るはずで、今日私の手元にも見本が届いたところです。みんな各自 100 冊くらい買ってください。 抽象によるソフトウェア設計−Alloyではじめる形式手法−posted with amazlet at 11.07.08Ｄａｎｉｅｌ Jackson オーム社 売り上げランキング: 35132 Amazon.co.jp で詳細を見る↑アフィリエイト注意。みんな絶対クリックするなよ！ Alloy とかいう形式手法の教科書です。Alloy でソフトウェアの仕様を形式的に記述して検証とかして、上流設計をうまいことこなしてください。 有界モデル検査とか言うと敷居が高く聞こえるかもしれません
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
