时序认知逻辑相关论文
SPIN模型检测器主要用来检测线性时序逻辑描述的规范,而多智体系统的规范采用时序认知逻辑描述比较方便。本文着重讨论了如何利用S......
需求工程可以认为是一个知识表示，知识获取和知识分析的过程．多视点需求工程就是希望复杂系统中的不同参与者分别从自己的角度出发对......
