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] |