一个文件可包括对一个程序的要求；一个形成文件的程序的要求只能包含在一个文件中。