気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
speakerdeck.com/hoddy3190エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント6件
- 注目コメント
- 新着コメント
yarumato
“ゲーム開発時の仕様不備に早く気付きたい。後工程ほど修正手戻り工数が大きくなるからだ。形式手法＝仕様を明確に記述・検証できる。専用の記述言語で書き直しツールで検証。AWSやFelica開発で実使用。 Spin/Promela”
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
形式手法を使って、 発見しにくいバグを一網打尽にしよう
builderscon tokyo 2019で話したときに使った資料です。 YouTube: https://www.youtube.com/watch?v=D7G... builderscon tokyo 2019で話したときに使った資料です。 YouTube: https://www.youtube.com/watch?v=D7GccAn6R94 [2020/04/17追記] この資料をさらにブラッシュアップした資料を公開しました。 この資料よりも次の資料をご覧いただくことをおすすめします。 https://www.slideshare.net/dena_tech/dena-techcon-2020-230372486
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
speakerdeck.com/hoddy3190
www.mag2.com
togetter.com
delete-all.hatenablog.com
comic-ogyaaa.com
note.com/omotikuazu
www.itmedia.co.jp
www.itmedia.co.jp
anond.hatelabo.jp
forest.watch.impress.co.jp
www.itmedia.co.jp
av.watch.impress.co.jp
forest.watch.impress.co.jp
kakaku.com
www.itmedia.co.jp
www.afpbb.com
www.nicovideo.jp
2019/08/30 リンク