论文部分内容阅读
形式化规格是保证所设计的系统具有较高的可信度和正确性的重要途径，它涉及软件生命周期的各个阶段。从形式化规格到软件编码是软件开发中的一个关键环节。在分析了规格化和高级语言之间的内在关系的基础上，概括了基于Object-Z规格到Java实现的几条转换机制，并运用案例研究来说明这些机制。
Object-Z规格到实现机制探讨
【摘 要】
：
形式化规格是保证所设计的系统具有较高的可信度和正确性的重要途径，它涉及软件生命周期的各个阶段。从形式化规格到软件编码是软件开发中的一个关键环节。在分析了规格化和高
【机 构】
：
湖南师范大学数学与计算机学院
【出 处】
：
计算机光盘软件与应用
【发表日期】
：
2013年21期
其他文献
目前,在智能系统的集成电路设计及其器件制备技术领域,计算机模拟已成为不可缺少的工具,可用于帮助工程设计者预测电路与器件工作的准确信息。此外,多晶硅晶体管器件的制备技
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
2016年是＂十三五＂开局之年,是贯彻落实教育供给侧结构性改革之年。新型农村成人教育的大力发展,是提高农村劳动力的素质、农业生产率的解放、劳动生产效率的提升,是实现传统式
采用放射免疫分析方法，测定了８只热应激兔血浆心钠素（ＡＮＰ）和血管紧张素Ⅱ的浓度，实验环境干球温度４２℃，湿球温度３５℃，结果显示，当兔肛温由３９．９℃升至４３℃时，血浆ＡＮＰ和ＡｎｇⅡ分别由２２７．７ｐｇ／ｍｌ增至２０６．８ｐｇ／ｍｌ增量对２６６．８ｐｇ／ｍｌ和由２６０７．４ｐｇ／ｍｌ增至３８３７．９ｐｇ／ｍｌ；与此同
作为硅片检测系统的运动定位载体,精密运动台是实现硅片检测的关键设备。随着硅片尺寸日趋扩大和特征尺寸的不断缩小,对精密运动台及其核心部件的结构设计和动态特性提出了严
青年一代是民族复兴的主要力量,是社会主义的建设者和接班人。如何加强培养新时代的青年,不仅是本科教育面临的首要任务,也是专科教育需要应对的难题。专科教育有其自身的定
目的总结恶性孤立性肺结节的CT影像特征,以提高术前诊断准确率。方法回顾性分析83例经组织病理或临床随访证实孤立性肺结节患者CT影像资料,比较良性及恶性结节的CT表现。结果
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
会议