工業高等専門学校の学生に対する形式手法B-Methodの学生実験の実践

情報処理学会

書誌事項

タイトル別名
  • A Practice of Student Experiments of the Formal Method, B-Method Applied for Students of Institute of Technology

抄録

本稿では，ソフトウェア技術者の素養としての形式手法の体験を目標に，工業高等専門学校 （工業高専） の本科 4 年生のクラス全員に対して形式手法 B-Method の学生実験を実践した．当実験は，形式仕様記述 ・定理証明とモデル検査の双方を実施項目に含有しており，「フォーマルメソッド利用のレベル」 におけるレベル 0 よりレベル 2 までの手順を一通り体験させることを目指す．結果，受講学生より，ツールの使用手順の理解度や B-Method への親近感について一定の評価を得ており，ツールを導入したいという希望が出ているなどの一定の関心を得ており，学生の形式手法に対する敷居を下げることに成功しており，目標を達成するものであり，人材の養成確保の問題解決に向けて寄与するものと考える．

収録刊行物

キーワード

詳細情報 詳細情報について

  • CRID
    1050855522099656704
  • NII論文ID
    170000150609
  • Web Site
    http://id.nii.ac.jp/1001/00198863/
  • 本文言語コード
    ja
  • 資料種別
    conference paper
  • データソース種別
    • IRDB
    • CiNii Articles

問題の指摘

ページトップへ