[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"$f4Ck3SqK9gG1AbAxCdOsizcGTIiTE9u-WRjBBOZP0jOQ":3},{"answer":4,"createTime":5,"id":6,"options":7,"origin":12,"question":18,"related":19,"source":27,"type":58},[],"2023-05-10 17:27:05",898947923,[8,9,10,11],"有穷状态机","Petri网","Z语言","一阶线性时态逻辑",{"courseId":13,"courseImg":14,"courseName":15,"workId":16,"workName":17},"1000064367","https:\u002F\u002Ftihai-oss-cloud.itihey.com\u002Fimg\u002F782b246e08ea73f6acb178083806cfb9.jpg","软件工程","41706761","软件工程教程考试","高铁调用系统最适宜采用( )方法",[20,29,34,44,49,59,68,74,80,83],{"answer":21,"createTime":5,"id":22,"options":23,"question":26,"source":27,"type":28},[],898947867,[24,25],"对","错","1968年软件工程概念在美国的一个国际会议正式提出.( )","v2",3,{"answer":30,"createTime":5,"id":31,"options":32,"question":33,"source":27,"type":28},[],898947876,[24,25],"极限编程具有对变化和不确定性的更快速、更敏捷的反应特性.( )",{"answer":35,"createTime":5,"id":36,"options":37,"question":42,"source":27,"type":43},[],898947884,[38,39,40,41],"业务建模","项目管理","配置与变更管理","环境","Rational 统一过程(RUP)核心支持工作流有( )",1,{"answer":45,"createTime":5,"id":46,"options":47,"question":48,"source":27,"type":28},[],898947890,[24,25],"软件可行性也会考虑待开发软件是否会有质量问题. ( )",{"answer":50,"createTime":5,"id":51,"options":52,"question":57,"source":27,"type":58},[],898947897,[53,54,55,56],"设计阶段的工具","实现阶段的工具","分析阶段的工具","维护阶段的工具","数据字典最重要的用途是作为( )",0,{"answer":60,"createTime":5,"id":61,"options":62,"question":67,"source":27,"type":58},[],898947911,[63,64,65,66],"数据模型的工具","功能模型的工具","行为模型的工具","静态模型的工具","实体联系图,描述数据对象及数据对象之间的关系,是建立( )",{"answer":69,"createTime":5,"id":70,"options":71,"question":73,"source":27,"type":58},[],898947921,[8,9,10,72],"程序正确性证明","某种形式化方法描述系统的状态如何响应外部的信号进行推移的一种图形表示,它是( )",{"answer":75,"createTime":5,"id":76,"options":77,"question":79,"source":27,"type":58},[],898947922,[78,10,9,11],"VDM","用于并发系统,解决定时问题的形式化方法是( )",{"answer":81,"createTime":5,"id":6,"options":82,"question":18,"source":27,"type":58},[],[8,9,10,11],{"answer":84,"createTime":5,"id":85,"options":86,"question":91,"source":27,"type":58},[],898947936,[87,88,89,90],"时间内聚","顺序内聚","功能内聚","逻辑内聚","模块的初始化工作和模块处理意外故障均属于( )"]