期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
11
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种基于Z和精化演算的形式化开发方法
被引量:
2
1
作者
阮幼林
李传湘
《小型微型计算机系统》
CSCD
北大核心
2001年第5期592-595,共4页
通过分析 Z和精化演算各自的特点 ,本文提出了一种使两者无缝集成的形式化开发方法 .该方法利用 Z良好的描述特性和扩充的类机制 ,将系统规约直接定义成精化演算中的抽象程序 ,然后用精化规则对抽象程序逐步精化 ,直到可执行程序 .
关键词
精化演算
软件开发
形式
化
开发方法
Z语言
软件工程
下载PDF
职称材料
基于程序窗口推理的精化演算
2
作者
王云峰
李必信
+2 位作者
庞军
查鸣
郑国梁
《软件学报》
EI
CSCD
北大核心
2000年第8期1071-1077,共7页
由于数据精化需要针对更大的程序块 ,所以 ,它比一般的算法精化更加复杂 .在精化演算中过程如何有效地进行数据精化是形式化方法研究中的一个重要内容 .该文介绍了相关的基本概念 .在精化演算的基础上 ,构造了一种数据精化算子 ,并提出...
由于数据精化需要针对更大的程序块 ,所以 ,它比一般的算法精化更加复杂 .在精化演算中过程如何有效地进行数据精化是形式化方法研究中的一个重要内容 .该文介绍了相关的基本概念 .在精化演算的基础上 ,构造了一种数据精化算子 ,并提出一种基于数据精化演算和程序窗口推理的数据精化的方法 .
展开更多
关键词
软件开发
精化演算
数据
精
化
程序窗口推理
下载PDF
职称材料
一种精化演算支撑工具的分析与设计
3
作者
王云峰
李必信
+2 位作者
庞军
查鸣
郑国梁
《南京大学学报(自然科学版)》
CAS
CSCD
2000年第5期560-567,共8页
利用精化演算的方法开发软件 ,其过程由巨大数量的小步骤构成 ,由手工完成极其烦琐 ,也极容易出错 ,因此利用机器辅助工具的支持是必要的 .在分析现有的精化工具的基础上 ,提出了一个用于软件形式化开发的的精化工具 (RT) ,并对其进行...
利用精化演算的方法开发软件 ,其过程由巨大数量的小步骤构成 ,由手工完成极其烦琐 ,也极容易出错 ,因此利用机器辅助工具的支持是必要的 .在分析现有的精化工具的基础上 ,提出了一个用于软件形式化开发的的精化工具 (RT) ,并对其进行了需求分析和功能分析 .在精化工具的设计中 ,讨论了作为定理证明器和精化引擎基础的窗口推理系统和用于程序精化推理的程序窗口推理系统 ,同时分析了设计中的设计目标 ,总体结构 ,精化与证明的表示方法 ,用户界面和工具的扩充性等问题 .对于工具的理论基础做了较为详细的分析 。
展开更多
关键词
形式方法
精化演算
精
化
工具
软件工程
下载PDF
职称材料
精化演算支撑工具的分析
4
作者
王云峰
庞军
+2 位作者
查鸣
杨朝晖
郑国梁
《计算机应用与软件》
CSCD
北大核心
2002年第2期1-5,53,共6页
利用精化演算的方法开发软件,其过程由巨大数量的小步骤构成,由手工完成极其烦琐,也极容易出错。因此,利用机器辅助工具的支持是必要的。在分析现有的精化工具的基础上,我们提出了一个用于软件形式化开发的精化工具RT(RefinementTool),...
利用精化演算的方法开发软件,其过程由巨大数量的小步骤构成,由手工完成极其烦琐,也极容易出错。因此,利用机器辅助工具的支持是必要的。在分析现有的精化工具的基础上,我们提出了一个用于软件形式化开发的精化工具RT(RefinementTool),对精化工具进行了需求分析和功能分析。在精化工具的设计中,分析了精化工具的设计目标、总体结构、精化与证明的表示方法、用户界面和工具的扩充性等问题,通过对精化和证明的表示方法的分析,提出了一种精化与证明的表示相结合的方法。
展开更多
关键词
形式方法
精化演算
支撑工具
软件工具
计算机
下载PDF
职称材料
一种从面向对象Z规约到代码的精化演算方法
5
作者
王云峰
庞军
+2 位作者
查鸣
杨朝晖
郑国梁
《软件学报》
EI
CSCD
北大核心
2000年第8期1041-1046,共6页
COOZ(complete object- oriented Z)的优势在于精确描述大型程序的规约 .COOZ本身的结构不支持精化演算 ,这限制了 COOZ的应用能力 ,使 COOZ难以作为完整的方法应用于软件的开发 .将精化演算引入COOZ,弥补了 COOZ在设计和实现阶段的不...
COOZ(complete object- oriented Z)的优势在于精确描述大型程序的规约 .COOZ本身的结构不支持精化演算 ,这限制了 COOZ的应用能力 ,使 COOZ难以作为完整的方法应用于软件的开发 .将精化演算引入COOZ,弥补了 COOZ在设计和实现阶段的不足 ,同时也消除了规约与实现之间在结构和表示方法上的完全分离 ,使程序开发在一个完整的框架下平滑进行 .该文提出了基于 COOZ和精化演算的软件开发模型 ,通过实例讨论了数据精化和操作精化问题 .在精化演算实现技术方面构造了一种数据精化算子 ,提出一种基于数据精化演算和程序窗口推理的数据精化的方法 .
展开更多
关键词
形式
化
开发方法
精化演算
面向对象
代码
下载PDF
职称材料
一种从Z到精化演算的软件开发方法
被引量:
3
6
作者
查鸣
王云峰
郑国梁
《计算机科学》
CSCD
北大核心
2000年第2期14-17,68,共5页
一、引言形式化方法的研究和应用已有二十多年的历史,源于Dijkstra和Hoare的程序验证以及Scott、stratchey等人的程序语义研究,指为保证复杂系统的可靠性,以数学为基础对其进行精确描述和验证的语言、技术和工具。形式化方法的关键在于...
一、引言形式化方法的研究和应用已有二十多年的历史,源于Dijkstra和Hoare的程序验证以及Scott、stratchey等人的程序语义研究,指为保证复杂系统的可靠性,以数学为基础对其进行精确描述和验证的语言、技术和工具。形式化方法的关键在于形式规约语言。通过语法和语义有严格数学定义的形式规约语言对系统及其各方面性能的描述,产生系统的形式规约,可以帮助开发者获得对所描述系统的深刻理解。
展开更多
关键词
软件开发方法
Z语言
精化演算
形式
化
描述语言
下载PDF
职称材料
精化演算支撑工具PRT的研究
7
作者
杨朝晖
王云峰
郑国梁
《计算机科学》
CSCD
北大核心
2000年第3期47-50,46,共5页
1 引言精化演算是一种数学表示法和若干规则的集合,用于从程序规约推导出命令式程序。精化是从抽象程序向具体程序转换的过程,其中包含程序的正确性证明。精化的程序开发方法比对已有程序进行验证以保证程序正确性的方法更有效。通过精...
1 引言精化演算是一种数学表示法和若干规则的集合,用于从程序规约推导出命令式程序。精化是从抽象程序向具体程序转换的过程,其中包含程序的正确性证明。精化的程序开发方法比对已有程序进行验证以保证程序正确性的方法更有效。通过精化演算中的转换规则可以演算出精化的程序。利用精化演算从规约导出程序的过程由大量步骤构成,非常适合利用机器工具进行辅助。本文对精化工具进行了需求分析和功能分析,研究了一个新的精化工具PRT(Program Refinement Tool)并与现有的一些工具进行了比较。
展开更多
关键词
程序正确性
精化演算
支撑工具
PRT
程序结构
下载PDF
职称材料
两次数据精化的形式化软件开发方法
被引量:
3
8
作者
邢小英
王维维
《计算机工程》
CAS
CSCD
北大核心
2006年第1期102-104,共3页
提出了一种从数据精化、过程精化、再数据精化的两次数据精化的形式化软件开发方法。传统Z规约数据精化很复杂。该文先采用过程写出初始规范,对模式进行第一次数据精化,然后把它转换为Z模式,再进行过程精化。最后再数据精化到目标代码...
提出了一种从数据精化、过程精化、再数据精化的两次数据精化的形式化软件开发方法。传统Z规约数据精化很复杂。该文先采用过程写出初始规范,对模式进行第一次数据精化,然后把它转换为Z模式,再进行过程精化。最后再数据精化到目标代码。以常见动态Web网页脚本语言PHP为例,阐述了该方法。并为此写了一套从过程到Z模式的转化规则,以及精化到PHP的精化规则。
展开更多
关键词
过程
Z语言
规范
精化演算
PHP
下载PDF
职称材料
基于问题模式的形式化软件规格说明生成方法
被引量:
5
9
作者
王昌晶
罗海梅
左正康
《计算机研究与发展》
EI
CSCD
北大核心
2013年第2期352-360,共9页
精确的形式化软件规格说明是软件描述、开发与验证的基础,而工业界普遍使用非(半)形式化的表示定义与描述用户需求,如何由非(半)形式化的用户需求生成形式化软件规格说明是需求工程的难点之一.将设计模式的概念进行扩展,定义了问题模式...
精确的形式化软件规格说明是软件描述、开发与验证的基础,而工业界普遍使用非(半)形式化的表示定义与描述用户需求,如何由非(半)形式化的用户需求生成形式化软件规格说明是需求工程的难点之一.将设计模式的概念进行扩展,定义了问题模式,提出了一种基于问题模式形式化软件规格说明生成方法.该方法从结构化自然语言SNL描述的高层问题需求出发,通过选择知识库中的问题模式逐步精化得到各个新的子问题对应的形式化规格说明,之后对各个子问题组合并进行优化以得到最终的形式化规格说明.进一步,使用模型精化演算的原理与概念给出了该生成方法的理论基础.采用算法程序领域作为研究对象并使用Radl语言作为形式化规格说明语言.通过算法程序领域中的典型实例对这一方法进行了详细的描述,实际效果表明该方法能有效地生成高质量形式化规格说明.
展开更多
关键词
形式
化
软件规格说明
生成方法
问题模式
模型
精化演算
算法程序
下载PDF
职称材料
基于Real-Time Object-Z语言的实时系统形式化描述
被引量:
2
10
作者
魏艳铭
张广泉
《重庆师范大学学报(自然科学版)》
CAS
2007年第4期41-44,53,共5页
实时系统是一类需要考虑时间约束条件的反应系统,确保实时系统安全性和可靠性是至关重要的。形式化方法是建立在严密数学基础之上的开发方法,采用形式化方法对实时系统进行描述与验证,可以借助严密的数学证明提高实时系统的安全性和可...
实时系统是一类需要考虑时间约束条件的反应系统,确保实时系统安全性和可靠性是至关重要的。形式化方法是建立在严密数学基础之上的开发方法,采用形式化方法对实时系统进行描述与验证,可以借助严密的数学证明提高实时系统的安全性和可靠性。本文讨论Object-Z的一种实时扩展语言Real-Time Object-Z,它可以对实时系统进行形式化描述;文中以室温控制系统为例,详细说明了Real-Time Object-Z语言在实时系统形式化描述中的应用方法。
展开更多
关键词
实时系统
OBJECT-Z
REAL-TIME
OBJECT-Z
实时
精化演算
形式
化
描述
下载PDF
职称材料
基于rCOS的UML状态图语义研究
被引量:
1
11
作者
张晓蒙
戎玫
张广泉
《计算机工程》
CAS
CSCD
北大核心
2009年第2期21-23,共3页
统一建模语言(UML)中的状态图用于描述类的对象所有可能的状态及事件发生时状态的转移条件,从而进行系统动态分析。针对现有关于UML状态图形式化语义研究中存在的不足,该文提出基于统一程序设计理论的对象精化演算系统,用于描述UML状态...
统一建模语言(UML)中的状态图用于描述类的对象所有可能的状态及事件发生时状态的转移条件,从而进行系统动态分析。针对现有关于UML状态图形式化语义研究中存在的不足,该文提出基于统一程序设计理论的对象精化演算系统,用于描述UML状态图的形式化语义,给出与类图、序列图的一致性检验,为模型驱动开发提供了可行性。
展开更多
关键词
统一建模语言
对象
精化演算
系统
状态图
下载PDF
职称材料
题名
一种基于Z和精化演算的形式化开发方法
被引量:
2
1
作者
阮幼林
李传湘
机构
武汉水利电力大学计算机科学与技术系
出处
《小型微型计算机系统》
CSCD
北大核心
2001年第5期592-595,共4页
文摘
通过分析 Z和精化演算各自的特点 ,本文提出了一种使两者无缝集成的形式化开发方法 .该方法利用 Z良好的描述特性和扩充的类机制 ,将系统规约直接定义成精化演算中的抽象程序 ,然后用精化规则对抽象程序逐步精化 ,直到可执行程序 .
关键词
精化演算
软件开发
形式
化
开发方法
Z语言
软件工程
Keywords
Z
Refinement calculus
Schema
Formal specification
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于程序窗口推理的精化演算
2
作者
王云峰
李必信
庞军
查鸣
郑国梁
机构
南京大学计算机软件新技术国家重点实验室
出处
《软件学报》
EI
CSCD
北大核心
2000年第8期1071-1077,共7页
基金
国家自然科学基金! (No.6 96 730 0 6 )
国家"九五"重点科技攻关项目基金! (No.98- 780 - 0 1- 0 7- 0 6 )资助
文摘
由于数据精化需要针对更大的程序块 ,所以 ,它比一般的算法精化更加复杂 .在精化演算中过程如何有效地进行数据精化是形式化方法研究中的一个重要内容 .该文介绍了相关的基本概念 .在精化演算的基础上 ,构造了一种数据精化算子 ,并提出一种基于数据精化演算和程序窗口推理的数据精化的方法 .
关键词
软件开发
精化演算
数据
精
化
程序窗口推理
Keywords
Formal software development method, refinement calculus, data refinement, program window inference.
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种精化演算支撑工具的分析与设计
3
作者
王云峰
李必信
庞军
查鸣
郑国梁
机构
南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系
出处
《南京大学学报(自然科学版)》
CAS
CSCD
2000年第5期560-567,共8页
基金
国家自然科学基金!(6 96 730 0 6 )
国家"九五"攻关项目基金!(98 780 0 1 0 7 0 6 )
文摘
利用精化演算的方法开发软件 ,其过程由巨大数量的小步骤构成 ,由手工完成极其烦琐 ,也极容易出错 ,因此利用机器辅助工具的支持是必要的 .在分析现有的精化工具的基础上 ,提出了一个用于软件形式化开发的的精化工具 (RT) ,并对其进行了需求分析和功能分析 .在精化工具的设计中 ,讨论了作为定理证明器和精化引擎基础的窗口推理系统和用于程序精化推理的程序窗口推理系统 ,同时分析了设计中的设计目标 ,总体结构 ,精化与证明的表示方法 ,用户界面和工具的扩充性等问题 .对于工具的理论基础做了较为详细的分析 。
关键词
形式方法
精化演算
精
化
工具
软件工程
Keywords
formal method
refinement calculus
refinement tool
windows inference
分类号
TP311.51 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
精化演算支撑工具的分析
4
作者
王云峰
庞军
查鸣
杨朝晖
郑国梁
机构
南京大学计算机软件新技术国家重点实验室
南京大学计算机科学与技术系
出处
《计算机应用与软件》
CSCD
北大核心
2002年第2期1-5,53,共6页
基金
国家自然科学基金(编号:69673006)
国家"九五"攻关(子专题合同编号:98-780-01-06-07)项目的资助
文摘
利用精化演算的方法开发软件,其过程由巨大数量的小步骤构成,由手工完成极其烦琐,也极容易出错。因此,利用机器辅助工具的支持是必要的。在分析现有的精化工具的基础上,我们提出了一个用于软件形式化开发的精化工具RT(RefinementTool),对精化工具进行了需求分析和功能分析。在精化工具的设计中,分析了精化工具的设计目标、总体结构、精化与证明的表示方法、用户界面和工具的扩充性等问题,通过对精化和证明的表示方法的分析,提出了一种精化与证明的表示相结合的方法。
关键词
形式方法
精化演算
支撑工具
软件工具
计算机
Keywords
Formal method Refinement calculus Refinement tool
分类号
TP311.56 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种从面向对象Z规约到代码的精化演算方法
5
作者
王云峰
庞军
查鸣
杨朝晖
郑国梁
机构
南京大学计算机软件新技术国家重点实验室
出处
《软件学报》
EI
CSCD
北大核心
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在设计和实现阶段的不足 ,同时也消除了规约与实现之间在结构和表示方法上的完全分离 ,使程序开发在一个完整的框架下平滑进行 .该文提出了基于 COOZ和精化演算的软件开发模型 ,通过实例讨论了数据精化和操作精化问题 .在精化演算实现技术方面构造了一种数据精化算子 ,提出一种基于数据精化演算和程序窗口推理的数据精化的方法 .
关键词
形式
化
开发方法
精化演算
面向对象
代码
Keywords
Formal development method, refinement calculus, formal specification, object oriented.
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种从Z到精化演算的软件开发方法
被引量:
3
6
作者
查鸣
王云峰
郑国梁
机构
南京大学计算机科学系软件新技术国家重点实验室
出处
《计算机科学》
CSCD
北大核心
2000年第2期14-17,68,共5页
基金
本课题得到"九五"攻关项目(98-780-01-07-06)
国家自然科学 69673006
文摘
一、引言形式化方法的研究和应用已有二十多年的历史,源于Dijkstra和Hoare的程序验证以及Scott、stratchey等人的程序语义研究,指为保证复杂系统的可靠性,以数学为基础对其进行精确描述和验证的语言、技术和工具。形式化方法的关键在于形式规约语言。通过语法和语义有严格数学定义的形式规约语言对系统及其各方面性能的描述,产生系统的形式规约,可以帮助开发者获得对所描述系统的深刻理解。
关键词
软件开发方法
Z语言
精化演算
形式
化
描述语言
Keywords
Z,Specification,Refinement calculus
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
精化演算支撑工具PRT的研究
7
作者
杨朝晖
王云峰
郑国梁
机构
南京大学计算机软件新技术国家重点实验室计算机科学与技术系
出处
《计算机科学》
CSCD
北大核心
2000年第3期47-50,46,共5页
基金
国家自然科学基金
国家"九五"攻关项目基金
文摘
1 引言精化演算是一种数学表示法和若干规则的集合,用于从程序规约推导出命令式程序。精化是从抽象程序向具体程序转换的过程,其中包含程序的正确性证明。精化的程序开发方法比对已有程序进行验证以保证程序正确性的方法更有效。通过精化演算中的转换规则可以演算出精化的程序。利用精化演算从规约导出程序的过程由大量步骤构成,非常适合利用机器工具进行辅助。本文对精化工具进行了需求分析和功能分析,研究了一个新的精化工具PRT(Program Refinement Tool)并与现有的一些工具进行了比较。
关键词
程序正确性
精化演算
支撑工具
PRT
程序结构
Keywords
Refinement calculus ,Refinement tool, Theorem proof ,Window reasoning
分类号
TP311.1 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
两次数据精化的形式化软件开发方法
被引量:
3
8
作者
邢小英
王维维
机构
浙江大学计算机系
出处
《计算机工程》
CAS
CSCD
北大核心
2006年第1期102-104,共3页
文摘
提出了一种从数据精化、过程精化、再数据精化的两次数据精化的形式化软件开发方法。传统Z规约数据精化很复杂。该文先采用过程写出初始规范,对模式进行第一次数据精化,然后把它转换为Z模式,再进行过程精化。最后再数据精化到目标代码。以常见动态Web网页脚本语言PHP为例,阐述了该方法。并为此写了一套从过程到Z模式的转化规则,以及精化到PHP的精化规则。
关键词
过程
Z语言
规范
精化演算
PHP
Keywords
Procedure
Z language
Specification
Refinement calculus
PHP
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于问题模式的形式化软件规格说明生成方法
被引量:
5
9
作者
王昌晶
罗海梅
左正康
机构
江西师范大学计算机信息工程学院
计算机科学国家重点实验室(中国科学院软件研究所)
中国科学院大学
江西师范大学物理与通信电子学院
出处
《计算机研究与发展》
EI
CSCD
北大核心
2013年第2期352-360,共9页
基金
江西省自然科学基金项目(20122BAB211030)
文摘
精确的形式化软件规格说明是软件描述、开发与验证的基础,而工业界普遍使用非(半)形式化的表示定义与描述用户需求,如何由非(半)形式化的用户需求生成形式化软件规格说明是需求工程的难点之一.将设计模式的概念进行扩展,定义了问题模式,提出了一种基于问题模式形式化软件规格说明生成方法.该方法从结构化自然语言SNL描述的高层问题需求出发,通过选择知识库中的问题模式逐步精化得到各个新的子问题对应的形式化规格说明,之后对各个子问题组合并进行优化以得到最终的形式化规格说明.进一步,使用模型精化演算的原理与概念给出了该生成方法的理论基础.采用算法程序领域作为研究对象并使用Radl语言作为形式化规格说明语言.通过算法程序领域中的典型实例对这一方法进行了详细的描述,实际效果表明该方法能有效地生成高质量形式化规格说明.
关键词
形式
化
软件规格说明
生成方法
问题模式
模型
精化演算
算法程序
Keywords
formal software specification
generation approach
problem pattern
model refinement calculus
algorithmic program
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于Real-Time Object-Z语言的实时系统形式化描述
被引量:
2
10
作者
魏艳铭
张广泉
机构
重庆师范大学数学与计算机学院
河南经贸职业学院信息管理系
出处
《重庆师范大学学报(自然科学版)》
CAS
2007年第4期41-44,53,共5页
基金
重庆市教委科学技术研究项目(No.040803)
文摘
实时系统是一类需要考虑时间约束条件的反应系统,确保实时系统安全性和可靠性是至关重要的。形式化方法是建立在严密数学基础之上的开发方法,采用形式化方法对实时系统进行描述与验证,可以借助严密的数学证明提高实时系统的安全性和可靠性。本文讨论Object-Z的一种实时扩展语言Real-Time Object-Z,它可以对实时系统进行形式化描述;文中以室温控制系统为例,详细说明了Real-Time Object-Z语言在实时系统形式化描述中的应用方法。
关键词
实时系统
OBJECT-Z
REAL-TIME
OBJECT-Z
实时
精化演算
形式
化
描述
Keywords
real-time system
Object-Z
Real-Time Object-Z
timed refinement calculus
formal specification
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于rCOS的UML状态图语义研究
被引量:
1
11
作者
张晓蒙
戎玫
张广泉
机构
苏州大学计算机科学与技术学院
重庆师范大学数学与计算机科学学院
暨南大学深圳旅游学院
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第2期21-23,共3页
基金
江苏省高校自然科学基金资助项目(05KJB520119)
重庆市自然科学基金资助项目(CSTC,2006BB2259)
文摘
统一建模语言(UML)中的状态图用于描述类的对象所有可能的状态及事件发生时状态的转移条件,从而进行系统动态分析。针对现有关于UML状态图形式化语义研究中存在的不足,该文提出基于统一程序设计理论的对象精化演算系统,用于描述UML状态图的形式化语义,给出与类图、序列图的一致性检验,为模型驱动开发提供了可行性。
关键词
统一建模语言
对象
精化演算
系统
状态图
Keywords
Unified Modeling Language(UML)
refinement Calculus of Object Systems(rCOS)
state-chart
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种基于Z和精化演算的形式化开发方法
阮幼林
李传湘
《小型微型计算机系统》
CSCD
北大核心
2001
2
下载PDF
职称材料
2
基于程序窗口推理的精化演算
王云峰
李必信
庞军
查鸣
郑国梁
《软件学报》
EI
CSCD
北大核心
2000
0
下载PDF
职称材料
3
一种精化演算支撑工具的分析与设计
王云峰
李必信
庞军
查鸣
郑国梁
《南京大学学报(自然科学版)》
CAS
CSCD
2000
0
下载PDF
职称材料
4
精化演算支撑工具的分析
王云峰
庞军
查鸣
杨朝晖
郑国梁
《计算机应用与软件》
CSCD
北大核心
2002
0
下载PDF
职称材料
5
一种从面向对象Z规约到代码的精化演算方法
王云峰
庞军
查鸣
杨朝晖
郑国梁
《软件学报》
EI
CSCD
北大核心
2000
0
下载PDF
职称材料
6
一种从Z到精化演算的软件开发方法
查鸣
王云峰
郑国梁
《计算机科学》
CSCD
北大核心
2000
3
下载PDF
职称材料
7
精化演算支撑工具PRT的研究
杨朝晖
王云峰
郑国梁
《计算机科学》
CSCD
北大核心
2000
0
下载PDF
职称材料
8
两次数据精化的形式化软件开发方法
邢小英
王维维
《计算机工程》
CAS
CSCD
北大核心
2006
3
下载PDF
职称材料
9
基于问题模式的形式化软件规格说明生成方法
王昌晶
罗海梅
左正康
《计算机研究与发展》
EI
CSCD
北大核心
2013
5
下载PDF
职称材料
10
基于Real-Time Object-Z语言的实时系统形式化描述
魏艳铭
张广泉
《重庆师范大学学报(自然科学版)》
CAS
2007
2
下载PDF
职称材料
11
基于rCOS的UML状态图语义研究
张晓蒙
戎玫
张广泉
《计算机工程》
CAS
CSCD
北大核心
2009
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部