Shuhei Kawasaki, Setsuo Ohsuga. A Method of Generating Program Specification from Description of Human Activities. In Zbigniew W. Ras, Setsuo Ohsuga, editors, Foundations of Intelligent Systems, 12th International Symposium, ISMIS 2000, Charlotte, NC, USA, October 11-14, 2000, Proceedings. Volume 1932 of Lecture Notes in Computer Science, pages 176-185, Springer, 2000. [doi]
Abstract is missing.