论文部分内容阅读
Z是以一阶谓词和集合论为基础的一种形式化规格说明语言,目前主要应用在软件需求阶段及测试阶段。基于C++STL技术实现Z模式向C++语言的自动求精达到程序的自动化将极大提高软件的开发效率。
基于C++STL技术实现Z模式自动求精的研究
【摘 要】
：
Z是以一阶谓词和集合论为基础的一种形式化规格说明语言,目前主要应用在软件需求阶段及测试阶段。基于C++STL技术实现Z模式向C++语言的自动求精达到程序的自动化将极大提高软
【机 构】
：
厦门工学院计算机科学与工程系
【出 处】
：
数字通信世界
【发表日期】
：
2019年1期
【基金项目】
：
福建中青年教师教育项目,编号JAT170804.
其他文献
目的探讨不等角“Z”成形术原理设计的瘢痕皮瓣修复耳垂的疗效。方法采用不等角“Z”原理设计皮瓣修复耳垂并随访。结果耳垂形态保持良好。结论不等角“Z”成形术原理设计的
春节长假一过，是不是感觉繁忙的工作与匆促的生活又将排山倒海地压来？这种预感是否让你呼吸不畅？那就在新一年开始的时候成全自己漫步海边的愿望，让北方早春的大海，给心灵一个充氧
企业的经济管理是否完善,对其长远发展有着直接影响,同时企业经营中,经济管理也是一个重要环节,只有保证创新性才会满足时代社会发展需要。对此,本文简单分析企业经济管理创
在常见肿瘤的综合治疗中以化疗为主的内科治疗是不可缺少的重要手段，化疗是一种全身性的治疗，目前主要采取静脉给药，不可避免的存在毒副作用，毒副作用又可分为近期和远期反应。近
Synaptics公司近日在北京宣布已签署最终协议，将收购Renesas SP Drivers，Inc．（RSP），后者是智能手机和平板电脑中小尺寸显示驱动器IC（DDIC）的行业领导者。双方交易约合485亿日元（4．75亿
随着我国国民经济和医疗卫生水平的飞速发展，人民生活水平普遍提高，人们的平均寿命也逐渐延长，人口的老龄化已成为不可阻挡的趋势。世界卫生组织将发达国家65岁以上的人称为老年
目的比较单双肌带骨瓣移植治疗股骨钡骨折的疗效。方法单肌蒂骨瓣组应用缝厦肌带骨瓣移植，双肌蒂骨瓣组采用阔筋膜张肌加缝匠肌双肌蒂骨瓣移植，两组均行空心加压螺钉固定。结果