第五章需求规格说明中.pptxVIP

-1-;-2-;-3-;-4-;-5-;-6-;-7-;-8-;-9-;-10-;-11-;-12-;-13-;非形式化、半形式化和形式化规范描述方法的比较;-15-;-16-;-17-;-18-;-19-;-20-;-21-;-22-;-23-;-24-;-25-;-26-;;-28-;-29-;-30-;-31-;-32-;-33-;-34-;-35-;-36-;-37-;-38-;-39-;-40-;-41-;-42-;-43-;-44-;-45-;-46-;-47-;-48-;-49-;-50-;-51-;-52-;-53-;-54-;-55-;-56-;-57-;-58-;行为建模;状态机模型;微波炉的状态机;有限状态机FSM;有限状态机 – 定义;不同的有限状态机;Moore有限自动机;Mealy有限状态机;状态图;-68-;-69-