形式的手法も1度，1980年代に日本で研究対象として注目を集めたことがある。しかし，当時はまだソフトウエアの規模自体が膨大ではなかった上，ソフトウエアの上流工程の重要さもあまり実感されていなかったことから，その後，研究は下火になった（図7）。日本における形式的手法の第一人者である九州大学大学院 システム情報科学研究院 情報工学部門 教授の荒木啓二郎氏はこう語る。「1980年代はソフトウエアのモジュール化が有効との議論がなされていたような時代。今ではモジュール化は当たり前のこととして現場に定着し，誰もそんなことは議論しなくなった。当時，形式的手法を現場に適用するのはあまりに早すぎたのかもしれない」
この記事は会員登録で続きをご覧いただけます
-
会員の方はこちら
ログイン -
登録するとマイページが使えます
今すぐ会員登録（無料）
日経クロステック登録会員になると…
・新着が分かるメールマガジンが届く
・キーワード登録、連載フォローが便利
さらに、有料会員に申し込むとすべての記事が読み放題に！
春割キャンペーン実施中！
＞＞詳しくは
日経クロステックからのお薦め
日経BP 総合研究所がお話を承ります。ESG／SDGs対応から調査、情報開示まで、お気軽にお問い合わせください。
ブランド強化、認知度向上、エンゲージメント強化、社内啓蒙、新規事業創出…。各種の戦略・施策立案をご支援します。詳細は下のリンクから。
「デジタル＆ソリューション」をキーワードに、多様な事業を展開しています。
日経BPは、デジタル部門や編集職、営業職・販売職でキャリア採用を実施しています。デジタル部門では、データ活用、Webシステムの開発・運用、決済システムのエンジニアを募集中。詳細は下のリンクからご覧下さい。
