電子情報工学科　教員・研究室：桒原 寛明

桒原 寛明　准教授

〔専門分野〕

　ソフトウェアサイエンス

〔研究テーマ〕

　形式手法とソフトウェア開発支援

〔教員web〕

http://sst.se.nanzan-u.ac.jp/kuwabara/index-ja.html

形式手法に基づくソフトウェア開発支援

ソフトウェアが望ましい性質を持っていること、あるいは望ましくない性質を持っていないことを数理的技法を用いて証明する技術と、その結果に基づいてソフトウェアの修正や改善を支援する技術について研究しています。

主な研究業績・最近の研究業績

• (作成中)