読者の声〜読者の声
日経ITプロフェッショナル　第44号　2006.1.1

この記事の情報
掲載誌	日経ITプロフェッショナル　第44号（2006.1.1）
ページ数	3ページ　（全3385字）
形式	PDFファイル形式　（264kb）
雑誌掲載位置	151〜153ページ目

■形式手法は上流工程を変革する　本誌９月号の「ＩＴ斜め斬り」の檄文を読み，いたく感動した。有賀氏は，立場上１つの形式手法（フォーマルメソッド）の普及に限定していたが，形式手法がＩＴ業界，特に組込ソフト開発における開発効率を大いに高めることができる，と訴えておられた。　ＶＤＭに限らず，形式手法は正に開発の上流工程を革命的に変貌させるものであると私は思っている。先日，逝去したピーター・ドラッカー氏は，…