形式化软件

作品数：8被引量：12H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：柳青李彤孔兵王黎霞罗海梅更多>>
相关机构：云南大学中国科学院大学江西师范大学中国科学院软件研究所更多>>
相关期刊：《计算机工程与应用》《集成电路应用》《计算机研究与发展》《软件学报》更多>>
相关基金：云南省自然科学基金江西省自然科学基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种形式化软件建模框架设计与实践
《集成电路应用》2022年第12期52-53,共2页杨德仁 王晓峰 刘建平 袁渊 
教育部产学合作协同育人项目(202101335034);国家自然科学基金项目(62062001)。
阐述一种形式化软件建模框架的设计,经过基于项目实训的多层次和多维度探索,得到了规范和优化,其工程应用有助于提升软件建模精度。
关键词：计算机技术 软件工程 建模框架 
基于Event-B和Rodin开展形式化软件工程教学被引量：1
《计算机工程与科学》2016年第A01期143-145,共3页李梦君 
形式化软件工程是软件工程的重要组成部分。Event-B方法是一种软件形式化开发方法,Rodin是支持Event-B方法的开放工具集。基于Event-B方法和Rodin开展形式化软件工程教学,有益于学生正确理解精化等重要的软件工程概念,理解并掌握开发可...
关键词：形式化软件工程 Event—B方法 Rodin 
基于问题模式的形式化软件规格说明生成方法被引量：5
《计算机研究与发展》2013年第2期352-360,共9页王昌晶 罗海梅 左正康 
江西省自然科学基金项目(20122BAB211030)
精确的形式化软件规格说明是软件描述、开发与验证的基础,而工业界普遍使用非(半)形式化的表示定义与描述用户需求,如何由非(半)形式化的用户需求生成形式化软件规格说明是需求工程的难点之一.将设计模式的概念进行扩展,定义了问题模式...
关键词：形式化软件规格说明 生成方法 问题模式 模型精化演算 算法程序 
两次数据精化的形式化软件开发方法被引量：3
《计算机工程》2006年第1期102-104,共3页邢小英 王维维 
提出了一种从数据精化、过程精化、再数据精化的两次数据精化的形式化软件开发方法。传统Z规约数据精化很复杂。该文先采用过程写出初始规范,对模式进行第一次数据精化,然后把它转换为Z模式,再进行过程精化。最后再数据精化到目标代码...
关键词：过程 Z语言 规范 精化演算 PHP 
形式化软件功能分解的交互式规则被引量：1
《计算机工程与应用》2000年第7期44-46,共3页李彤 王黎霞 柳青 孔兵 
云南省自然科学基金!98F005G;云南省中青年学术技术带头人培养基金!1998-37
形式化功能分解是软件形式化设计的基本手段。文章基于前后断言形式定义的软件功能，提出了一组将该功能定义分解为3种基本控制结构之一的交互式分解规则，并证明了这组分解规则的正确性。分解规则构成的规则库是支持软件形式化设计的...
关键词：功能分解 面向对象 交互式规则 形式化软件 
交互式环境下基于知识的形式化软件设计技术
《计算机工程》2000年第4期41-43,共3页李彤 柳青 孔兵 王黎霞 
云南省自然科学基金项目"基于公理语义的面向对象并行软件自动化研究"!(98F005G);云南省青年学术技术带头人培养基金!(19
提出了一种将前后断言形式定义的非过程化的软件功能转换为过程化算法描述的技术。在由范例库、基元库和规则库构成的知识库支持下，交互式地不断分解细化软件功能，直至所有的功能定义都能由基元库中的语义子程序转换为算法性的目标代...
关键词：交互式环境 知识库 形式化软件设计 分解树 
形式化软件开发方法DD—VDM被引量：2
《软件学报》1996年第A00期385-393,共9页吕建 张建莹 
在指出ＶＤＭ方法用于较大程序开发的不足的基础上，本文提出了基于模型分解、模块化和运算分解思想的数据分解的概念，并将其引入ＶＤＭ，从而得到比ＶＤＭ更加一般的软件形式化开发方法ＤＤ－ＶＤＭ、在ＤＤ－ＶＤＭ中，可采用罗为灵...
关键词：形式化 数据分解 软件开发 DD-VDM 
形式化软件规范技术
《计算机科学》1990年第6期21-30,共10页刘少英 
关键词：软件开发 软件规范 软件 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部