組織として形式手法を取り入れていこうとしているIT企業を他に知らない。DeNAへの好感度めちゃUP

hi-hats のブックマーク 2021/06/03 15:54

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/4684011296178676962/comment/hi-hats" data-user-id="hi-hats" data-entry-url="https://b.hatena.ne.jp/entry/s/swet.dena.com/entry/2020/04/08/140500" data-original-href="https://swet.dena.com/entry/2020/04/08/140500" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fswet.dena.com%2Fentry%2F2020%2F04%2F08%2F140500" data-user-icon="/users/hi-hats/profile.png">ゼロから学んだ形式手法 - DeNA Testing Blog</a><br><p style="clear: left">組織として形式手法を取り入れていこうとしているIT企業を他に知らない。DeNAへの好感度めちゃUP</p><a class="datetime" href="https://b.hatena.ne.jp/hi-hats/20210603#bookmark-4684011296178676962"><span class="datetime-body">2021/06/03 15:54</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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

ゼロから学んだ形式手法 - DeNA Testing Blog

swet.dena.com2020/04/08

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

145 人がブックマーク・11 件のコメント

他のコメントを読む

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

はてなブックマーク

ゼロから学んだ形式手法 - DeNA Testing Blog

はてなブックマーク

公式Twitter

はてなのサービス