yoshihiro503 https://blog.hatena.ne.jp/yoshihiro503/ にわとり小屋でのプログラミング https://yosh.hateblo.jp/ 形式手法 Alloy セミナー 7/12に名古屋市工業技術研究所で行われた id:kencobaさんによる Alloyセミナーに、講師補佐としてお手伝いさせてもらいました。当日の資料はこちらから辿れます。Alloy Analyzer入門セミナー - kencobaの日記TDDBC名古屋で2日間テスト駆動開発を行った直後でしたが、テスト駆動は開発者向けの手法、Alloyはどちらかというと設計者向けのテストツールのように感じました。プログラミングの手法や品質管理に比べ、設計書をチェックする手法はあまりないように思います。しかし設計段階での記述漏れやあいまいさがあり それに実装段階で気づいた場合、大きな出戻りが発生することがありま… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fyosh.hateblo.jp%2Fentry%2F20100713%2Fp1" title="Alloyセミナーに行ってきました - にわとり小屋でのプログラミング" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2010-07-13 00:00:00 rich https://yosh.hateblo.jp/entry/20100713/p1 1.0 100%