XYZ系统相关论文
该文首先介绍了以时序逻辑为基础的适合多种序设计和不同层次抽象描述的SASE环境XYZ系统及其核心语言XYZ/E.接着讨论了基于XYZ系统......
研究人员针对XYZ系统特征提出了可视化软件体系结构描述语言XYZ/ADL,并以它作为XYZ系统的界面语言.XYZ/ADL是基于一种被称为组件(C......
该文主要研究XYZ系统在多媒体领域的应用问题.XYZ系统是一个以增强软件可靠性和提高软件生产率为目的的程序开发支撑系统,它由时序......
软件体系结构是近年来软件工程界的热门研究领域之一。在软件体系结构设计过程中，经常要碰到的问题是如何从抽象的高层体系结构逐步......
XYZ系统是一个以增强软件可靠性和提高软件生产率为目的的程序开发支撑系统.它由时序逻辑语言(temporal logic language,简称TLL)X......
在用ＣＩＥ标准色度系统测定透明色漆的色品坐标ｘｙ和ｙ值时，测试的方法、底板的颜色和颜料的浓度会对结果产生影响。考虑了上述因素以后，ＸＹＺ色度系......
<正> §1.引 言 本文系根据作者应邀在1989年6月14日日本情报产业协会(JISA)与软件工程学会(SEA)联合举办的1989年软件年会(So......
速成原型示范作为一种新型的软件开发方法正受到人们广泛的重视，ＸＹＺ系统是一种以时序逻辑为基础为适应多种设计方式的ＣＡＳＥ环境，它所支持的软......
最近几年，在软件工程界内部有一种趋势，这就是开发以面向具体领域的ＣＡＳＥ环境，作为这样的一种ＣＡＳＥ工具，ＸＹＺ系统是由一时序逻辑语言ＸＹＺ／Ｅ和一组基于该语言......
ＸＹＺ系统是一个以增强软件可靠性和提高软件生产率为目的的程序开发支撑系统。它由时序逻辑语言（ｔｅｍｐｏｒａｌ ｌｏｇｉｃ ｌａｎｇｕａｇｅ，简称ＴＬＬ）ＸＹＺ／Ｅ和以该语言为基础的一组软件工......
ＸＹＺ系统是一套以线形时序逻辑为基础的ＣＡＳＥ环境系统，其核心是时序逻辑语言ＸＹＺ／Ｅ．ＸＹＺ／ＡＤＬ是ＸＹＺ系统在动画领域的应用，马华东博士采用基于时序逻辑的动画描述模......
ＸＹＺ系统是一个基于线性时序逻辑的软件工程系统，由中国科学院软件研究所经过１５年的时间设计并实现，它被用于解决某些高技术工程领域的问题......
指出了现有计算机支持下协同工作系统的不足，给出了一个通用的协作模型；任务一组织－活动的协同模型及其于此模型的系统结构，利用ＸＹＺ／Ｅ的代理......
