(SPLE)、形式手法(フォーマルメソッド)、テストベクタ自動生成、要件トレーサビリティソフトウエア開発プロセスは1960年代から本質的な進化を遂げていません。旧態依然とした基本的な変換(仕様->設計->実装)と検証作業の積重ねであり、多くの作業を人手に頼っています。大規模・複雑化することで生産性、品質、トレーサビリティの課題が由々しき事態となっています。先進的な顧客と共に成長してきたツールを活用することで、それら賢人のノウハウを知り独自の技術力へと昇華させることが出来るのです。武道や茶道に守・破・離という言葉がありますが、(守)ツールに習い、(破)創意工夫して、(離)高度に発展させることができる。良いツールから習うべきということです。本質的に見直すことが出来る良いツールと、それに込められた賢人の知恵と工夫を紹介します。