Safety critical system; UML; Z notation; Schema; Z/Eves;
机译:UML状态图的基于状态的静态和动态形式分析
机译:使用符号提取的UML类图评估系统
机译:UML序列图与形式化规范方法的集成—基于Z的形式化解决方案
机译:UML图的正式转换:用例,类,序列图,具有z表示法表示系统的静态和动态视角
机译:通过动态分析实现实时,分布式系统的UML序列图的逆向工程。
机译:用于行为分析中权能制图的描述性符号系统
机译:Uml类图到Uml序列图的转换