Osamu Arai

Publication Activity (10 Years)

Years Active: 2003-2009
Publications (10 Years): 0

Publications

Tae Kameda, Osamu Arai, Sergei Gorlatch, Hamido Fujita
Towards a Verification-Based Development Approach for Reactive Systems. SoMeT (2009)
Tae Kameda, Osamu Arai, Sergei Gorlatch, Hamido Fujita
Towards Verifying Declarative Specifications of Reactive Systems. SoMeT (2008)
Osamu Arai, Hamido Fujita
Design Concept of Automatic Program Generation Tool for Reactive Requirement. SoMeT (2008)
Osamu Arai, Hamido Fujita
New Verification of Reactive Requirement for Lyee Method. SoMeT (2007)
Sergei Gorlatch, Tae Kameda, Hamido Fujita, Michiru Tanaka, Yutaka Funyu, Osamu Arai
Towards Developing Adjustable Software: A Case Study with the Lyee Approach. SoMeT (2006)
Osamu Arai, Hamido Fujita
Verification of the Lyee requirement. SoMeT (2006)
Osamu Arai, Hamido Fujita
Mathematical structure model for Word-Based Program. Knowl. Based Syst. 16 (7-8) (2003)