yoshi1173 の回答履歴
全1件中1~1件表示
- 形式手法(表形式)の文献を探しています
[概要] パーナス博士が紹介している形式手法の文献を探しています。 [パーナス博士の形式手法] IPAのSECで、セミナーが実施されました。 http://sec.ipa.go.jp/seminar/2009/20090410.html です。 実際に、もっと勉強してみたいのですが、参考となる文献がないので困っています。 形式手法の名前すらわかりません。 [欲しい文献] 英語でも、日本語でもかまいません(できれば和文を希望です)。 ・この手法をあてはめるときの手順 ・実際の使い方 ・使うときの注意点 などを探しています。 [近い文献でも構いません] 表形式(tabular)にまとめていく方法の文献でも構いません。 よろしくお願いします。
- ベストアンサー
- その他(プログラミング・開発)
- hoge-tyon
- 回答数1