机译:设计和评估用于建模多线程交互的UML序列图扩展
Department of Computer Science, University of Georgia, Athens, GA, 30602 USA;
Department of Computer Science, University of Georgia, Athens, GA, 30602 USA;
Department of Computer Science and Engineering, Michigan State University, East Lansing, Ml, 48824 USA;
Department of Computer Science and Engineering, Michigan State University, East Lansing, Ml, 48824 USA;
Department of Computer Science and Engineering, Michigan State University, East Lansing, Ml, 48824 USA;
UML; empirical evaluation; concurrency and synchronization;
机译:将UML序列图(统一建模语言)扩展为面向方面的建模
机译:UML序列图的扩展,用于面向方面的建模
机译:从Auml图自动生成测试序列:对代理交互协议的形式验证
机译:走向UML扩展的动态元建模:UML序列图的可扩展语义
机译:用于自动验证UML设计模型的框架:应用于UML 2.0交互。
机译:通过足迹和分子建模研究了贝雷尼与tyrT DNA序列的相互作用。对序列特异性DNA识别剂设计的意义。
机译:迈向UML扩展的动态元建模:UML序列图的可扩展语义