叶庆生老师的软件工程与方法学的上机作业,包括: 1. 假设需要制造一个带有四个按钮和两个灯泡的盒子并具有以下功能: (1) 有四个按钮输入,分别称为B1,B2,B3和B4; (2) 有两个灯泡作为输出,分别称为L1和L2; (3) B1是打开电源的按钮; (4) B4是关闭电源的按钮; (5) B2和B3 是操作按钮; (6) 在B1被按下后及B4被按下前,系统应称为电源打开状态; (7) 在B4被按下后及B1被按下前,系统应称为电源关闭状态; (8) 在电源关闭状态下,B2和B3按钮不起作用; (9) 在电源关闭状态下,灯应不亮; (10) 从最近一次电