| 1. | The workshop on knowledge acquisition , modeling and management kaw 98 , banff , canada , 1998 , pp . 1 - 13 . 10 leveson n g , heimdahl m p e , hildreth h , reese j d . requirements specification for process - control systems . ieee trans
实际上在软件工程早期， pannas提出著名的四变量模型方法就隐含了基于环境建模的思想，但局限于当时的软件技术，所能表达的问题比较简单，软件所作用的环境只能落实到简单的输入输出变量上，需求的表现也就比较简单。 |
