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

面向软件系统XYZ的程序语言的逻辑动态发展之探究

姚从军  陈宝爱  
【摘要】:软件工程工具系统XYZ是将时序逻辑和软件工程有机结合而成的整体,XYZ/E是建立在时序逻辑基础上的程序语言,它是XYZ系统的核心。虽然时序逻辑的语义是静态的,但是XYZ/E所关注的是计算机程序中状态转换的控制机制,在XYZ/E和C语言的赋值语句那里出现了"一表达式一范畴多语义"情况,XYZ/E的单元的表述既有静态的性质也有动态的特征,以及踏步语句的静态组合和非踏步语句的动态组合等等都预示了作为XYZ/E的基础的逻辑应该具有动态性质,还需兼具静态特征。只有这样的逻辑,才能全面刻画XYZ/E的兼容功能。

知网文化
【相似文献】
中国期刊全文数据库 前18条
1 杨谊;;程序语言的教与学[J];南方医学教育;2012年03期
2 ;新程序语言为何层出不穷[J];电脑编程技巧与维护;2014年15期
3 杨则正;可靠的程序语言ADA[J];管理科学文摘;1995年04期
4 章欣;;程序语言理论的发展及对某些高级程序设计语言的分析[J];洛阳工学院学报;1986年03期
5 许文茂;程序语言——概况简述[J];自动化;1973年02期
6 金孟兰;罗恩韬;潘学文;;基于C#程序语言数据迁移工具的设计与实现[J];大众科技;2019年10期
7 刘东;;向您介绍几种常见程序语言[J];青苹果;2005年10期
8 朱圣龙;;浅析计算机程序语言与软件开发[J];计算机光盘软件与应用;2013年24期
9 蒋浩;黄学良;徐志科;;“C++程序语言”课程教学环节的组织与设计[J];电气电子教学学报;2009年06期
10 杨静丽;李虹;;高职院校计算机专业高级程序语言教学改革探讨[J];科技信息(科学教研);2007年20期
11 米立根,李汉;略论计算机程序语言的本质、结构及发展[J];自然辩证法研究;1995年07期
12 黄绍东,陈宜金;也论多种程序语言的综合应用[J];计算机应用研究;1991年05期
13 吴健;;基于ASP.NET的程序语言学习网站的设计与实现[J];福建电脑;2012年01期
14 冯仁余,刘茂武;AutoCAD与高级程序语言间的联接和通讯技术[J];机械设计与研究;2003年01期
15 何小进;;浅谈如何学好计算机编程程序语言——Visual Basic程序编程的学习[J];科技资讯;2009年35期
16 吴齐;;PEARL程序语言介绍[J];机械工业自动化;1982年03期
17 阎安,唐稚松;基于 XYZ/ E的混成系统(英文)[J];软件学报;2000年01期
18 谢林;;关于java程序语言实践教学的探讨[J];科技风;2010年10期
中国重要会议论文全文数据库 前10条
1 蒋浩;黄学良;滕岩峰;徐志科;;C++程序语言教学环节的组织与设计[A];第6届全国高等学校电气工程及其自动化专业教学改革研讨会论文集(上册)[C];2009年
2 许寿椿;朱英;许怀皓;;程序语言作为科学实验工具的价值——以富勒烯球自同构群的生成为例的说明[A];面向21世纪的科技进步与社会经济发展(上册)[C];1999年
3 李刚健;任芳芳;;高级程序语言教学改革新探[A];2005全国计算机程序设计类课程教学研讨会论文集[C];2005年
4 祖漪清;;DSP-5500和ASL软件系统的使用及开发报告(英文)[A];1992-1993年语音研究报告[C];1993年
5 殷维刚;沈云秋;衣彬;赵曦晶;;浅谈军用软件系统的后期维护与保障[A];中国电子学会可靠性分会第十四届学术年会论文选[C];2008年
6 刘彬;马丽敏;刘文华;;工程制图电子习题集软件系统的研制[A];第十四届全国图学教育研讨会暨第六届制图CAI课件演示交流会论文集(下册)[C];2004年
7 王晓梅;;谈报刊零售软件系统的开发[A];内蒙古通信学会2005年年会论文集[C];2005年
8 邱淑敏;张春华;陈佩杰;;健康人群运动处方软件系统的研制[A];全民健身科学大会论文摘要集[C];2009年
9 胡晨燕;李光明;徐斌;施介宽;;大气环境影响评价点源预测模型软件系统的开发[A];'2005数字江苏论坛电子政务与地理信息技术论文专辑[C];2005年
10 张俊沧;;BASIC自学软件系统的设计[A];全国计算机辅助教育学会第三届学术年会论文(摘要)[C];1988年
中国博士学位论文全文数据库 前4条
1 杨潇潇;框架时序逻辑程序语言MSVL的形式语义[D];西安电子科技大学;2009年
2 李桓;基于复杂网络的软件结构复杂性分析与建模[D];武汉大学;2009年
3 朱浩;基于程序语言机制的信息释放策略[D];南京航空航天大学;2013年
4 董成亮;支持企业流程改进的可重构ERP研究与应用[D];武汉理工大学;2008年
中国硕士学位论文全文数据库 前10条
1 吴琨;移动进程作为程序语言库函数的研究[D];上海交通大学;2011年
2 黄智雯;无人船水质参数采集与分析软件系统的设计与开发[D];海南大学;2019年
3 李键;基于日志的软件系统行为异常检测[D];上海交通大学;2018年
4 鲁沛瑶;基于LSTM的软件系统异常检测方法的研究与实现[D];西安电子科技大学;2019年
5 孙廨尧;基于安卓的IC卡证件识别移动终端软件系统[D];安徽工业大学;2018年
6 刘昊鹏;精细宽幅三维光学测量仪的软件系统研究[D];哈尔滨工业大学;2017年
7 胡磊;大型薄壁件镜像加工装备软件系统研究与开发[D];大连理工大学;2018年
8 宋鹏飞;护照查验及管理软件系统设计与实现[D];华中科技大学;2018年
9 宗立波;高低温寿命试验台软件系统的设计与开发[D];湖南大学;2017年
10 陈仕隆;全自动白带分析仪软件系统的设计与实现[D];电子科技大学;2018年
中国重要报纸全文数据库 前10条
1 张文宝;我多媒体公告软件系统研发获新突破[N];科技日报;2007年
2 刘仁;国内首个软件系统破解高清转换难题[N];中国知识产权报;2008年
3 石雄 姜占峰 张宏伟 董威;数字出版,软件系统先行[N];中国新闻出版报;2014年
4 本报记者 于南 实习记者 杨萌;35互联打软件系统服务牌 深华测做企业检测“一条龙”[N];证券日报;2009年
5 陈希荣;包装整体设计软件系统的研发和应用[N];中国包装报;2013年
6 记者 刘冬;软件系统为何出现“神经病”?[N];第一财经日报;2013年
7 国家建筑信息模型(BIM)产业技术创新战略联盟理事长 黄强;BIM的关键核心技术[N];中国建设报;2019年
8 文献中心 张伶;院图书馆最大化开发ECO软件 完善服务功能[N];中国社会科学院院报;2003年
9 ;还有谁在怀疑SOA[N];中国计算机报;2007年
10 张勇 新疆维吾尔自治区烟草专卖局(公司);浅谈如何做好软件系统的架构设计[N];东方烟草报;2010年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978