期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
软件开发方法与规范说明语言
下载PDF
职称材料
导出
摘要
本文概述并分析了几种软件开发方法和相应规范说明语言,指出了它们的主要特点和存在的问题,这些工作对我们的工作有着或多或少的影响。
作者
殷建平
出处
《计算机工程与科学》
CSCD
1991年第2期26-31,共6页
Computer Engineering & Science
关键词
软件开发
规范
说明语言
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
1
殷建平,陈火旺.
一积基于Ada的规范说明语言[J]
.计算机工程与科学,1992,14(1):38-44.
2
徐志农,苏运霖.
基于Petri网的规范说明语言[J]
.暨南大学学报(自然科学与医学版),1989,10(3):22-29.
3
郭青.
模块化代数规范说明语言的实现模型[J]
.青岛大学学报(自然科学版),1990,3(2):5-12.
4
吴永辉.
基于思维方式的软件开发[J]
.计算机工程,1995,21(5):15-18.
被引量:1
5
朱冰,梅宏,杨芙清.
软件开发过程中的形式化方法[J]
.计算机科学,1995,22(1):31-36.
被引量:7
6
刘宗田.
程序变换的一种规范说明方法[J]
.计算机研究与发展,1998,35(1):87-90.
被引量:1
计算机工程与科学
1991年 第2期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部