论文部分内容阅读
基于构件的软件工程(CBSE)是众多嵌入式软件开发方法中的一种崭新方法.本文提出一种RT-UML*/LTLC的双语言框架来对基于CBSE的嵌入式实时软件的建模,既能充分地刻画出嵌入式软件实时,资源严格有限等特点,又能较好地体现出构件的特征,能更容易地过渡到基于构件的嵌入式软件开发方法的后继阶段.