19.4 知件和基于知件的软件工程