机译:OMG核心对象模型的正式描述以及兼容扩展的含义
机译:面向对象的方法来正式分析UML 2.0活动分区
机译:混合事件-B中小型飞机燃油泵系统的建模,形式完善和划分策略
机译:用例的扩展和划分,以支持形式对象建模
机译:分层网络的正式对象模型,以支持验证和仿真。
机译:线性扩散张量模型的形式表征和扩展
机译:GenGED *中视觉行为模型的方案视图*这项工作得到了德国-巴西软件规范和开发形式和半形式方法图形支持的合作(GRAPHIT)。
机译:用Z实现对面向对象分析的形式化扩展