Department of Computer Engineering, Chulalongkorn University, Bangkok 10330, Thailand;
Department of Computer Engineering, Chulalongkorn University, Bangkok 10330, Thailand;
Requirements management; Traceability; Sequence diagram; UML; Software process improvement;
机译:关于TGG的能力,将包含组合片段的UML 2序列图转换为π-演算规范
机译:UML序列图与形式化规范方法的集成—基于Z的形式化解决方案
机译:使用UML序列图规范实时系统
机译:追踪技术规范变化的UML序列图的比较
机译:以UML序列图表示的方面的组成。
机译:正式交换MIM图的正式MIM规范和工具:基于XML的格式API和验证方法
机译:关于TGG的能力,将包含组合片段的UML 2序列图转换为π-演算规范