切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于Z语言的软件工程形式化研究
基于Z语言的软件工程形式化研究
来源 :武汉船舶职业技术学院学报 | 被引量 : 0次 | 上传用户:lovezx1990
【摘 要】
:
软件工程形式化是软件工程自动化的前提,软件自动化能在根本上提高软件质量和生产效率.本文阐述了形式化软件工程的基本概念,并采用规格说明语言实现了一个应用软件的形式化
【作 者】
:
朱俊武
张辉
【机 构】
:
华东船舶工业学院,扬州大学工学院,武汉船舶职业技术学院人事处
【出 处】
:
武汉船舶职业技术学院学报
【发表日期】
:
2003年4期
【关键词】
:
软件工程
形式化方法
Z语言.
software engineeringformal methodsspecificationsoftware requirem
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件工程形式化是软件工程自动化的前提,软件自动化能在根本上提高软件质量和生产效率.本文阐述了形式化软件工程的基本概念,并采用规格说明语言实现了一个应用软件的形式化描述.
其他文献
基于职业能力培养视角的高职英语教学研究
英语作为一门基础学科,在我国的教育体系中占有重要地位。高职院校学生的培养目标和定位与本科学生不同,在英语教学过程中的目标也不一样。在高素质技能型人才培养目标的背景
期刊
英语
培养目标
英语教学
老字号“走出去”的新路径
<正>老字号作为中国文化"软实力"的重要体现,在"走出去"中担当着重要角色,是弘扬中华优秀传统民族文化和体现国家竞争力的重要载体。在新的历史时期,"一带一路"等国家战略的
期刊
老字号
“走出去”
新路径
便宜坊
2012年我国农药出口整体向好
今年以来,我国农药出口整体向好,海外需求旺盛,企业供应趋紧。总体来讲,三大类农药出口数量与金额较去年均有较大幅度上升。草甘膦、吡虫啉、氟虫腈、嘧茵酯出口量持续增加,其中,草
期刊
出口数量
农药
企业效益
出口形势
草甘膦
吡虫啉
氟虫腈
出口量
政务APP的价值何在?
<正>政务APP是政务微博和政务微信的能量大本营,是"两微"功能塑造的重要支撑力量,而不该是"两微"之外的可有可无的存在。按照政务微平台的现有模式,两微一端是标配,从具体的
期刊
社会关系
民间舆论场
政务微信
政务微博
APP
《事业单位新进人员心理素质测评》介绍
<正>人才是发展创新的第一资源,高效率的人岗匹配是充分发挥人力资源并创造最大利益的原动力。全国高等学校学生信息咨询与就业指导中心联合北京师范大学心理学院,根据教育系
期刊
心理素质测评
招聘选拔
新进人员
《事业单位新进人员心理素质测评》
事业单位
对基本农田整理的几点认识
文章通过现有耕地存在的问题,提出了基本农田整理是提高农业综合生产能力、繁荣农村经济的必然选择的观点,进而提出了基本农田整理的目标与方向及在基本农田整理中应特别关注
期刊
基本农田
整理
农村经济
农业土地开发
“农药工业要“中”“原”崛起
经过几代“农药人”的奋斗,经过多少年的发展,我国已形成了包括科研开发、原药生产、制剂加工、原材料及中间体配套较为完整的农药工业体系。“十一五”以来,我国加强了科研开发
期刊
农药工业
科研开发
“十一五”
原药生产
制剂加工
工业体系
科研力量
农药品种
光学仪器法快速找寻轴系理论中心线的研究
舰船轴系装调过程中,理论中心线的确定方法有多种。本文采用光学仪器法快速找寻轴系理论中心线,理论支持性强,高效而独特,具有较强的实用性。
期刊
船舶轴系
理论中心线
拉线法
光学法
ship shafting theoretical centerline the method of pulling li
儿童说谎行为研究综述
通过对近10年在CSSCI来源期刊中收录的关于儿童说谎行为研究的文献进行分析,发现关于儿童说谎行为的研究主要集中在儿童说谎行为年龄特点、儿童说谎行为的影响因素、儿童说谎
期刊
儿童
说谎行为
研究综述
旅游电子商务技术探讨
介绍了企业开展电子网络营销的几种成功方法 ,并提出了各种不同类型的电子商务应用模块 ,对旅游企业开展市场营销具有一定的应用价值 . This paper introduces several succ
期刊
旅游企业
电子商务
电子网络营销
市场营销
tourism business e-commerce marketing skills .
与本文相关的学术论文