会议论文《软件组件的行为协议建模及SPIN检验》发表于第五届中国软件工程大会，探讨了软件组件行为协议的建模方法，并利用SPIN工具进行形式化验证。文章提出了有效的建模策略，提升了组件间交互的正确性和可靠性，对提高软件系统的整体质量具有重要意义。
文档为pdf格式，0.36MB，总共4页。
举报
