机译:使用形式化元模型检查信息系统规范中功能视图的一致性
Research Laboratory LACL, University of Paris Est, IUT Fontainebleau, Route forestiere Hurtault, 77300 Fontainebleau, France;
information system design; unified modelling language notation; metamodel; formal notation;
机译:基于定理证明检查对象-Z正式规范的一致性
机译:基于元模型的模型一致性和多视图一致性检查
机译:电子商务系统规范中的正式CAFE方法和模型检查模式
机译:模型一致性和多视图一致性检查的元模型方法
机译:BON软件描述图的多视图一致性检查。
机译:细菌代谢的基因组规模模型的一致性分析:一种元模型方法
机译:使用正式的元模型来检查信息系统规范中功能视图的一致性
机译:海军职业健康信息监测系统(NOHIms)的规范。 II。功能概述