A Method of Generating Program Specification from Description of Human Activities.

Shuhei Kawasaki, Setsuo Ohsuga

Browse the full ISMIS paper archive.