咨询与建议

限定检索结果

文献类型

  • 2 篇 会议
  • 1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 1 篇 电气工程
    • 1 篇 软件工程
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 管理学
    • 1 篇 图书情报与档案管...

主题

  • 3 篇 structural code ...
  • 1 篇 static source co...
  • 1 篇 graph database
  • 1 篇 automated assess...
  • 1 篇 programming assi...
  • 1 篇 interactive anal...
  • 1 篇 source code repr...
  • 1 篇 user satisfactio...
  • 1 篇 code quality cha...
  • 1 篇 regular expressi...
  • 1 篇 token expression...
  • 1 篇 software measure...
  • 1 篇 introductory lec...
  • 1 篇 open source deve...
  • 1 篇 large-scale educ...
  • 1 篇 learning analyti...
  • 1 篇 lexical analysis

机构

  • 1 篇 leibniz univ han...
  • 1 篇 univ duisburg es...
  • 1 篇 columbia univ ny...
  • 1 篇 aristotelian uni...
  • 1 篇 tech univ munich...
  • 1 篇 nimble res monro...

作者

  • 1 篇 koegl adrian
  • 1 篇 holzmann gerard ...
  • 1 篇 hubwieser peter
  • 1 篇 oikonomou a
  • 1 篇 bleris gl
  • 1 篇 krugel johannes
  • 1 篇 talbot mike
  • 1 篇 stamelos i
  • 1 篇 goedicke michael
  • 1 篇 striewe michael
  • 1 篇 angelis l

语言

  • 3 篇 英文
检索条件"主题词=structural code analysis"
3 条 记 录,以下是1-10 订阅
排序:
Efficient structural analysis of Source code for Large Scale Applications in Education  13
Efficient Structural Analysis of Source Code for Large Scale...
收藏 引用
13th IEEE Global Engineering Education Conference (IEEE EDUCON)
作者: Koegl, Adrian Hubwieser, Peter Talbot, Mike Krugel, Johannes Striewe, Michael Goedicke, Michael Columbia Univ New York NY 10027 USA Tech Univ Munich Munich Germany Leibniz Univ Hannover Hannover Germany Univ Duisburg Essen Essen Germany
Automated Assessment Systems (AAS) are increasingly used in large computer science lectures to evaluate student solutions to programming assignments. The AAS normally carries out static and dynamic analysis of the pro... 详细信息
来源: 评论
code quality analysis in open source software development
收藏 引用
INFORMATION SYSTEMS JOURNAL 2002年 第1期12卷 43-60页
作者: Stamelos, I Angelis, L Oikonomou, A Bleris, GL Aristotelian Univ Thessaloniki Dept Informat GR-54006 Thessaloniki Greece
Proponents of open source style software development claim that better software is produced using this model compared with the traditional closed model. However, there is little empirical evidence. in support of these... 详细信息
来源: 评论
Cobra: Fast structural code Checking  24
Cobra: Fast Structural Code Checking
收藏 引用
24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software (SPIN)
作者: Holzmann, Gerard J. Nimble Res Monrovia CA 91016 USA
In so % ware analysis most research has traditionally been focused on the development of tools and techniques that can be used to formally prove key correctness properties of a so % ware design. Design errors can be h... 详细信息
来源: 评论