Takanori Ugai (ugai@jp.fujitsu.com)

Japanese Page

Profile

My Interesting Research Themes

• Formal Description Technique
• Software Process
• Parallel/Distributed Programming
• Software Distribution and Maintainance

Misc

• Z FAQ (Japanese)
• RAISE FAQ (Japanese)
• HOME of formal method (UK)