期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
并行软件功能规约的组合语义方法
被引量：
1
1
作者
李彤
柳青
+1 位作者
孔兵
王黎霞
《计算机工程与应用》
CSCD
北大核心
2000年第6期78-80,共3页
文章提出了一种将代数语义、Hoars逻辑和UNITY逻辑集成在一起描述并行软件功能规约的方法。其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoars逻辑描述功能、UNITY逻辑描述并行程序性质的优点。表示形式有利于规约的分解、细化...
文章提出了一种将代数语义、Hoars逻辑和UNITY逻辑集成在一起描述并行软件功能规约的方法。其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoars逻辑描述功能、UNITY逻辑描述并行程序性质的优点。表示形式有利于规约的分解、细化和验证。
展开更多
关键词
并行
软件
组合语义
软件功能规约
软件
开发
在线阅读
下载PDF
职称材料
功能规约自动生成
被引量：
2
2
作者
董丽君
凌澍
徐家福
《计算机学报》
EI
CSCD
北大核心
1996年第3期174-178,共5页
ＮＤＲＡＳＳ系统［１］是南京大学计算机软件研究所新近研制成的一个由软件需求定义到软件功能规约的转换系统．功能规约自动生成是该系统的主体部分．它涉及状态空间的生成，操作定义的生成和系统总控流程的生成等．本文简要阐述了这...
ＮＤＲＡＳＳ系统［１］是南京大学计算机软件研究所新近研制成的一个由软件需求定义到软件功能规约的转换系统．功能规约自动生成是该系统的主体部分．它涉及状态空间的生成，操作定义的生成和系统总控流程的生成等．本文简要阐述了这些问题，特别讨论了ＮＤＲＡＳＳ系统中控制流图的规范化与结构化分解．全文包括研究动因、ＮＤＲＡＳＳ系统、功能规约自动生成架构、控制流图的规范化和结构化、代码生成、示例以及结语七个部分．
展开更多
关键词
软件
需求定义
软件功能规约
NDRASS系统
在线阅读
下载PDF
职称材料
题名
并行软件功能规约的组合语义方法
被引量：
1
1
作者
李彤
柳青
孔兵
王黎霞
机构
云南大学计算机科学系
云南大学经济学院
出处
《计算机工程与应用》
CSCD
北大核心
2000年第6期78-80,共3页
基金
云南省自然科学基金!"基于公理语义的面向对象并行软件自动化研究"98F005G
云南省中青年学术技术带头人培养基金!1998-37
文摘
文章提出了一种将代数语义、Hoars逻辑和UNITY逻辑集成在一起描述并行软件功能规约的方法。其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoars逻辑描述功能、UNITY逻辑描述并行程序性质的优点。表示形式有利于规约的分解、细化和验证。
关键词
并行
软件
组合语义
软件功能规约
软件
开发
Keywords
Parallel Software, Combined Semantics, Algebraic Semantics, Hoare Logic, UNITY Logic
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
功能规约自动生成
被引量：
2
2
作者
董丽君
凌澍
徐家福
机构
南京大学计算机软件研究所
出处
《计算机学报》
EI
CSCD
北大核心
1996年第3期174-178,共5页
文摘
ＮＤＲＡＳＳ系统［１］是南京大学计算机软件研究所新近研制成的一个由软件需求定义到软件功能规约的转换系统．功能规约自动生成是该系统的主体部分．它涉及状态空间的生成，操作定义的生成和系统总控流程的生成等．本文简要阐述了这些问题，特别讨论了ＮＤＲＡＳＳ系统中控制流图的规范化与结构化分解．全文包括研究动因、ＮＤＲＡＳＳ系统、功能规约自动生成架构、控制流图的规范化和结构化、代码生成、示例以及结语七个部分．
关键词
软件
需求定义
软件功能规约
NDRASS系统
Keywords
Software requirement definition,software functional specification,automatic generation of functional specifications.
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
并行软件功能规约的组合语义方法
李彤
柳青
孔兵
王黎霞
《计算机工程与应用》
CSCD
北大核心
2000
1
在线阅读
下载PDF
职称材料
2
功能规约自动生成
董丽君
凌澍
徐家福
《计算机学报》
EI
CSCD
北大核心
1996
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
