| Title: | 基于XYZ/RE的多媒体同步器自动构造方法 |
| Alternative Title: | a methodology for automatically constructing a multimedia synchronizer in xyz/re
|
| Author: | 赵琛
; 唐稚松
; 马华东
|
| Keyword: | 时序关系
; XYZ系统
; XYZ/RE
; 同步器
|
| Source: | 软件学报
|
| Issued Date: | 2000
|
| Volume: | 11, Issue:8, Pages:996-1002 | | Indexed Type: | wanfang,cnki,cscd
|
| Department: | 基础软件国家工程研究中心
|
| Sponsorship: | 中国计算机学会
|
| Abstract: | XYZ系统是一个以增强软件可靠性和提高软件生产率为目的的程序开发支撑系统 .它由时序逻辑语言(temporal logic language,简称 TLL) XYZ/ E和以该语言为基础的一组软件工程工具组成 .为了研究 XYZ系统在多媒体领域中的应用问题 ,介绍了一种依据多媒体对象时序描述自动生成用 XYZ/ RE表示的播放同步器的方法 ,XYZ/ RE是时序逻辑语言族 XYZ/ E中表示实时系统的子语言 .与相关工作比较 ,该方法不仅可以处理简单的时序关系 ,而且可以处理嵌套的时序关系 ,所产生的同步器可以复用于不同的节目 . |
| Language: | 中文
|
| Content Type: | 期刊论文
|
| URI: | http://ir.iscas.ac.cn/handle/311060/4688
|
| Appears in Collections: | 基础软件国家工程研究中心_期刊论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| 16.pdf（208KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
赵琛,唐稚松,马华东. 基于XYZ/RE的多媒体同步器自动构造方法[J]. 软件学报,2000-01-01,11(8):996-1002.
|
|
|
