计算机应用与软件2004，Vol.21Issue(11)：3-5,3.
用Z语言形式化扩展事件踪迹图
FORMALIZING EXTENDED EVENTS TRACES USING FORMAL SPECIFICATION LANGUAGE Z
摘要
关键词
软件体系结构 扩展事件踪迹图 规格说明语言Z 形式化 组件和组件交互分类
信息技术与安全科学引用本文复制引用
童翠玲,缪淮扣,刘玲..用Z语言形式化扩展事件踪迹图[J].计算机应用与软件,2004,21(11):3-5,3.基金项目
本课题得到国家自然科学基金项目(批准号:60173030),上海市教委科学与技术发展基金(批准号:02AK08)资助. （批准号:60173030）
