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

XYZ系统的设计思想

唐稚松  
【摘要】：正 §1.引 言 本文系根据作者应邀在1989年6月14日日本情报产业协会(JISA)与软件工程学会(SEA)联合举办的1989年软件年会(Software Symposium’89)上所作的题为“XYZ环境”基调讲演中部分内容整理扩充而成。因该会议论文集中所收入的介绍XYZ系统文章未写入这部分内容,故特写成本文作为的补充。 XYZ系统是一基于时序逻辑且适应多种程序设计方式的CASE环境。它所适应的程序包括过程性的,抽象描述型的,或产生式规则型的;串型的或并发的;常见高级语言型的、面向多种对象的、函数式的或逻辑的;文本的或图形的,后者又可以是数据流型的或

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 吴永刚;陆慧娟;程倬;陈江;;基于时间自动机的实时系统建模及验证[J];计算机时代;2011年06期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
11 ;[J];;年期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 黄正宝;张广泉;;一种基于时序逻辑的UML 2．0形式化语义[A];2006年全国理论计算机科学学术年会论文集[C];2006年
2 高静;曹子宁;;基于空间逻辑和计算树逻辑的模型检测[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年
3 王冬蕾;翟正军;姜红梅;马捷中;;基于FPGA的MⅢ总线接口仿真板的设计与实现[A];全国第二届嵌入式技术联合学术会议论文集[C];2007年
4 区汝就;;有限自动机在数字逻辑电路设计中的应用[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集（上）[C];2008年
5 崔益鹏;赵经成;高丽;;基于虚拟现实技术的分布式仿真架构的设计和实现[A];2006年全国开放式分布与并行计算机学术会议论文集（三）[C];2006年
6 沈焕生;;基于DM6446的嵌入式现场取证系统设计[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集（上）[C];2008年
7 张玲红;张广泉;朱雪阳;戎玫;何玉乾;;UML与XYZ／ADL在电梯控制系统体系结构建模中的应用[A];企业应用集成系统与技术学术研究会论文集[C];2006年
8 王涛;郭长国;邹鹏;王晓斌;;一种基于注释的监控编程语言设计与实现[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集（下册）[C];2009年
9 李震;刘斌;殷永峰;李晓勋;;基于改进Petri网的可信软件模型验证和测试研究[A];第六届中国测试学术会议论文集[C];2010年
10 ;基于时间自动机的实时系统建模及验证[A];第六届和谐人机环境联合学术会议（HHME2010)、第19届全国多媒体学术会议（NCMT2010）、第6届全国人机交互学术会议（CHCI2010）、第5届全国普适计算学术会议（PCC2010）论文集[C];2010年
中国博士学位论文全文数据库 前10条
1 张南;命题投影时序逻辑的完备公理系统与形式验证[D];西安电子科技大学;2012年
2 田聪;命题投影时序逻辑的判定性、复杂性、表达性及模型检测[D];西安电子科技大学;2010年
3 舒新峰;投影时序逻辑的完备公理系统与形式验证[D];西安电子科技大学;2010年
4 尹全军;基于多Agent的计算机生成兵力建模与仿真[D];国防科学技术大学;2005年
5 许庆国;基于自动机的时间系统形式验证技术[D];上海大学;2007年
6 张琛;基于UML2.0模型的测试与验证方法[D];西安电子科技大学;2012年
7 马华东;计算机动画描述模型和绘制技术的研究[D];中国科学院研究生院（计算技术研究所）;1995年
8 陈潇怡;数字权限表达语言的形式化模型及应用研究[D];武汉大学;2011年
9 李庆忠;主动面向对象数据库的主动机制研究及应用[D];中国科学院研究生院（计算技术研究所）;2000年
10 王宇华;基于本体的流程类业务需求建模方法研究[D];哈尔滨工程大学;2011年
中国硕士学位论文全文数据库 前10条
1 费丽娟;构件组装中“特征干扰问题”的时序逻辑检测方法研究[D];华中师范大学;2004年
2 郑建丹;基于组件的逐步求精程序设计方法[D];中国科学院软件研究所;2001年
3 郭夏;MSVL建模、仿真与验证软件的扩展及其应用[D];西安电子科技大学;2011年
4 王帆;基于UML的形式化规范说明研究[D];天津大学;2004年
5 黎吾平;模型检测在软件方面的应用[D];吉林大学;2008年
6 李根;基于SPIN的命题投影时序逻辑模型检查[D];西安电子科技大学;2008年
7 董护斌;面向实时系统的实时区域时态逻辑：RRTL[D];西北大学;2002年
8 吴宏;基于LSC的模型检验研究与实现[D];国防科学技术大学;2004年
9 马军慧;基于无穷模型命题投影时序逻辑的模型检查[D];西安电子科技大学;2007年
10 马永涛;框架时序逻辑程序设计解释器及模型检测工具[D];西安电子科技大学;2008年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978
订卡电话 400-819-9993
在线咨询 http://help.cnki.net
京ICP证040441号
京公网安备11010802020475号
©2020中国知网（CNKI）