收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

XYZ系统的目的、意义、作用与应用

唐稚松  
【摘要】:XYZ系统是一个基于线性时序逻辑的软件工程系统,由中国科学院软件研究所经过15年的时间设计并实现.它被用于解决某些高技术工程领域的问题.文章介绍了这个系统的目的、意义、作用和应用.

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 徐绍禹;结构件加工程编自动化研究[J];航空制造技术;1990年01期
2 许金瑞;多种对话框的设计及应用[J];机械研究与应用;1999年01期
3 张云生,刘炜;面向接口对象的实时控制程序设计[J];自动化博览;1999年04期
4 俞立军,黄峻,陈晨,许满武;Lotus Notes数据库访问接口模块的研制[J];计算机应用研究;2000年03期
5 黄卫平;基于构件的软件构造技术[J];电脑与信息技术;2000年05期
6 黄卫平;构件库管理系统的设计与实现[J];湘潭大学自然科学学报;2000年04期
7 王素华;网上操作系统教学课件解决方案[J];北京工业大学学报;2001年03期
8 郭亮,黄席樾;面向Agent的软件工程[J];重庆大学学报(自然科学版);2002年10期
9 张勤,陈福生;基于构件的MIS开发方法[J];计算机应用研究;2003年04期
10 何坚,覃征,房鼎益,贾晓林;一个基于构件的分布式软件构架开发环境[J];小型微型计算机系统;2003年09期
11 夏幼明,张萍,赵波;基于可重用构件库技术的用户需求信息获取系统[J];云南师范大学学报(自然科学版);1998年04期
12 唐屹;构件方法在软件开发中的应用[J];广西大学学报(自然科学版);1999年02期
13 於朝晖,黄水松;基于软件体系结构的实时配置系统的方法[J];计算机工程与应用;2000年03期
14 邢立,左春,孙玉芳;关于保险行业特定领域软件体系结构的研究[J];计算机工程;2000年04期
15 赵京胜;基于代理的构件软件技术研究[J];计算机应用研究;2001年08期
16 余倣文;基于构件的软件系统开发研究及其应用[J];山东电子;2001年03期
17 梁永全,吴方君,易彤,蒋严冰;软件复用机会识别策略的研究[J];山东科技大学学报(自然科学版);2001年01期
18 段念,陈金富,段献忠;三层结构在电力系统规划软件中的应用[J];电力自动化设备;2002年07期
19 崔宝慧,蔚成香,高明国;基于构件的软件组装复用方式问题的研究[J];陕西师范大学学报(自然科学版);2002年S1期
20 张基温,陶利民;基于构件的MIS软件开发[J];电脑开发与应用;2002年07期
中国重要会议论文全文数据库 前10条
1 陈庆;王津平;孟晓宇;邓晓彬;;软件体系结构的思想在VEE编程中的应用[A];2009安捷伦科技节论文集[C];2009年
2 刘芳;杨兴林;戴俊;;并发模型构件的状态迁移派生图及等价判定[A];2006年全国开放式分布与并行计算学术会议论文集(一)[C];2006年
3 王巍;晏海华;;基于SOA构件的软件测试方法的研究[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
4 刘连民;姜立;任燕翔;赵景学;;基于三维CAD的中国古典建筑造型设计[A];第十四届全国工程设计计算机应用学术会议论文集[C];2008年
5 田廷剑;傅晓;李少谦;;网络仿真软件ns-2机制及扩展[A];2008年中国西部青年通信学术会议论文集[C];2008年
6 郑笛;贾焰;韩伟红;邹鹏;;普适计算环境下支持上下文感知的构件部署框架[A];第二十三届中国数据库学术会议论文集(技术报告篇)[C];2006年
7 姚启红;王克宏;;基于Swing表格构件——SpanableTable的设计与实现[A];促进企业信息化进程——第十届中国Java技术及应用大会文集[C];2007年
8 范幸义;袁凌;陈剑松;;中国古建筑真三维设计中的计算机技术[A];第十三届全国工程建设计算机应用学术会议论文集[C];2006年
9 范幸义;袁凌;陈剑松;;中国古建筑真三维设计中的计算机技术[A];计算机技术在工程建设中的应用——第十三届全国工程建设计算机应用学术会议论文集[C];2006年
10 白琳;魏峻;;一种面向Mashup自动构造的目标分解方法[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
中国博士学位论文全文数据库 前3条
1 窦蕾;面向构件的复杂软件系统中动态配置技术的研究[D];国防科学技术大学;2005年
2 马晓龙;基于构件的支持群体工作环境中若干问题研究[D];中国科学院研究生院(计算技术研究所);2000年
3 朱俊武;基于本体的Web服务语义支撑技术研究[D];南京航空航天大学;2008年
中国硕士学位论文全文数据库 前10条
1 贺新闻;基于可复用软构件的软件开发技术研究[D];昆明理工大学;2005年
2 雷宇;数字电视中间件技术研究与实现[D];西北工业大学;2006年
3 梅岩;基于构件的嵌入式操作系统开发平台—TCP/IP协议栈的研究[D];同济大学;2006年
4 代文豪;MCU嵌入式系统的领域工程方法研究与应用[D];电子科技大学;2008年
5 薛琳;基于图形理解的汉字构形自动分析研究[D];山东科技大学;2005年
6 王晓艳;基于SOA工作流引擎的研究与实现[D];北京工业大学;2009年
7 韦杰;基于构件的软件配置管理中版本管理关键技术研究[D];大连海事大学;2006年
8 王森;虹膜生物识别软件系统框架设计[D];吉林大学;2005年
9 张涛;嵌入式实时数据库关键技术研究与实现[D];电子科技大学;2005年
10 段其国;WebIS系统框架构件自动组装模型的研究与实现[D];昆明理工大学;2005年
中国重要报纸全文数据库 前10条
1 本报记者 张华甲;发展工业软件 提升工业软实力[N];中国工业报;2011年
2 编译 刘光强 霍娜;重整旗鼓还是另起炉灶?[N];中国计算机报;2009年
3 马宇;Autodesk软件工业设计应用方案[N];中华建筑报;2008年
4 ;集成化中间件套件InforSuite:整合协同共享[N];中国计算机报;2009年
5 苏军;关注用户需求 搞好项目管理[N];中国质量报;2008年
6 浪潮软件总经理兼首席执行官 王柏华;软件业务基础平台是应用软件之“芯”[N];中国电子报;2008年
7 ;金蝶中间件:企业架构引领SOA[N];中国计算机报;2011年
8 ;InforSuite:可信赖的国产中间件[N];中国计算机报;2011年
9 记者 杨坤;普元:平台模式正在改变世界[N];网络世界;2011年
10 高岩;参数化设计:建筑设计的“高手”[N];建筑时报;2011年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978