论文降重
免费查重
推荐文章
形式化方法在软件工程中的应用研究
形式化方法
软件规约形式语言
软件工程
形式系统
规约
软件工程中的形式化方法研究综述
形式化方法
软件方法学
形式化的软件开发
基于Event-B和Rodin开展形式化软件工程教学
形式化软件工程
Event-B方法
Rodin
形式化方法介绍及其在工程中的应用
形式化方法
形式规范
形式验证
软件工程
硬件设计
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | 形式化技术在大型软件工程中的作用 | ||
| 来源期刊 | 国际学术动态 | 学科 | 工学 |
| 关键词 | 软件工程 形式化技术 计算机程序 正确性 可靠性 | ||
| 年，卷（期） | gjxsdt_2001,（4） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 76-77 | |
| 页数 | 2页 | 分类号 | TP311.5 |
| 字数 | 语种 | ||
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2001(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
软件工程
形式化技术
计算机程序
正确性
可靠性
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
国际学术动态
主办单位：
华中科技大学
出版周期：
双月刊
ISSN：
CN：
开本：
大16开
出版地：
武汉市华中科技大学图书馆
邮发代号：
创刊时间：
1983
语种：
chi
出版文献量（篇）
5523
总下载数（次）
22
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
国际学术动态2020
国际学术动态2019
国际学术动态2018
国际学术动态2017
国际学术动态2016
国际学术动态2015
国际学术动态2014
国际学术动态2013
国际学术动态2012
国际学术动态2011
国际学术动态2010
国际学术动态2009
国际学术动态2008
国际学术动态2007
国际学术动态2006
国际学术动态2005
国际学术动态2004
国际学术动态2003
国际学术动态2002
国际学术动态2001
国际学术动态2000
国际学术动态1999
国际学术动态1998
国际学术动态1997
国际学术动态1996
国际学术动态1995
国际学术动态1994
国际学术动态1993
国际学术动态1992
国际学术动态1991
国际学术动态1990
