装饰 swMATH ID: 1375 软件作者： 比克拉姆Sengupta；牧场克利夫兰 描述： 触发消息序列图（TMSC）[16]是一种基于场景的可视化视图，用于捕获分布式系统的需求。TMSC增强了传统MSC[3]，具有表达条件和部分行为的能力，并具有数学上精确的细化概念，可用于检查一组需求是否正确地阐述了另一组需求。本文介绍了一种用于检查TMSC之间细化的工具TRIM。TRIM的主要特点是：（i）TMSC的文本语言，包括[16]中的代数组合词；（ii）检查TMSC规范改进的例行程序；以及（iii）当一个系统无法完善另一个系统时，以测试的形式生成诊断信息的能力。 主页： http://rd.springer.com/chapter/10.1007%2F978-3-540-45069-6_9 相关软件： LTSA-MSC公司；iB4e型；多晶的；Matlab公司；枫树 引用于： 6文件 标准条款 1出版物描述软件 年份 TRIM：用于触发消息序列图的工具。比克拉姆Sengupta；兰斯·克莱维兰 2003 全部的 前5名12位作者引用 2 克里希娜·巴拉桑达拉姆·阿特里亚 2 本·R·霍奇斯。 2 弗朗西斯科·鲁埃达。 1 湿婆·R·阿特里亚。 1 兰斯·克莱维兰 1 Srikanth K.Iyer。 1 Soumendra Nath拉希里 1 恩里克·桑米盖尔·罗哈斯 1 比克拉姆森古普塔 1 伯恩德·斯图尔姆费尔斯 1 Jenia Tevelev 1 约瑟芬·余 5篇连载文章中引用 1 国际流体数值方法杂志 1 印度科学院院刊。数学科学 1 国际计算流体动力学杂志 1 莫斯科数学杂志 1 数学课文和阅读 全部的 前5名在8个字段中引用 2 概率论与随机过程（60-XX） 2 计算机科学（68至XX） 2 流体力学（76-XX） 2 地球物理学（86-XX） 1 交换代数（13-XX） 1 代数几何（14-XX） 1 测量和集成（28-XX） 1 凸和离散几何（52-XX） 按年份列出的引文