織田 健　研究室

About研究室について

プログラミングのいらないソフトウェア開発へ

織田研究室は、高品質なソフトウェアをいかに効率よく作るかを研究しています。
研究室のサイトでは、職人技に頼るプログラミングや、何ヶ月もかかるデバッグ、なくならないバグからの脱却を掲げています。
自動コード合成の研究では、過去のソフトウェア開発の資産を部品として再利用し、再現したい機能のソースコードを自動的に作ります。
ソフトウェアの仕様に誤りがないかを確かめる、仕様の検証にも取り組んでいます。

Research研究テーマ

高品質のソフトウェアをいかに効率よく作るか、というソフトウェア工学の問いに取り組んでいます。誤りを混入させない、混入した誤りを早く見つける、作業を可能な限り自動化するといった考え方のもと、仕様の検証とソースコードの自動合成を研究しています。

※イメージ画像

仕様の誤りを見つける検証↗

ソフトウェアの仕様が要求を漏れなく満たしているかを確かめる研究です。Zなどの形式的仕様記述言語で書いた仕様を、状態遷移図のような別の計算モデルの記述と比べ、食い違いから記述の不足を見つけることを目指しています。

※イメージ画像

ソースコードの自動合成↗

過去のソフトウェア開発の部品を再利用し、形式手法 B Method を応用してソースコードを自動で合成する研究です。B Method の枠組みで部品を作ることで部品の信頼性を保証でき、信頼性の高い部品の自動生成にも取り組んでいます。

Voices先輩の声

評価・クチコミは、在籍している（していた）学生個人の経験に基づくもので、研究室の公式見解ではありません。クチコミの有無や件数は、研究室の評価を表すものではありません。

インタビューに協力いただいた学生に、内容にかかわらず謝礼（1,000円分のギフト）をお渡しすることがあります。