サクサク読めて、アプリ限定の機能も多数！
“プログラマが日常的に頼っている型システムも「型システム入門」によれば「最も確立された軽量形式手法」” へぇー！そうなんだ
tonchix のブックマーク 2020/04/08 16:45
このブックマークにはスターがありません。 最初のスターをつけてみよう！
swet.dena.com2020/04/08
2020年1月に入社し、SWETの仕様分析サポートチームに加わったtakasek（@takasek）です。 仕様分析サポートチームでは、社内のプロダクト開発に対する形式手法の活用可能性を模索しています。当ブログでも、継続的...
146 人がブックマーク・10 件のコメント
＼ コメントが サクサク読める アプリです ／
“プログラマが日常的に頼っている型システムも「型システム入門」によれば「最も確立された軽量形式手法」” へぇー！そうなんだ
このブックマークにはスターがありません。
最初のスターをつけてみよう！
ゼロから学んだ形式手法 - DeNA Testing Blog
2020年1月に入社し、SWETの仕様分析サポートチームに加わったtakasek（@takasek）です。 仕様分析サポートチームでは、社内のプロダクト開発に対する形式手法の活用可能性を模索しています。当ブログでも、継続的...
146 人がブックマーク・10 件のコメント
＼ コメントが サクサク読める アプリです ／