...cIassificationof Terminologies)的新一代产品,是英国曼城斯特大学 开发的一个描述逻辑分类器,提供对模型逻辑(model logic)的可满足性测试,采用了客户端/服务器模式。 FaCT++采用FaCT的算法,二者均采用tableaux算 法。
基于32个网页-相关网页
行动模型逻辑 Action Model Logic
逻辑模型 [自] logical model ; logic model ; multi-level logistic ; logical l model
模糊逻辑模型 Fuzzy Logical Model of Perception ; FLMP
系统逻辑模型 System Logic Model
逻辑模型设计 Logical Data Modeling
导出高层逻辑模型 conceptual design
函数与逻辑模型 Functional and Logic Model
企业级业务逻辑模型 Business Logical Model
静态逻辑模型 Static logic model
举例来说,UML 1 . x的模型逻辑流程太复杂,有时不可能完成。
For example, modeling logical flow in UML 1.x was complicated and at times impossible.
Rails迁移支持把模型逻辑用于数据迁移,而sql脚本做不到这一点。
Rails migrations let you use model logic with your data migration where SQL scripts don't.
这样的设计使得维护几乎不可能实现,因为无论视图何时改变,您都必须改变模型逻辑,反之亦然。
Such a design makes maintenance all but impossible, because whenever the view changes, you must change the model logic, and vice versa.
应用推荐