交织逻辑建立在所谓交织语义学(Fibring Semantics)或交织模型(Fibring Model)的基础上。Gabbay通过模态逻辑的具体公式来阐述交织语义学的观念:令的两个模态语言,其原子命题的集合
基于8个网页-相关网页
或交织模型
Or interwoven model
以上为机器翻译结果,长、整句建议使用 人工翻译 。
多个Rational Soft ware Architect模式和其他资产(如模型或需求)可能交织在一起,以形成粒度更大的解决方案。
Multiple Rational Software Architect patterns, and other assets such as models or requirements, may be knit together to form larger-grained solutions.
youdao
应用推荐
模块上移
模块下移
不移动