yoshi1173のプロフィール

[概要] パーナス博士が紹介している形式手法の文献を探しています。 [パーナス博士の形式手法] IPAのSECで、セミナーが実施されました。 　http://sec.ipa.go.jp/seminar/2009/20090410.html です。 実際に、もっと勉強してみたいのですが、参考となる文献がないので困っています。 形式手法の名前すらわかりません。 [欲しい文献] 英語でも、日本語でもかまいません（できれば和文を希望です）。 ・この手法をあてはめるときの手順 ・実際の使い方 ・使うときの注意点 などを探しています。 [近い文献でも構いません] 表形式（tabular）にまとめていく方法の文献でも構いません。 よろしくお願いします。