同朋大学 · 社会福祉学部 · 教授

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

以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。

• 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

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

• 官方个人主页