软件需求规约的三种风格是______的规约、______的规约和______的规约。