严格定义的方法是在一定假设的前提下形成的，它认为系统的所有需求都能被 ______。