xmldtp https://blog.hatena.ne.jp/xmldtp/ ウィリアムのいたずらの、まちあるき、たべあるきーPART2 https://xmldtp.hatenadiary.org/ トピックス ここのニュース 形式手法で信頼性向上を、NTTデータら5社1機関が研究組織を発足 http://itpro.nikkeibp.co.jp/article/NEWS/20091222/342535/ によると(以下斜体は上記サイトより引用） NTTデータ、富士通、NEC、日立製作所、東芝のITベンダー5社と国立情報学研究所は2009年12月22日、システム信頼性の向上を検討する研究会である「ディペンダブル・ソフトウェア・フォーラム（DSF）」を発足させた。2012年3月までに形式手法をソフト開発で利用するためのガイドライン策定などを目指す ってことらしいけど、形式仕様は、ソフト開発のどの場面で、… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fxmldtp.hatenadiary.org%2Fentry%2Ff30991bc99e08771b658fe90e8def147" title="形式手法を、ソフト開発の「どこで」利用するかが重要なので、DSFに「誰が」参加するかが重要かも？ - ウィリアムのいたずらの、まちあるき、たべあるきー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 2009-12-24 16:15:37 rich https://xmldtp.hatenadiary.org/entry/f30991bc99e08771b658fe90e8def147 1.0 100%