[概要]
パーナス博士が紹介している形式手法の文献を探しています。
[パーナス博士の形式手法]
IPAのSECで、セミナーが実施されました。
http://sec.ipa.go.jp/seminar/2009/20090410.html
です。
実際に、もっと勉強してみたいのですが、参考となる文献がないので困っています。
形式手法の名前すらわかりません。
[欲しい文献]
英語でも、日本語でもかまいません(できれば和文を希望です)。
・この手法をあてはめるときの手順
・実際の使い方
・使うときの注意点
などを探しています。
[近い文献でも構いません]
表形式(tabular)にまとめていく方法の文献でも構いません。
よろしくお願いします。
No.1ベストアンサー
- 回答日時:
パーナス博士が米国の海軍研究所時代に開発された表形式(tabular)の要件モデリングツールの名前は、SCR です。
当時は北米の空軍機の要件モデル化や検査に使われていたようです。この SCR を改良し製品化されているものにT-VEC 社 TTM があります。表形式に要求仕様や設計をモデル化し、形式手法を用いてモデル検査とテストベクタ生成を行います。参考URL:http://www.t-vec.com/wiki/jp/index.php/T-VEC_Tab …
ありがとうございます。
詳しい情報、ありがとうございます。
情報が少なく、このような情報を頂いて、大変、参考となります。
実際に、ツールが実用化となっているとは驚きました。
(前に論文で、(博士と一緒に研究している人?が)、ツールについての書かれているのを拝見した記憶はあります)。
製品化されているのであれば、
いろいろと情報も落ちていると思いますので、もう少し探してみます。
勉強不足で、テストベクタのような言葉の意味はできません(苦笑い
非常に参考となりました。
本当にありがとうございました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 英語 ”be”<動詞>と<助動詞>混同の誤り ― 形式主義文法論の混迷 12 2022/05/17 11:09
- 英語 "long"→「腰がある」、「粘りがある」という意味が辞書に掲載されていないのはなんでですのん? 5 2023/06/27 17:14
- Word(ワード) Wordの目次作成についてです。 卒業論文で目次を作ることになりました。 本文は「見出し」の機能を使 1 2023/01/17 11:26
- その他(教育・科学・学問) 薬学 卒論 2 2022/12/22 21:21
- HTML・CSS リンクバナーのHTMLタグ。画像を変えたり、設置位置を変えるとバナー貼付け側はどう見える? 2 2023/02/01 12:01
- 哲学 日本語は 言語類型として あたかも始原のごとくである 3 2022/05/29 04:41
- Visual Basic(VBA) エクセルのマクロについて教えてください。 4 2023/03/02 08:40
- 英語 It remains true of the new generation that most co 1 2022/08/23 16:19
- 哲学 大学の授業のレポート。あなたが担当教員だとしたら 6 2022/06/19 14:13
- 英語 It is thanks to food and water that a child can gr 2 2022/04/12 19:57
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
インパクトファクターの調べ方...
-
レポート課題があるのですが こ...
-
ワード 章ごとに文献番号を記載...
-
前額法、はなんと読む?
-
資料文献プレースホルダに、タ...
-
WORDの脚注を[3-6]のように...
-
ヘルツホルム・コールラウシュ...
-
卒論の参考文献の付け方
-
「~と~を」と「~と~とを」...
-
カウンターバランスについて
-
「知っていない」という日本語...
-
t検定で自由度がn-1の場合...
-
性格検査の虚構性について
-
心理学の卒論、統計のやり方(...
-
Tukey法による多重比較の論文
-
心理学についてです。 (ハーロ...
-
3つの尺度間の相関を見るためには
-
卒業論文についての質問です。 ...
-
0.001と0.01を有意水準とする場...
-
心理学の要因と水準について
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
『入門コンピュータ科学』(ASC...
-
WORDの脚注を[3-6]のように...
-
資料文献プレースホルダに、タ...
-
ワード 章ごとに文献番号を記載...
-
引用文献 同じ本から2カ所のとき
-
卒業論文の文献研究の書き方で...
-
脈圧の正常値について
-
wordの文献目録のインポート
-
レポート課題があるのですが こ...
-
WORD 引用文献
-
ロリータコンプレックスとペド...
-
心理学の卒論テーマについて
-
Wordでの資料文献と引用文献の...
-
前額法、はなんと読む?
-
延性破壊条件式について
-
ファン心理に関する参考文献
-
「面白い」という感情について...
-
バーラインの覚醒水準モデルに...
-
ワードで参考文献の書き方を変...
-
トランジスタの原理
おすすめ情報