时间通信顺序进程相关论文
软件体系结构描述语言ADL(Architecture Description Language, ADL)具有严格的形式化语义基础,为软件体系结构的表示与分析提供支......
针对硬实时软件缺乏有效的系统动态行为建模机制，提出了一种用于硬实时软件建模与分析的进程代数方法。首先在时间通信顺序进程的基......
随着实时系统非功能性质研究的深入,为了分析软件对系统执行时间的影响并对其进行定量分析,提出了一种支持实时软件时间建模的形式......
需求规约到软件体系结构（SA）模型的转换是软件工程领域的一个研究热点,UML-RT广泛用于实时系统软件体系结构建模,然而基于自然语言规......
