咨询与建议

限定检索结果

文献类型

  • 7 篇 会议
  • 3 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 11 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 10 篇 工学
    • 8 篇 软件工程
    • 6 篇 计算机科学与技术...
    • 2 篇 电气工程

主题

  • 11 篇 static source co...
  • 2 篇 interactive anal...
  • 1 篇 graph neural net...
  • 1 篇 software systems
  • 1 篇 performance
  • 1 篇 configuration
  • 1 篇 peer code review
  • 1 篇 the spin model c...
  • 1 篇 non-homogeneous ...
  • 1 篇 coding standards
  • 1 篇 program slicing
  • 1 篇 software product...
  • 1 篇 memory managemen...
  • 1 篇 code review
  • 1 篇 model checking
  • 1 篇 coding rules
  • 1 篇 eclipse
  • 1 篇 pattern matching
  • 1 篇 software tools
  • 1 篇 abstract syntax ...

机构

  • 3 篇 nimble res monro...
  • 1 篇 hiroshima univ g...
  • 1 篇 radboud univ nij...
  • 1 篇 tongji univ sch ...
  • 1 篇 open univ nether...
  • 1 篇 univ groningen b...
  • 1 篇 caltech jet prop...
  • 1 篇 metop gmbh magde...
  • 1 篇 harz univ appl s...
  • 1 篇 seeburger china ...
  • 1 篇 university of be...
  • 1 篇 himachal pradesh...
  • 1 篇 otto von guerick...
  • 1 篇 open univ nether...

作者

  • 4 篇 holzmann gerard ...
  • 1 篇 ludwig kai
  • 1 篇 sharma aman kuma...
  • 1 篇 lars alberto van...
  • 1 篇 yu jia
  • 1 篇 kuiter elias
  • 1 篇 saake gunter
  • 1 篇 krieter sebastia...
  • 1 篇 verma anoop kuma...
  • 1 篇 de kraker wesley
  • 1 篇 leich thomas
  • 1 篇 liu yan
  • 1 篇 vranken harald
  • 1 篇 okamura hiroyuki
  • 1 篇 hommmersom arjen
  • 1 篇 dohi tadashi
  • 1 篇 guo jiapan
  • 1 篇 yang chunyu
  • 1 篇 okumura kei
  • 1 篇 feitosa daniel

语言

  • 11 篇 英文
检索条件"主题词=Static Source Code Analysis"
11 条 记 录,以下是11-20 订阅
排序:
SCRUB: a tool for code reviews
收藏 引用
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING 2010年 第4期6卷 311-318页
作者: Holzmann, Gerard J. CALTECH Jet Prop Laboratory Lab Reliable Software Pasadena CA 91109 USA
This paper describes a tool called source code Review User Browser (SCRUB) that was developed to support a more effective and tool-based code review process. The tool was designed to support a large team-based softwar... 详细信息
来源: 评论