《软件工程实践教程》

书名：《软件工程实践教程》

ISBN：9787121341205

作者：杨波, 童立靖, 杨建主编

出版地：北京

出版时间：2018.7

出版价格：52元

《软件工程实践教程》是与软件工程专业教学配套的实验教学课程。主要讲授软件建模，软件模型检测、软件体系结构仿真与可靠性分析、软件测试、服务软件结构的可靠性分析等。该书以国际标准时序逻辑描述语言LOTOS为软件建模语言，以开放的软件CADP工具集作为实验平台，完成上述实验工作的设计与实现。力图为高级软件工程教学提供实验环节提供必要的教学补充，同时也为学生从事软件工程科研工作奠定基础。