Ryuji Kudo

Publication Activity (10 Years)

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

Publications

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) (2003)
Tsunehiko Suzuki, Ryuji Kudo, Katsunori Ikami, Kentaro Iida, Takao Terano
QUALTES: A Domain Specific Tool for Electric Power Stations. IJCAI (1993)