CSCW时序逻辑模型交互行为的正确性研究

摘要：

正确性是软件系统最重要的质量因素.CSCW的时序逻辑模型全面地描述了CSCW系统的行为,较好地实现了CSCW的系统要求.文章在XYZ系统的框架内,从CSCW时序逻辑模型交互行为中每一个进程的正确性和交互行为并发性的正确性两个方面,对CSCW的时序逻辑模型交互行为描述的正确性进行了论证,这为CSCW时序逻辑模型的实现奠定了坚实的基础.

关键词：CSCW、正确性证明、XYZ/E、时序逻辑

所属期刊栏目：39

分类号：TP393(计算技术、计算机技术)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：121-123