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

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

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• 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

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

• 公式プロフィール