Art

J-GLOBAL ID：202002214120811698   Reference number：20A0942275

A Practice of Student Experiments of the Formal Method, B-Method Applied for Students of Institute of Technology

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

Author (6)： ONISHI TAKAOMI (苫小牧工高専) ,  YOSHIMURA HITOSHI (苫小牧工高専) ,  ABE TSUKASA (苫小牧工高専) ,  INAGAWA KIYOSHI (苫小牧工高専) ,  YAMAMOTO RYOTA (名古屋大) ,  HORI TAKESHI (北海道総合研究機構)
Material： 情報処理学会論文誌ジャーナル(Web)
Volume： 61  Issue： 4  Page： 863-883 (WEB ONLY)  Publication year： Apr. 15, 2020 
JST Material Number： U0452A  ISSN： 1882-7764  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *experiment ,  *special school ,  *student ,  education and training ,  formal method ,  formal description ,  theorem proving ,  model checking ,  *student experiment ,  formal specification description
Semi thesaurus term： formal specification description ,  formal method ,  *National College of Technology ,  cultivation of human resources

JST classification (1)： Computer system development  (JD02010R)

Reference (38)：

• 青木利晃:車載システム開発における形式手法実践の現状と課題,システム制御情報学会「システム/制御/情報」, Vol.62, No.4, pp.134-140 (2018).
• ウィンターワークショップ 2018・イン・宮島論文募集:T4-形式手法-導入支援と技術教育 (2018),入手先 http://wws.sigse.jp/2018/cfp.html (参照 2019-07-20).
• 室 修治:変革を求められるIT人材-高信頼設計・検証を担う人材育成,SEC Journal, Vol.8, No.1, pp.26-29 (2012).
• 栗田太郎:形式手法の実践に対してよく尋ねられる質問とその回答-モバイル FeliCa の開発における形式仕様記述を通して,SEC Journal, Vol.7, No.1, pp.34-39 (2011).
• Heym, W. et al.: Integrating Components, Contracts and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions, 2017 IEEE 30th Conference on Software Engineering Education and Training (CSEE&T), pp.202-211 (2017).

Terms in the title (4)： 工業高等専門学校 ,  学生 ,  形式手法 ,  学生実験