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

抽象によるソフトウェア設計−Alloyではじめる形式手法−
お得情報
  • Amazonマーケットプレイス
    ¥ 1,100 より
  • 購入8
  • クリック274
  • 言及数35ブログ
  • ブックマーク10users
「抽象によるソフトウェア設計−Alloyではじめる形式手...」をAmazonで購入する
amazon.co.jp 詳細ページへ

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

  • このところScalaで言語を実装してみたりしてたんですが、何をしてたかというと、「プログラミング言語の基礎概念」という本に書いてあることを実装してみてたのです。 この「プログラミング言語の基礎概念」、博多駅のところの紀伊國屋に行ったときにたまたま目に入った本で、薄いし1800円だし、こいつはいいぜと思って買ってみたら、非常によい本でした。どのくらい気に入ったかというと... 続きを読む

    「プログラミング言語の基礎概念」という本が非常にお気に入り - きしだの...nowokay2011/12/2141 users
  • 試してみるよ。とりあえず商品をまとめたセット商品についての仕様を書いてみる。まず商品の定義 module exec/shohin sig Shohin{} pred show{ } run show sigはJavaとかのclassだと思えばだいたいOK。なんか商品がみっつ出た。 じゃあ、セット商品を定義してみる。 sig SetShohin{ bundle: set Shohin } おー、同じ 続きを読む

    形式仕様記述Alloyを試してみる - きしだのはてなnowokay2012/01/0229 users
  • 前エントリー「僕が形式手法を学び始めたときに読んだ10冊 - masaterukの日記」のラインナップはあまりに入手困難なものばかりだったので、2012年に始めるならということで改めて選んでみた。 1冊目。VDM\u002b\u002bによるオブジェクト指向システムの高品質設計と検証 (IT architects’ archive)作者: ジョン・フィッツジェラルド、ピーター・ゴルム・ラーセン、ポール・マッカージー、 続きを読む

    2012年に形式手法を学び始めるならこの7冊 - masaterukの日記masateruk2012/10/0523 users

「抽象によるソフトウェア設計−Alloyではじめる形式手...」が好きな人は、こんな商品も購入しています

他の商品を探す