プログラミング教育向けビジュアルプログラミング環境へのアサーションの導入

• 研究課題/領域番号: 26330099
• 研究種目: 基盤研究(C)
• 配分区分: 基金
• 応募区分: 一般
• 研究分野: ソフトウェア
• 研究機関: 株式会社SRA(先端技術研究所)
• 研究代表者: 小田 朋宏 株式会社SRA(先端技術研究所), 先端技術研究所, 研究員 (00580383)
• 研究期間 (年度): 2014-04-01 – 2017-03-31
• 研究課題ステータス: 完了 (2016年度)
• 配分額: 2,730千円 (直接経費: 2,100千円、間接経費: 630千円); 2016年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円); 2015年度: 520千円 (直接経費: 400千円、間接経費: 120千円); 2014年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
• キーワード: プログラミング教育 / 形式手法 / ビジュアルプログラミング / 契約プログラミング / 公開した成果の改良 / 評価のための予備実験 / 教育現場への適用 / 研究成果の一般公開 / 国際情報交換（フランス）

研究成果の概要

ブロック式ビジュアルプログラミング環境は、プログラミング言語の構文規則やキーワードを暗記することなくプログラミングを体験することができることから、小学校から大学まで広くプログラミング入門に利用されている。本研究では、ブロック式ビジュアルプログラミング環境「Phratch」にアサーション機能を追加するソフトウェアを開発し、一般に公開した。アサーションは処理単位に対する事前条件および事後条件を定義したものであり、ソフトウェアの機能仕様、設計およびテストを系統的に行うことを可能にする。実際の大学学部レベルのプログラミング教育に「Assertch」を導入し、その効果を評価した。

研究成果

• [雑誌論文] A Formal Modeling Tool for Exploratory Modeling in Software Development (2017)
  • 著者名/発表者名: Tomohiro Oda, Keijiro Araki, and Peter Gorm Larsen
  • 雑誌名: IEICE Transactions on Information and Systems 巻: E100.D 号: 6 ページ: 1210-1217
  • DOI: 10.1587/transinf.2016FOP0003
  • NAID: 130005687709
  • ISSN: 0916-8532, 1745-1361
  • 査読あり / 国際共著 / 謝辞記載あり
• [雑誌論文] 形式仕様工程の初期段階に着目した統合仕様記述環境 ViennaTalk (2017)
  • 著者名/発表者名: 小田朋宏, 荒木啓二郎
  • 雑誌名: コンピュータソフトウェア 巻: 印刷中
  • NAID: 130006855219
  • 査読あり / 謝辞記載あり
• [学会発表] ソフトウェア開発発注者育成のための形式手法を取り入れたプログラミング教育 (2017)
  • 著者名/発表者名: 伊藤栄一郎, 小田朋宏, 荒木啓二郎
  • 学会等名: ソフトウェアシンポジウム2017
  • 発表場所: 宮崎県宮崎市
  • 年月日: 2017-06-07
• [学会発表] ViennaTalk and Assertch: Building Lightweight Formal Methods Environments on Pharo 4 (2016)
  • 著者名/発表者名: Tomohiro Oda, Keijiro Araki, and Peter Gorm Larsen
  • 学会等名: International Workshop on Smalltalk Technologies
  • 発表場所: Prague, Czech Republic
  • 年月日: 2016-08-22
  • 国際学会
• [学会発表] VDM-SL仕様からのSmalltalkプログラムの自動生成 (2016)
  • 著者名/発表者名: 小田朋宏, 荒木啓二郎
  • 学会等名: ソフトウェアシンポジウム2016
  • 発表場所: 鳥取県米子市
  • 年月日: 2016-06-05
• [学会発表] Automated VDM-SL to Smalltalk Code Generators for Exploratory Modeling (2016)
  • 著者名/発表者名: Tomohiro Oda, Keijiro Araki, and Peter Gorm Larsen
  • 学会等名: The Fourteenth Overture Workshop: Towards Analytical Tool Chains
  • 発表場所: Limassol, Cyprus
  • 国際学会
• [備考] Assertch: Phratch with Assertions
  • URL: https://www.sra.co.jp/ktl/assertch/index.html
• [備考] プログラミング教育向けビジュアルプログラミング環境へのアサーションの導入
  • URL: https://www.sra.co.jp/ktl/formalista/index.html
• [備考] tomooda / Assertch
  • URL: http://smalltalkhub.com/#!/~tomooda/Assertch
• [備考] tomooda / Assertalk
  • URL: http://smalltalkhub.com/#!/~tomooda/Assertalk
• [備考] Assertch: Phratch with Assertions
  • URL: http://www.sra.co.jp/ktl/assertch/index.html
• [備考] FormalISTA: Formalism as Introductory Systems...
  • URL: http://www.sra.co.jp/ktl/formalista/index.html
• [備考] tomooda / Assertch - SmalltalkHub
  • URL: http://smalltalkhub.com/#!/~tomooda/Assertch
• [備考] A new add-on: Assertch | phratch
  • URL: http://www.phratch.com/archives/1107