基于时序逻辑软件构架形式化方法研究

机标关键词：时序逻辑、软件构架、形式化、方法研究、Temporal Logic、Software Architecture、software architecture、dynamic behaviors、complex systems、formal method、set theory、method of

所属期刊栏目：30

分类号：TP3(计算技术、计算机技术)

资助基金：上海市教委资助项目

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1-3，11