位置：成果数据库 > 会议 > 会议详情页
Towards mechanized semantics of UML sequence diagrams and refinement relation
  • 所属机构名称：华东师范大学
  • 会议名称：24th IASTED International Conference on Modelling and Simulation, MS 2013
  • 时间：2013
  • 成果类型：会议
  • 相关项目：UML可执行的统一形式语义框架研究
作者： Dou, Liang|Lu, Lunjin|Yang, Zongyuan|Xie, Jinkui|
同会议论文项目
UML可执行的统一形式语义框架研究
期刊论文 6 会议论文 8
同项目会议论文
Verifying UML in prolog
Evaluating Social Network Reputation Based on Hybrid Efficiency and Strategy-proofness
A Unified Operational Semantics for UML in Situation Calculus
Verification of UML Sequence Diagrams in Coq
Mechanized Sementics of UML sequence diagrams
A Situation Calculs-based Semantic Framework for UML
Quantitative Verification of the Bounded Retransmission Protocol