-
题名一种基于CBSE的嵌入式实时软件建模方法研究
被引量：2
- 1
-
-
作者
夏苑
张为群
-
机构
西南师范大学计算机与信息科学学院
-
出处
《计算机科学》
CSCD
北大核心
2005年第8期213-215,F0004,共4页
-
基金
本论文为软件非功能性需求的多模型测试与外部度量(重庆市科委)
软件过程度量与质量度量综合平台建设(重庆市信息产业发展基金)联合资助下的成果
-
文摘
基于构件的软件工程(CBSE)是众多嵌入式软件开发方法中的一种崭新方法。本文提出一种RT-UML/LTLC的双语言框架来对基于CBSE的嵌入式实时软件的建模,既能充分地刻画出嵌入式软件实时,资源严格有限等特点,又能较好地体现出构件的特征,能更容易地过渡到基于构件的嵌入式软件开发方法的后继阶段。
-
关键词
嵌入式实时软件
CBSE
建模
RT—UML^＊
ltlc
建模方法
软件开发方法
嵌入式软件
软件工程
构件
-
Keywords
Embedded real-time software, CBSE, Model, RT-UML^＊ , ltlc
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
TP391.9
[自动化与计算机技术—计算机科学与技术]
-
-
题名用带时钟变量的线性时态逻辑扩充Object-Z
被引量：1
- 2
-
-
作者
文志诚
李长云
满君丰
-
机构
湖南工业大学计算机与通信学院
-
出处
《计算机应用研究》
CSCD
北大核心
2009年第5期1764-1769,共6页
-
基金
国家自然科学基金资助项目(60773110)
湖南省教育厅科研项目(08c284
08c286)
-
文摘
Object-Z是形式规格说明语言Z的面向对象扩充,适合描述大型面向对象软件规格说明,但它不能很好地描述连续性实时变量和时间限制。线性时态逻辑能够描述实时系统,但不能很好地处理连续时间关系,也不能很好地模块化描述形式规格说明。首先用时钟变量扩充线性时态逻辑,接着提出了一个方法——用带时钟变量的时态逻辑(LTLC)来扩充Object-Z。用LTLC扩充的Object-Z是一个模块化规格说明语言,是Object-Z语法和语义的最小扩充,其最大优点在于它能方便地描述和验证复杂的实时软件规格说明。
-
关键词
OBJECT-Z
用带时钟变量的时态逻辑
实时系统
形式规格说明
形式验证
-
Keywords
Object-Z
ltlc
real-time system
formal specification
formal verification
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名保和丸颗粒剂薄层色谱分析法的研究
被引量：2
- 3
-
-
作者
陆彬
庞伟
李卫
贺英菊
杨红
-
机构
华西医科大学药学院
-
出处
《华西药学杂志》
CAS
CSCD
北大核心
1993年第2期77-79,共3页
-
文摘
保和丸颗粒剂由六味中药组成,本文报道了采用薄层色谱法对该颗粒剂中黄连、陈皮与神曲三味中药进行定性的研究,又经室温与加速试验分别考查,其结果均表明该颗粒剂的薄层色谱分析法可作为鉴别与稳定性考查的可靠方法。
-
关键词
保和丸
颗粒剂
质量控制
-
Keywords
Baohe pills
Granules
Thin Iayer chromatography (ltlc)
Quality control
-
分类号
R286.0
[医药卫生—中药学]
-
