dr.asukaze.net

Who Am I?

• See http://www.asukaze.net/etc/profile.html.

Interests

• Software Engineering

Publications

• 海津 智宏, 磯部 祥尚, 鈴木 正人 (2010). プロセス代数 CSP によるシーケンス図設計の詳細化と検証. 信学技報, CST2009-40, Vol.109, No.367, pp.19-24.
  • 2010/01/21 Proceeding (pdf)
  • 2010/01/21 Presentation (pdf)

Top SE

• 修了製作：段階的詳細化をサポートする UML 開発環境 (2008).
  • Presentation (pdf) / Poster (pdf) / Report (pdf) / Product (zip)
  • http://www.topse.jp/tse0627/

Past Publications

• Tomohiro KAIZU, Tomoya NORO, and Takehido TOKUDA (2006). A State Propagation Method for Consistency Checking of Web Service Function Invocations in Web Applications. Joint Workshop on Web Services Modeling and Implementation Using Sound Web Engineering Practices and Methods, Architectures & Technologies for e-Service Engineering.
  • http://portal.acm.org/citation.cfm?id=1149993.1150014

Thesis

• 修士論文：OWL-S を用いたWebアプリケーションの検査と生成 (2006).
  • http://www.asukaze.net/etc/master/index.html
• 学士論文：Web サービス関数の非明示的起動の拡張に関する研究 (2004).
  • http://dr.asukaze.net/old/kaizu_sotsuron.pdf