新・形式手法；ＳＷの新たな捉え方に関する全てのブログ記事一覧
新・形式手法（ＳＷの新たな捉え方） 第１回ブログ：ソフトウエアの現状
公開：
今のＳＷは、プログラム（以下ＰＲＧと記す）言語の進化と共に理解の曖昧さを包含する世界へと突き進んで来ました。そこでのＰＲＧの進化とは、人間が意図することをＰＲＧ...
新・形式手法（ソフトウエアの新たな捉え方）のブログを書くに及んで
公開：
本項のブログを執筆する目的や背景を、会員に以下お示し致します。 ２０１０年に米国並びに日本等で注目を浴びたアクセルやブレーキに絡む不具合の一連の問題は、トヨタの...