yoshi1173 の回答履歴

全1件中1~1件表示
  • 形式手法(表形式)の文献を探しています

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