WEKO3
アイテム
工業高専生への導入を目的としたB-Methodのモデル記述（１）
https://ipsj.ixsq.nii.ac.jp/records/185301
https://ipsj.ixsq.nii.ac.jp/records/1853019e7200c4-9a11-439f-b0af-6efebcf62cce
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-WWS2018019.pdf (834.1 kB)
|
Copyright (c) 2018 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2018-01-11 | |||||||
| タイトル | ||||||||
| タイトル | 工業高専生への導入を目的としたB-Methodのモデル記述（１） | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | B-Method Modellings Aimed to Introduce for Students of Institute of Technology (KOSEN) (1) | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 形式手法－導入支援と技術教育－ | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||
| 資源タイプ | conference paper | |||||||
| 著者所属 | ||||||||
| 苫小牧工業高等専門学校 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| National Institute of Technology, Tomakomai College | ||||||||
| 著者名 |
大西, 孝臣
× 大西, 孝臣
|
|||||||
| 著者名(英) |
Takaomi, Ohnishi
× Takaomi, Ohnishi
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 本稿では，形式手法 B-Method の導入を目的として，再来年度実施の工業高専情報系第 4 学年学生を対象にする実験テーマに活用できそうな規模，難易度であり，問題数を確保できる記述対象として，英文論理パズルを活用したモデル記述と，授業で使用した試験問題を活用したモデル記述を提案する．前者では，要素間の関係性を数理的に定義する考え方を学生に教えることを目的としている．Well Defined に係る証明責務への対応を学生実験の時間で指導できるのかについては思案をしている．後者では，システムの機能安全を保証するための不変条件を導出させ，モデル記述に際して抽象機械より実装に向けたリファインメントを行う考え方を学生に教えることを目的としている． | |||||||
| 書誌情報 |
ウィンターワークショップ2018・イン・宮島 論文集 巻 2018, p. 38-39, 発行日 2018-01-11 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
