TCOZ公司 swMATH ID: 3382 软件作者： 董金松；李元芳；孙静；孙军；王海 描述： 基于XML的TCOZ静态类型检查和动态可视化定时通信对象Z（TCOZ）将Object-Z在建模复杂数据和状态方面的优势与TCSP在建模实时并发方面的优势结合在一起。基于我们之前在TCOZ的XML环境方面的工作，本文首先演示了用于检测TCOZ规范静态语义错误的类型检查器的开发，然后说明了一个转换工具，该工具可以自动将TCOZ模型投影到UML状态图中，以可视化动态系统行为。 主页： http://www.comp.nus.edu.sg网站/~dongjs/papers/icfem02dlssw.pdf 关键词： TCOZ工具支持;XML/XSL;UML/XMI语言 相关软件： 马戏团;艾菲尔;CSSim公司;勺;阿达95;Z轴;Uppaal公司;临时技术秘书处;拍打;CSP防护;电源保护;HOL公司;PVS公司;毫升;伊莎贝尔;Coq公司;捷克共和国;联合;电子稳定控制系统/Java;规格# 引用于： 8文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 基于XML的TCOZ静态类型检查和动态可视化。 Zbl 1015.68835号董金松;李元芳;孙静;孙骏;王海 2002 全部的 前5名22位作者引用 4 董金松 2 菲利普·布鲁克。 2 理查德·佩奇（Richard F.Paige）。 2 孙静 2 孙骏 2 王海 1 安娜·卡瓦尔坎蒂 1 陈振邦 1 杰里米·雅各布。 1 李元芳 1 刘静 1 刘，杨 1 刘志明 1 布伦丹·马奥尼（Brendan P.Mahony）。 1 秦胜超 1 安德斯·雷文（Anders P.Ravn）。 1 奥古斯托·桑帕约。 1 史玲 1 沃尔克·斯托尔茨 1 曼努埃拉·泽维尔 1 詹乃军 1 赵永新 3篇连载文章中引用 4 计算的形式方面 1 计算机程序设计科学 1 软件工程年报 在1个字段中引用 8 计算机科学（68至XX） 按年份列出的引文