| 基于XYZ/RE的多媒体同步器自动构造方法 |
| 其他题名 | a methodology for automatically constructing a multimedia synchronizer in xyz/re
|
| 赵琛; 唐稚松; 马华东
|
| 2000
|
| 发表期刊 | 软件学报
 |
| ISSN | 1000-9825
|
| 卷号 | 11期号:8页码:996-1002 |
| 摘要 | XYZ系统是一个以增强软件可靠性和提高软件生产率为目的的程序开发支撑系统 .它由时序逻辑语言(temporal logic language,简称 TLL) XYZ/ E和以该语言为基础的一组软件工程工具组成 .为了研究 XYZ系统在多媒体领域中的应用问题 ,介绍了一种依据多媒体对象时序描述自动生成用 XYZ/ RE表示的播放同步器的方法 ,XYZ/ RE是时序逻辑语言族 XYZ/ E中表示实时系统的子语言 .与相关工作比较 ,该方法不仅可以处理简单的时序关系 ,而且可以处理嵌套的时序关系 ,所产生的同步器可以复用于不同的节目 . |
| 收录类别 | wanfang,cnki,cscd
|
| 关键词 | 时序关系
Xyz系统
Xyz/re
同步器
|
| 部门归属 | 基础软件国家工程研究中心
|
| 资助者 | 中国计算机学会
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/4688
|
| 专题 | 基础软件国家工程研究中心
|
推荐引用方式
GB/T 7714 |
赵琛,唐稚松,马华东. 基于XYZ/RE的多媒体同步器自动构造方法[J]. 软件学报,2000,11(8):996-1002.
|
| APA |
赵琛,唐稚松,&马华东.(2000).基于XYZ/RE的多媒体同步器自动构造方法.软件学报,11(8),996-1002.
|
| MLA |
赵琛,et al."基于XYZ/RE的多媒体同步器自动构造方法".软件学报 11.8(2000):996-1002.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论