書誌事項
- タイトル別名
-
- PSP オ モト ニ シタ ケイシキ シュホウ ユウコウセイ カクニン コース ノ セッケイ
- VDM over PSP: A Method for Confirming The Usefulness of A Formal Method
この論文をさがす
抄録
VDMを学習している初学者がVDMの有効性を客観的に確認する方法を提案する。有効性は以下の順で確認する。(1)特定ドメインを想定した小規模プログラム演習を数回繰り返す。(2)演習遂行に従い、VDMを段階的に導入する。(3)各演習のプロセス・プロダクトのデータをそれぞれ測定する。(4)測定データを基に欠陥除去等の変化を測定者に示す。
Article
情報処理学会研究報告 ソフトウェア工学研究会報告. 2003(22):63-70 (2003)
収録刊行物
-
- 情報処理学会研究報告 ソフトウェア工学研究会報告
-
情報処理学会研究報告 ソフトウェア工学研究会報告 2003 (22), 63-70, 2003-03
社団法人情報処理学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1050564288876332800
-
- NII論文ID
- 110002911403
-
- NII書誌ID
- AN10112981
-
- ISSN
- 09196072
-
- HANDLE
- 10091/3356
-
- NDL書誌ID
- 6547034
-
- 本文言語コード
- ja
-
- 資料種別
- journal article
-
- データソース種別
-
- IRDB
- NDL
- CiNii Articles