抽象によるソフトウェア設計－Alloyではじめる形式手法－

お得情報

Amazonマーケットプレイス
￥ 3,981 より

Daniel Jackson, 中島震, 今井健男, 酒井政裕, 遠藤侑介, 片岡欣夫
オーム社 - 単行本（ソフトカバー） - 2011/07/15
￥ 4,725

購入8人
クリック239回
言及数25ブログ
ブックマーク9users

「抽象によるソフトウェア設計－Alloyではじめる形式手...」を含むはてなダイアリーの人気ブログこの商品についてブログを書く

このところScalaで言語を実装してみたりしてたんですが、何をしてたかというと、「プログラミング言語の基礎概念」という本に書いてあることを実装してみてたのです。この「プログラミング言語の基礎概念」、博多駅のところの紀伊國屋に行ったときにたまたま目に入った本で、薄いし1800円だし、こいつはいいぜと思って買ってみたら、非常によい本でした。どのくらい気に入ったかというと... 続きを読む
「プログラミング言語の基礎概念」という本が非常にお気に入り - きしだの...nowokay2011/12/2137 users
試してみるよ。とりあえず商品をまとめたセット商品についての仕様を書いてみる。まず商品の定義 module exec/shohin sig Shohin{} pred show{ } run show sigはJavaとかのclassだと思えばだいたいOK。なんか商品がみっつ出た。じゃあ、セット商品を定義してみる。 sig SetShohin{ bundle: set Shohin } おー、同じ続きを読む
形式仕様記述Alloyを試してみる - きしだのはてな nowokay2012/01/0228 users
雑記／備忘 | 15:20 | 『抽象によるソフトウェア設計 -- Alloyではじめる形式手法』の献本をいただきました*1。書店に並ぶ前、7月9日に届きました。訳者のみなさん、ありがとうございます。抽象によるソフトウェア設計－Alloyではじめる形式手法－作者: Daniel Jackson,中島震,今井健男,酒井政裕,遠藤侑介,片岡欣夫出版社/メーカー: オーム社発売日: 2011/07/15 続きを読む
『抽象によるソフトウェア設計』とAlloy、第一印象報告 - 檜山正幸のキマイ...m-hiyama2011/07/1919 users