Osamu Arai

According to our database, Osamu Arai authored at least 7 papers between 2003 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Towards a Verification-Based Development Approach for Reactive Systems.

Tae Kameda, Osamu Arai, Sergei Gorlatch, Hamido Fujita

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2009

2008

Towards Verifying Declarative Specifications of Reactive Systems.

Tae Kameda, Osamu Arai, Sergei Gorlatch, Hamido Fujita

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2008

Design Concept of Automatic Program Generation Tool for Reactive Requirement.

Osamu Arai, Hamido Fujita

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2008

2007

New Verification of Reactive Requirement for Lyee Method.

Osamu Arai, Hamido Fujita

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2007

2006

Towards Developing Adjustable Software: A Case Study with the Lyee Approach.

Sergei Gorlatch, Tae Kameda, Hamido Fujita, Michiru Tanaka, Yutaka Funyu, Osamu Arai

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2006

Verification of the Lyee requirement.

Osamu Arai, Hamido Fujita

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2006

2003

Mathematical structure model for Word-Based Program.

Osamu Arai, Hamido Fujita

Knowl. Based Syst., 2003