![]() |
| 2003 | ||
|---|---|---|
| 2 | EE | Ryuji Kudo, Shinichi Nakasuka, Koichi Hori: SpecRefiner: Assistance for stepwise refinement of software development in the upstream process. Systems and Computers in Japan 34(6): 32-43 (2003) |
| 1993 | ||
| 1 | Tsunehiko Suzuki, Ryuji Kudo, Katsunori Ikami, Kentaro Iida, Takao Terano: QUALTES: A Domain Specific Tool for Electric Power Stations. IJCAI 1993: 1703-1703 | |
| 1 | Koichi Hori | [2] |
| 2 | Kentaro Iida | [1] |
| 3 | Katsunori Ikami | [1] |
| 4 | Shinichi Nakasuka | [2] |
| 5 | Tsunehiko Suzuki | [1] |
| 6 | Takao Terano | [1] |