云南高校图书馆联盟文献共享服务平台- 形式化开发方法

形式化开发方法: 作品数：9被引量：16H指数：2; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：张立臣陈广明陈生庆杨捷梅萌更多>>; 相关机构：广东工业大学嘉应学院武汉大学同济大学更多>>; 相关期刊：《井冈山大学学报（自然科学版）》《小型微型计算机系统》《计算机应用》《中国铁道科学》更多>>; 相关基金：国家自然科学基金广东省高等学校自然科学研究重点项目广东省自然科学基金国家教育部博士点基金更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

一种从面向对象Z规约到代码的精化演算方法: 《软件学报》2000年第8期1041-1046,共6页王云峰庞军查鸣杨朝晖郑国梁; 国家自然科学基金! (No.6 96 730 0 6 );国家"九五"重点科技攻关项目基金! (No.98- 780 - 0 1- 0 7- 0 6 )资助; COOZ(complete object- oriented Z)的优势在于精确描述大型程序的规约 .COOZ本身的结构不支持精化演算 ,这限制了 COOZ的应用能力 ,使 COOZ难以作为完整的方法应用于软件的开发 .将精化演算引入COOZ,弥补了 COOZ在设计和实现阶段的不...; 关键词：形式化开发方法精化演算面向对象代码