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

【Abstract】 The correctness is the most momentous quality element in software system.The temporal logic mode of CSCW completely describes the action of CSCW system and better realises the need of CSCW system.The paper discusses the correctness of each process and the correctness of the intercurrent process in the interaction of temporal logic mode of CSCW in the frame of XYZ system.This establishes the massive base for the reality of the temporal logic mode of CSCW.更多还原