摘要
利用PRISM检测工具可视化的将系统模型是否满足"需求"直观地、显式地呈现出来,验证建立系统模型的正确性和可靠性,增强学生对《软件工程》课程中"需求分析"知识点的理解和掌握。最后,指出模型验证技术将会对其他课程教学产生积极的促进作用。
出处
《轻工科技》
2016年第3期70-71,共2页
Light Industry Science and Technology
基金
河南省软科学研究项目(No.132400410249)
河南省教育厅科技计划项目(No.12A520001)资助
高可信性软件研究团队(B20141741)阶段成果
