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

• 作者: 余镇危 张俊彩 潘耘
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: CSCW 正确性证明 XYZ/E 时序逻辑
• 年，卷（期）: 2003,（5）
• 所属期刊栏目: 学术探讨
• 页码范围: 121-123
• 页数: 3页
• 分类号: TP393
• 字数: 3040字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2003.05.037

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	余镇危	中国矿业大学研究生院	58	405	11.0	18.0
2	潘耘	中国矿业大学研究生院	8	17	2.0	3.0
3	张俊彩	中国矿业大学研究生院	1	4	1.0	1.0