 | 2009 |
|---|
| 7 |       | Tae Kameda,
Osamu Arai,
Sergei Gorlatch,
Hamido Fujita:
Towards a Verification-Based Development Approach for Reactive Systems.
SoMeT 2009: 350-363 |
| 2008 |
|---|
| 6 |  | Osamu Arai,
Hamido Fujita:
Design Concept of Automatic Program Generation Tool for Reactive Requirement.
SoMeT 2008: 377-388 |
| 5 | | Tae Kameda,
Osamu Arai,
Sergei Gorlatch,
Hamido Fujita:
Towards Verifying Declarative Specifications of Reactive Systems.
SoMeT 2008: 389-400 |
| 2007 |
|---|
| 4 | | Osamu Arai,
Hamido Fujita:
New Verification of Reactive Requirement for Lyee Method.
SoMeT 2007: 225-238 |
| 2006 |
|---|
| 3 | | Osamu Arai,
Hamido Fujita:
Verification of the Lyee requirement.
SoMeT 2006: 340-361 |
| 2 | | 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: 423-438 |
| 2003 |
|---|
| 1 | | Osamu Arai,
Hamido Fujita:
Mathematical structure model for Word-Based Program.
Knowl.-Based Syst. 16(7-8): 399-411 (2003) |
