搜索结果: 1-1 共查到“程序设计及其语言 OESPA”相关记录1条 . 查询时间(0.062 秒)
计算机应用已经深入到人类社会的每一个角落,可新软件必须通过测试才能投入使用。测试只能发现错误,不能判断是否无错,潜在的错误可能影响我们的生活。科学家们几十年如一日尝试用数学描述和逻辑推理来定义和证明程序正确,测试仍然是软件开发必不可少的步骤。日前,科学出版社出版了国内知名Petri网专家、北大信息学院软件理论教研室原主任、教授袁崇义的英文专著《OESPA: Semantic Oriented Th...