書いた - taka_sek のブックマーク / はてなブックマーク

書いた

taka_sek のブックマーク 2020/09/23 15:06

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/4691800443388772514/comment/taka_sek" data-user-id="taka_sek" data-entry-url="https://b.hatena.ne.jp/entry/s/swet.dena.com/entry/2020/09/23/120000" data-original-href="https://swet.dena.com/entry/2020/09/23/120000" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fswet.dena.com%2Fentry%2F2020%2F09%2F23%2F120000" data-user-icon="/users/taka_sek/profile.png">形式手法でデータ構造を記述・検査してみよう：Alloy編 - DeNA Testing Blog</a><br><p style="clear: left">書いた</p><a class="datetime" href="https://b.hatena.ne.jp/taka_sek/20200923#bookmark-4691800443388772514"><span class="datetime-body">2020/09/23 15:06</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

形式手法でデータ構造を記述・検査してみよう：Alloy編 - DeNA Testing Blog

swet.dena.com2020/09/23

SWETの仕様分析サポートチーム所属のtakasek（@takasek）です。仕様分析サポートチームでは、社内のプロダクト開発に対する形式手法の活用可能性を模索しています。当ブログでも、継続的に形式手法に関する情報...

16 人がブックマーク・1 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

形式手法でデータ構造を記述・検査してみよう：Alloy編 - DeNA Testing Blog

はてなブックマーク

公式Twitter

はてなのサービス