检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]西南师范大学计算机与信息科学学院
出 处:《计算机科学》2005年第8期213-215,F0004,共4页Computer Science
基 金:本论文为软件非功能性需求的多模型测试与外部度量(重庆市科委);软件过程度量与质量度量综合平台建设(重庆市信息产业发展基金)联合资助下的成果
摘 要:基于构件的软件工程(CBSE)是众多嵌入式软件开发方法中的一种崭新方法。本文提出一种RT-UML/LTLC的双语言框架来对基于CBSE的嵌入式实时软件的建模,既能充分地刻画出嵌入式软件实时,资源严格有限等特点,又能较好地体现出构件的特征,能更容易地过渡到基于构件的嵌入式软件开发方法的后继阶段。CBSE(Component-Based Software Engineering) is a new method of the many development of the embedded software. The paper gives a modelling approach of embedded real-time software, using RT-UML^* and LTLC. The model describes adequately embedded software properties such as real time and resource rigorous limitation. and is good at take the component feature, accordingly can transfer easily to subsequent phase of the development method of enlbedded real-time software.
关 键 词:嵌入式实时软件 CBSE 建模 RT—UML^* LTLC 建模方法 软件开发方法 嵌入式软件 软件工程 构件
分 类 号:TP311.5[自动化与计算机技术—计算机软件与理论] TP391.9[自动化与计算机技术—计算机科学与技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.145