面向方面软件体系结构动态演化方法研究(硕博学位论文) - docin.com豆丁网 Pnueli于1977年首先把它引入计算机科学中【251。根据 时序逻辑语义模型的内涵不同分为两类：一种是线性时序逻辑（LinearTime Logic， LTL），它把时间看成是一个线性序列；另一种是分支时序逻辑（Computing Time Logic， CT
基于2个网页-相关网页
linear-time temporal logic 线性时序逻辑
modified linear time temporal logic 修改的线性实时逻辑
linear time logic
线性时间逻辑
以上为机器翻译结果，长、整句建议使用 人工翻译 。
The logic path is unpredictable and requires activity to be detected and correlated by time and sequence across multiple applications (non-linear processing).
逻辑路径不可预测，并且要求跨多个应用程序按时间和顺序对活动进行检测和关联(非线性处理)。
youdao
应用推荐
模块上移
模块下移
不移动