Doho University · Faculty of Social Welfare · 教授

Research keywords数式処理・ソフトウェア工学・プログラミング方法論・リファクタリング・並行自己反映計算・形式仕様記述・情報科学

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• A Prototype on GUI Based Editor for Z Specifications
• On a GUI based editor for a Formal Specification Language
• A Case Study of Refactoring with UML Editor Plug-in for Eclipse - Duplicate Observed Data -
• A GUI based editor for Z Specifications

• 形式仕様言語Ｚの代数仕様による実行支援環境の開発
• 並行自己反映計算の宣言的記述に関する研究
• 分散・協調型環境に立脚した画像処理手法の知能化

• Official profile