気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
masateruk.hatenablog.comエントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
2012年に形式手法を学び始めるならこの7冊 - masateruk’s blog
前エントリー「僕が形式手法を学び始めたときに読んだ10冊 - masaterukの日記」のラインナップはあまり... 前エントリー「僕が形式手法を学び始めたときに読んだ10冊 - masaterukの日記」のラインナップはあまりに入手困難なものばかりだったので、2012年に始めるならということで改めて選んでみた。 １冊目。 VDM++によるオブジェクト指向システムの高品質設計と検証 (IT architects’ archive) 作者: ジョン・フィッツジェラルド、ピーター・ゴルム・ラーセン、ポール・マッカージー、ニコ・プラット、マーセル・バーホフ,酒匂寛出版社/メーカー: 翔泳社発売日: 2010/08/03メディア: 大型本購入: 1人 クリック: 32回この商品を含むブログ (8件) を見るVDM++の本。形式手法を学び始めるならこの本から始めると取っ付きやすいのではないかと思う。高級言語をつかった陽関数定義（実行可能形式）でモデルをがんがん書いて、シミュレーションとテストでモデルを洗練していくや
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
masateruk.hatenablog.com
masateruk.hatenablog.com
masateruk.hatenablog.com
masateruk.hatenablog.com
blog.tinect.jp
omocoro.jp
www.u-tokyo.ac.jp
anond.hatelabo.jp
blog.father.gedow.net
note.akwkm.com
www.yomiuri.co.jp
www.publickey1.jp
speakerdeck.com/quramy
speakerdeck.com/yosuke_furukawa
gigazine.net
techtarget.itmedia.co.jp
masateruk.hatenablog.com
masateruk.hatenablog.com
masateruk.hatenablog.com
2014/02/12 リンク