織田 健　研究室

About关于研究室

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

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

Research研究课题

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

※示意图

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

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

※示意图

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

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

Voices学长学姐的评价

评价基于在读（或曾在读）学生的个人经历，不代表研究室官方观点。评价的有无或数量不代表对研究室的评价。

对于接受采访的学生，无论内容如何，我们可能会赠送谢礼（价值1,000日元的礼品）。