论文部分内容阅读
ＸＹＺ系统是一个以增强软件可靠性和提高软件生产率为目的的程序开发支撑系统。它由时序逻辑语言（ｔｅｍｐｏｒａｌ ｌｏｇｉｃ ｌａｎｇｕａｇｅ，简称ＴＬＬ）ＸＹＺ／Ｅ和以该语言为基础的一组软件工程工具组成。为了研究ＸＹＺ系统在多媒体领域中的应用问题，介绍了一种依据多媒体对象时序描述自动生成用ＸＹＺ／ＲＥ表示的播放同步器的方法，ＸＹＺ／ＲＥ是时序逻辑语言族ＸＹＺ／Ｅ中表示实时系统的子语言。与相关工作比较