钛学术
文献服务平台
学术出版新技术应用与公共服务实验室出品
首页
论文降重
免费查重
学术期刊
学术导航
任务中心
论文润色
登录
文献导航
学科分类
>
综合
工业技术
科教文艺
医药卫生
基础科学
经济财经
社会科学
农业科学
哲学政法
社会科学II
哲学与人文科学
社会科学I
经济与管理科学
工程科技I
工程科技II
医药卫生科技
信息科技
农业科技
数据库索引
>
默认
篇关摘
篇名
关键词
摘要
全文
作者
作者单位
基金
分类号
搜索文章
搜索思路
钛学术文献服务平台
\
学术期刊
\
综合期刊
\
其它期刊
\
电脑知识与技术:学术版期刊
\
基于形式化方法的软件开发技术
基于形式化方法的软件开发技术
作者:
罗保山
基本信息来源于合作网站,原文需代理用户跳转至来源网站获取
形式化方法
软件开发
摘要:
形式化方法作为一种以数学为基础的方法,能够清晰、精确、抽象、简明地规范和验证软件系统及其性质,能够极大地提高软件的安全性和可靠性。本文从形式化方法的研究内容、分类以及发展等方面出发,对基于形式化方法的软件开发的基本思想作了介绍,分析了使用形式化开发软件系统的优势和可靠性.
暂无资源
收藏
引用
分享
推荐文章
软件开发的形式化方法在程序测试中的应用
软件工程
形式化方法
程序测试
基于MDA的MARTE模型形式化方法
模型驱动体系
形式化方法
模型转换
MARTE元模型
形式化方法在CAD软件开发中的应用
计算机辅助设计
可靠性
程序系统
形式化方法
形式化方法B的证明技术
形式化方法
抽象机
广义代换
类型检查
证明义务
内容分析
文献信息
引文网络
相关学者/机构
相关基金
期刊文献
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
篇名
基于形式化方法的软件开发技术
来源期刊
电脑知识与技术:学术交流
学科
工学
关键词
形式化方法
软件开发
年,卷(期)
2007,(12)
所属期刊栏目
研究方向
页码范围
1290-1292
页数
3页
分类号
TP311.5
字数
语种
DOI
五维指标
作者信息
序号
姓名
单位
发文数
被引次数
H指数
G指数
1
罗保山
34
54
4.0
5.0
传播情况
被引次数趋势
(/次)
(/年)
引文网络
引文网络
二级参考文献
(0)
共引文献
(0)
参考文献
(0)
节点文献
引证文献
(0)
同被引文献
(0)
二级引证文献
(0)
2007(0)
参考文献(0)
二级参考文献(0)
引证文献(0)
二级引证文献(0)
研究主题发展历程
节点文献
形式化方法
软件开发
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
电脑知识与技术:学术版
主办单位:
时代出版传媒股份有限公司
中国计算机函授学院
出版周期:
旬刊
ISSN:
1009-3044
CN:
34-1205/TP
开本:
出版地:
安徽合肥市濉溪路333号
邮发代号:
26-188
创刊时间:
语种:
出版文献量(篇)
41621
总下载数(次)
23
总被引数(次)
0
期刊文献
相关文献
1.
软件开发的形式化方法在程序测试中的应用
2.
基于MDA的MARTE模型形式化方法
3.
形式化方法在CAD软件开发中的应用
4.
形式化方法B的证明技术
5.
基于AADL的软件开发技术研究
6.
应用ETDFA生成CBTC联锁软件形式化模型的方法
7.
软件需求获取形式化的案例研究
8.
两次数据精化的形式化软件开发方法
9.
面向服务软件中异常处理的形式化建模方法
10.
基于MDA的软件开发方法的研究
11.
基于活性顺序图的形式化验证方法及工具研究
12.
基于B方法的TCP协议形式化研究
13.
DO-333标准形式化方法研究
14.
基于代码生成技术的COSINE软件开发
15.
基于CSP和RSL的协议形式化描述技术研究
推荐文献
钛学术
文献服务平台
学术出版新技术应用与公共服务实验室出品
首页
论文降重
免费查重
学术期刊
学术导航
任务中心
论文润色
登录
根据相关规定,获取原文需跳转至原文服务方进行注册认证身份信息
完成下面三个步骤操作后即可获取文献,阅读后请
点击下方页面【继续获取】按钮
钛学术
文献服务平台
学术出版新技术应用与公共服务实验室出品
原文合作方
继续获取
获取文献流程
1.访问原文合作方请等待几秒系统会自动跳转至登录页,首次访问请先注册账号,填写基本信息后,点击【注册】
2.注册后进行实名认证,实名认证成功后点击【返回】
3.检查邮箱地址是否正确,若错误或未填写请填写正确邮箱地址,点击【确认支付】完成获取,文献将在1小时内发送至您的邮箱
*若已注册过原文合作方账号的用户,可跳过上述操作,直接登录后获取原文即可
点击
【获取原文】
按钮,跳转至合作网站。
首次获取需要在合作网站
进行注册。
注册并实名认证,认证后点击
【返回】按钮。
确认邮箱信息,点击
【确认支付】
, 订单将在一小时内发送至您的邮箱。
*
若已经注册过合作网站账号,请忽略第二、三步,直接登录即可。
期刊分类
期刊(年)
期刊(期)
期刊推荐
其它
电脑知识与技术:学术版2021
电脑知识与技术:学术版2020
电脑知识与技术:学术版2019
电脑知识与技术:学术版2018
电脑知识与技术:学术版2017
电脑知识与技术:学术版2016
电脑知识与技术:学术版2015
电脑知识与技术:学术版2014
电脑知识与技术:学术版2013
电脑知识与技术:学术版2012
电脑知识与技术:学术版2011
电脑知识与技术:学术版2010
电脑知识与技术:学术版2009
电脑知识与技术:学术版2008
电脑知识与技术:学术版2007
电脑知识与技术:学术版2006
电脑知识与技术:学术版2005
电脑知识与技术:学术版2007年第9期
电脑知识与技术:学术版2007年第8期
电脑知识与技术:学术版2007年第7期
电脑知识与技术:学术版2007年第6期
电脑知识与技术:学术版2007年第5期
电脑知识与技术:学术版2007年第4期
电脑知识与技术:学术版2007年第3期
电脑知识与技术:学术版2007年第2期
电脑知识与技术:学术版2007年第12期
电脑知识与技术:学术版2007年第11期
电脑知识与技术:学术版2007年第10期
电脑知识与技术:学术版2007年第1期
关于我们
用户协议
隐私政策
知识产权保护
期刊导航
免费查重
论文知识
钛学术官网
按字母查找期刊:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
其他
联系合作 广告推广: shenyukuan@paperpass.com
京ICP备2021016839号
营业执照
版物经营许可证:新出发 京零 字第 朝220126号