xmldtp https://blog.hatena.ne.jp/xmldtp/ ウィリアムのいたずらの、まちあるき、たべあるきーPART2 https://xmldtp.hatenadiary.org/ トピックス SDM公開講座「現代ソフトウエアエンジニアリングの俯瞰図」 の第14回 ソフトウェアの高品質を実現するアプローチ ～開発ライフサイクルを通して正しさを議論するための形式手法等～ を聞いてきたので、メモメモ ※まだ発表していないものの一部なので、ＳＥＣのＨＰにまだ上がっていません トラブルは開発中でなくリリース後に発生 ・いくら開発中のバグフィックスをしても、クリープは発生しがち ・Ｖモデルのいける検証の考え方はリリース後に出るエラーは開発当初のステージで組み込まれた潜在バグ ・ということは、最初に組み込まれたか、リリース後の運用を考慮しない仕様にしたものは、リリース後にエラーとして出現 ソフト… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fxmldtp.hatenadiary.org%2Fentry%2F27612e86e23a3e19e25ab380a6fe46fb" title="IPAは、形式仕様、とりあえずＶＤＭが中心みたい・・・ - ウィリアムのいたずらの、まちあるき、たべあるきーPART2" 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 2012-07-13 23:44:08 rich https://xmldtp.hatenadiary.org/entry/27612e86e23a3e19e25ab380a6fe46fb 1.0 100%