会议论文《可执行规格说明ExSpect应用及功能拓展》发表于全国第19届计算机技术与应用学术会议(CACIS·2008)。该文介绍了ExSpect语言在软件工程中的应用，重点探讨其在系统建模与验证中的功能拓展。通过实例分析，展示了ExSpect在提高系统规格说明可执行性方面的优势，为后续研究提供了理论支持与实践参考。
文档为pdf格式，0.27MB，总共5页。
举报
