PSPをもとにした形式手法有効性確認コースの設計
Bibliographic Information
- Other Title
-
- PSP オ モト ニ シタ ケイシキ シュホウ ユウコウセイ カクニン コース ノ セッケイ
- VDM over PSP: A Method for Confirming The Usefulness of A Formal Method
Search this article
Abstract
VDMを学習している初学者がVDMの有効性を客観的に確認する方法を提案する。有効性は以下の順で確認する。(1)特定ドメインを想定した小規模プログラム演習を数回繰り返す。(2)演習遂行に従い、VDMを段階的に導入する。(3)各演習のプロセス・プロダクトのデータをそれぞれ測定する。(4)測定データを基に欠陥除去等の変化を測定者に示す。
Article
情報処理学会研究報告 ソフトウェア工学研究会報告. 2003(22):63-70 (2003)
Journal
-
- 情報処理学会研究報告 ソフトウェア工学研究会報告
-
情報処理学会研究報告 ソフトウェア工学研究会報告 2003 (22), 63-70, 2003-03
社団法人情報処理学会
- Tweet
Details 詳細情報について
-
- CRID
- 1050564288876332800
-
- NII Article ID
- 110002911403
-
- NII Book ID
- AN10112981
-
- ISSN
- 09196072
-
- HANDLE
- 10091/3356
-
- NDL BIB ID
- 6547034
-
- Text Lang
- ja
-
- Article Type
- journal article
-
- Data Source
-
- IRDB
- NDL
- CiNii Articles