机译:使用USE对UML和OCL中描述的Mondex场景进行建模和验证
机译:电子钱包Mondex:使用Alloy模型查找方法进行规格和完善检查
机译:使用RAISE对Mondex电子钱包进行规格,证明和模型检查
机译:对大规模建模的OCL评估:Mondex钱包的不同视图
机译:减少大型模型在模拟卫星云视图中的误差。
机译:评估同行评审的替代系统:基于代理的大规模建模方法用于科学出版
机译:使用UsE建模和验证UmL和OCL中描述的mondex场景
机译:VDm中mONDEX电子钱包的建模与改进