基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
推荐文章
形式化方法在软件工程中的应用研究
形式化方法
软件规约形式语言
软件工程
形式系统
规约
软件工程中的形式化方法研究综述
形式化方法
软件方法学
形式化的软件开发
基于Event-B和Rodin开展形式化软件工程教学
形式化软件工程
Event-B方法
Rodin
形式化方法介绍及其在工程中的应用
形式化方法
形式规范
形式验证
软件工程
硬件设计
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 形式化技术在大型软件工程中的作用
来源期刊 国际学术动态 学科 工学
关键词 软件工程 形式化技术 计算机程序 正确性 可靠性
年,卷(期) 2001,(4) 所属期刊栏目
研究方向 页码范围 76-77
页数 2页 分类号 TP311.5
字数 语种
DOI
五维指标
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (0)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
2001(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
软件工程
形式化技术
计算机程序
正确性
可靠性
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
国际学术动态
双月刊
大16开
武汉市华中科技大学图书馆
1983
chi
出版文献量(篇)
5523
总下载数(次)
22
论文1v1指导