dr.asukaze.net

Who Am I?

海津智宏, 磯部祥尚, 鈴木正人 (2015). SDVerifier: プロセス代数 CSP を用いたシーケンス図検証ツール. コンピュータソフトウェア 32.1, pp.1_234-1_252.
- J-STAGE
Tomohiro KAIZU, Yoshinao ISOBE, Masato SUZUKI (2013). Refinement and Verification of Sequence Diagrams Using the Process Algebra CSP. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Vol.E96-A No.2 pp.495-504.
- Paper (pdf)
- IEICE Transactions Online
Kazunori Sakamoto, Tomohiro Kaizu, Daigo Hamura, Hironori Washizaki, Yoshiaki Fukazawa (2013). POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications. Fundamental Approaches to Software Engineering. Springer Berlin Heidelberg, 2013. pp.343-358.
- http://dl.acm.org/citation.cfm?id=2450346
海津智宏, 磯部祥尚, 鈴木正人 (2010). プロセス代数 CSP によるシーケンス図設計の詳細化と検証. 信学技報, CST2009-40, Vol.109, No.367, pp.19-24.
- 2010/01/21 Proceeding (pdf)
- 2010/01/21 Presentation (pdf)
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://dl.acm.org/citation.cfm?id=1149993.1150014

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