KB/RMS: an intelligent assistant for requirement definition.

Robert V. Binder, Jeffrey J. P. Tsai

Browse the full ICTAI paper archive.