研究者詳細情報
| 研究者 | 青木 利晃 |
|---|---|
| 大学 | JAIST |
| 研究室名 | https://www.jaist.ac.jp/is/labs/aoki-lab/ |
| 専門分野 | ソフトウェア工学, ソフトウェア科学, 形式手法, 形式検証 |
| 研究テーマ | ・ソフトウェアの原理 プログラム意味論やプロセス代数といったソフトウェアに関連する基礎理論が古くから研究され続けており，成熟しつつある．このような基礎理論を用いて，現在のソフトウェアの原理を明らかにすることは，今後のソフトウェアの健全な発展のために重要である．そこで，現在，なんとなくソフトウェア開発で用いている記法や概念を，プログラム意味論などの枠組を用いて形式化して，その原理を明らかする研究を行っている． ・形式手法/形式検証 形式手法では，数学を基礎とした言語やルールを用いて，対象となるソフトウェアを記述し検証する．これにより，なんとなくソフトウェアを開発するのではなく，数学にも基づいた解析や正しさの保証を行うことができる．また，ソフトウェアの正しさを保証する１つの手法として，厳密に記述して正しいことを証明する方法が考えられる．この方法のことは形式検証(Formal Verification)と呼ばれている．そこで，このような形式手法／検証手法を用いて正しいソフトウェアを効率的に開発する手法について研究を行っている．また，その適用対象として，主に，オブジェクト指向分析・設 |
| 検索キーワード |
ソフトウェア工学
ソフトウェア科学 形式手法 形式検証 ソフトウェアの原理 形式手法/形式検証 |
| PR URL | |
| PRタイトル名 | |
| PR詳細文 (図) |
|
| 特許 | |
| 論文 | |
| 科研費 |