检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

30 篇 会议
3 篇 期刊文献

馆藏范围

33 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

32 篇 工学
- 27 篇 计算机科学与技术...
- 21 篇 电气工程
- 13 篇 软件工程

主题

5 篇 source code
4 篇 java
4 篇 source code (sof...
4 篇 software
4 篇 javascript
3 篇 linux
3 篇 computer bugs
3 篇 data mining
3 篇 public domain so...
3 篇 java programming...
3 篇 open source soft...
2 篇 program debuggin...
2 篇 freshness analys...
2 篇 api usage exampl...
2 篇 software systems
2 篇 purity analysis
2 篇 debugging
2 篇 side effect anal...
2 篇 unit test cases
2 篇 code mining

机构

4 篇 univ szeged dept...
2 篇 politecn milan d...
2 篇 vrije univ bruss...
2 篇 vrije univ bruss...
2 篇 univ bern softwa...
1 篇 fdn bruno kessle...
1 篇 univ nacl colomb...
1 篇 univ calif irvin...
1 篇 univ fed minas g...
1 篇 abb corp res new...
1 篇 univ saskatchewa...
1 篇 queens univ king...
1 篇 polytech montrea...
1 篇 iowa state univ ...
1 篇 mta szte res grp...
1 篇 queens univ sch ...
1 篇 univ lille inria...
1 篇 irisa dga maitri...
1 篇 univ trento tren...
1 篇 univ waterloo da...

作者

4 篇 de roover coen
3 篇 ferenc rudolf
3 篇 stievenart quent...
3 篇 de meuter wolfga...
3 篇 nicolay jens
2 篇 lopes cristina v...
2 篇 roy chanchal k.
2 篇 pourhashem k moh...
2 篇 de paula adriano...
2 篇 rubinov konstant...
2 篇 hegedus peter
2 篇 gyimothy tibor
2 篇 ghafari mohammad
1 篇 sirvent thomas
1 篇 suzuki marcelo
1 篇 blazy sandrine
1 篇 english michael
1 篇 sudarsan sithu d...
1 篇 valente marco tu...
1 篇 poshyvanyk denys

语言

33 篇 英文

检索条件"任意字段=IEEE 15th International Working Conference on Source Code Analysis and Manipulation, SCAM 2015"

共 33 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

2015 ieee 15th international working conference on source code analysis and manipulation, scam 2015 - Proceedings

2015 IEEE 15th International Working Conference on Source Co...

引用

ieee 15th international working conference on source code analysis and manipulation, scam 2015

ISBN: (纸本)9781467375290

the proceedings contain 30 papers. the topics discussed include: ORBS and the limits of static slicing;intent, tests, and release dependencies: pragmatic recipes for source code integration;the use of C++ exception handling constructs: a comprehensive study;multi-layer software configuration: empirical study on wordpress;can the use of types and query expansion help improve large-scale code search?;using changeset descriptions as a data source to assist feature location;automatically identifying focal methods under test in unit test cases;navigating source code with words;recommending insightful comments for source code using crowdsourced knowledge;data tainting and obfuscation: improving plausibility of incorrect taint;and a grammar for spreadsheet formulas evaluated on two large datasets.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Static Microcode analysis Tool for Programmable Load Drivers 15

A Static Microcode Analysis Tool for Programmable Load Drive...

引用

15th ieee international working conference on source code analysis and manipulation (scam)

作者： Dariz, Luca Ruggeri, Massimiliano Selvatici, Michele Italian Natl Council Res CNR Inst Agr & Earthmoving Machines IMAMOTER Via Canal Bianco 28 I-44124 Ferrara Italy

ISBN: (纸本)9781467375290

the advances in control electronics, with the introduction of programmable load drivers, have changed the way in which actuators, both resistive and inductive, such as electrical motors, injectors, valves, are controlled. However, usually the only programming language available for these drivers is the native assembly-like microcode that, allowing for unstructured programing constructs, exposes to the risk of dangerous control flow paths, like infinite loops or jumps to non-existent locations. In this paper an automatic static analyzer is presented, which reconstruct the control flow graph of an application from the microcode source file and checks for infinite loops and undefined jumps caused by the corresponding jump register not being set for a particular path.

关键词： static analysis Control Flow Graph CFG microcode power driver infinite loop

来源：评论

学校读者我要写书评

暂无评论

codeMetropolis: Eclipse over the City of source code 15

CodeMetropolis: Eclipse over the City of Source Code

引用

15th ieee international working conference on source code analysis and manipulation (scam)

作者： Balogh, Gergo Szabolics, Attila Beszedes, Arpad Univ Szeged Dept Software Engn Szeged Hungary

ISBN: (纸本)9781467375290

the graphical representations of software (code visualization in particular) may provide both professional programmers and students learning only the basics with support in program comprehension. Among the numerous proposed approaches, our research applies the city metaphor for the visualisation of such code elements as classes, functions, or attributes by the tool codeMetropolis. It uses the game engine of Minecraft for the graphics, and is able to visualize various properties of the code based on structural metrics. In this work, we present our approach to integrate our visualization tool into the Eclipse IDE environment. Previously, only standalone usage was possible, but with this new version the users can invoke the visualization directly from the IDE, and all the analysis is performed in the background. the new version of the tool now includes an Eclipse plug-in and a Minecraft modification in addition to the analysis and visualization modules which have also been extended with some new features. Possible use cases and a detailed scenario are presented.

关键词： Integrated Development Environment software visualization city-metaphor integration

来源：评论

学校读者我要写书评

暂无评论

SimNav: Simulink Navigation of Model Clone Classes 15

SimNav: Simulink Navigation of Model Clone Classes

引用

15th ieee international working conference on source code analysis and manipulation (scam)

作者： Rapos, Eric J. Stevenson, Andrew Alalfi, Manar H. Cordy, James R. Queens Univ Sch Comp Kingston ON Canada

ISBN: (纸本)9781467375290

SimNav is a graphical user interface designed for displaying and navigating clone classes of Simulink models detected by the model clone detector Simone. As an embedded Simulink interface tool, SimNav allows model developers to explore detected clones directly in their own model development environment rather than a separate research tool interface. SimNav allows users to open selected models for side-by-side comparison, in order to visually explore clone classes and view the differences in the clone instances, as well as to explore the context in which the clones exist. this tool paper describes the motivation, implementation, and use cases for SimNav.

关键词： graphical user interfaces software maintenance source code (software) SimNav Simulink navigation embedded Simulink interface graphical user interface model clone class model clone detector Simone Cloning Detectors Graphical user interfaces Industries MATLAB Mathematical model graphical user interfaces Software maintenance Clone Cells MATLAB Mathematical Model Cloning industries detector

来源：评论

学校读者我要写书评

暂无评论

Detecting Function Purity in JavaScript 15

Detecting Function Purity in JavaScript

引用

15th ieee international working conference on source code analysis and manipulation (scam)

作者： Nicolay, Jens Noguera, Carlos De Roover, Coen De Meuter, Wolfgang Vrije Univ Brussel Software Languages Lab Brussels Belgium

ISBN: (纸本)9781467375290

We present an approach to detect function purity in JavaScript. A function is pure if none of its applications cause observable side-effects. the approach is based on a pushdown flow analysis that besides traditional control and value flow also keeps track of write effects. To increase the precision of our purity analysis, we combine it with an intraprocedural analysis to determine freshness of variables and object references. We formalize the core aspects of our analysis, and discuss our implementation used to analyze several common JavaScript benchmarks. Experiments show that our technique is capable of detecting function purity, even in the presence of higher-order functions, dynamic property expressions, and prototypal inheritance.

关键词： Java program diagnostics JavaScript function purity detection pushdown flow analysis Arrays Benchmark testing Context Reactive power Resource management Semantics Standards analysis programme Benchmark testing Reactive power management of resources Semantics Java Script Java Java programming language purity arrays semiotics Flow analysis

来源：评论

学校读者我要写书评

暂无评论

Recommending Insightful Comments for source code using Crowdsourced Knowledge 15

Recommending Insightful Comments for Source Code using Crowd...

引用

15th ieee international working conference on source code analysis and manipulation (scam)

作者： Rahman, Mohammad Masudur Roy, Chanchal K. Keivanloo, Iman Univ Saskatchewan Saskatoon SK S7N 0W0 Canada Queens Univ Kingston ON K7L 3N6 Canada

ISBN: (纸本)9781467375290

Recently, automatic code comment generation is proposed to facilitate program comprehension. Existing code comment generation techniques focus on describing the functionality of the source code. However, there are other aspects such as insights about quality or issues of the code, which are overlooked by earlier approaches. In this paper, we describe a mining approach that recommends insightful comments about the quality, deficiencies or scopes for further improvement of the source code. First, we conduct an exploratory study that motivates crowdsourced knowledge from Stack Overflow discussions as a potential resource for source code comment recommendation. Second, based on the findings from the exploratory study, we propose a heuristic-based technique for mining insightful comments from Stack Overflow Q & A site for source code comment recommendation. Experiments with 292 Stack Overflow code segments and 5,039 discussion comments show that our approach has a promising recall of 85.42%. We also conducted a complementary user study which confirms the accuracy and usefulness of the recommended comments.

关键词： Stack Overflow code examples program analysis code insight comment recommendation

来源：评论

学校读者我要写书评

暂无评论

Using Changeset Descriptions as a Data source to Assist Feature Location 15

Using Changeset Descriptions as a Data Source to Assist Feat...

引用

15th ieee international working conference on source code analysis and manipulation (scam)

作者： Chochlov, Muslim English, Michael Buckley, Jim Univ Limerick Dept Comp Sci & Informat Syst Limerick Ireland

ISBN: (纸本)9781467375290

Feature location attempts to assist developers in discovering functionality in source code. Many textual feature location techniques utilize information retrieval and rely on comments and identifiers of source code to describe software entities. An interesting alternative would be to employ the changeset descriptions of the code altered in that changeset as a data source to describe such software entities. To investigate this we implement a technique utilizing changeset descriptions and conduct an empirical study to observe this technique's overall performance. Moreover, we study how the granularity (i.e. file or method level of software entities) and changeset range inclusion (i.e. most recent or all historical changesets) affect such an approach. the results of a preliminary study with Rhino and Mylyn. Tasks systems suggest that the approach could lead to a potentially efficient feature location technique. they also suggest that it is advantageous in terms of the effort to configure the technique at method level granularity and that older changesets from older systems may reduce the effectiveness of the technique.

关键词： Feature location information retrieval software repositories

来源：评论

学校读者我要写书评

暂无评论

From Preprocessor-Constrained Parse Graphs to Preprocessor-Constrained Control Flow 15

From Preprocessor-Constrained Parse Graphs to Preprocessor-C...

引用

15th ieee international working conference on source code analysis and manipulation (scam)

作者： Luedemann, Dierk Koschke, Rainer Univ Bremen D-28359 Bremen Germany

ISBN: (纸本)9781467375290

Preprocessor-aware static analysis tools are needed for C code to gain sound knowledge about the interference among all conditionally compiled program parts. We provide formal descriptions and algorithms to construct a preprocessor-aware control flow graph from preprocessor-aware parse graphs of SuperC. Based on the structure of parse graphs capturing the syntax nodes constrained by preprocessor constraints, we show how to model, formalize, and compute preprocessor-aware intra-procedural control-flow graphs. Such preprocessor-aware control-flow graphs may serve as the basis for subsequent preprocessor-aware control and data flow analyses.

关键词： C language data flow analysis flow graphs program processors C code SuperC preprocessor-aware intraprocedural control-flow graph preprocessor-aware parse graph preprocessor-aware static analysis tools preprocessor-constrained control flow preprocessor-constrained parse graph syntax nodes Algorithm design and analysis Computational modeling Data preprocessing Grammar Java Linux Syntactics data flow analysis Program processors Flowcharts Algorithm design and analysis syntax Data preprocessing C language Linux Computational modeling Java Java programming language Parsing C codeS

来源：评论

学校读者我要写书评

暂无评论

Intent, Tests, and Release Dependencies: Pragmatic Recipes for source code Integration 15

Intent, Tests, and Release Dependencies: Pragmatic Recipes f...

引用

15th ieee international working conference on source code analysis and manipulation (scam)

作者： Brandtner, Martin Leitner, Philipp Gall, Harald C. Univ Zurich Dept Informat CH-8006 Zurich Switzerland

ISBN: (纸本)9781467375290

Continuous integration of source code changes, for example, via pull-request driven contribution channels, has become standard in many software projects. However, the decision to integrate source code changes into a release is complex and has to be taken by a software manager. In this work, we identify a set of three pragmatic recipes plus variations to support the decision making of integrating code contributions into a release. these recipes cover the isolation of source code changes, contribution of test code, and the linking of commits to issues. We analyze the development history of 21 open-source software projects, to evaluate whether, and to what extent, those recipes are followed in open-source projects. the results of our analysis showed that open-source projects largely follow recipes on a compliance level of > 7 5 %. Hence, we conclude that the identified recipes plus variations can be seen as wide-spread relevant best-practices for source code integration.

关键词： decision making program testing project management public domain software source code (software) intent open-source software projects pragmatic recipe release dependency source code change isolation source code integration test code contribution Companies Guidelines Interviews Lead Open source software Pragmatics open source software source code Recipes Pragmatics program testing decision making Project management Companies Interviews open source Lead test codes

来源：评论

学校读者我要写书评

暂无评论

FaultBuster: An Automatic code Smell Refactoring Toolset 15

FaultBuster: An Automatic Code Smell Refactoring Toolset

引用

15th ieee international working conference on source code analysis and manipulation (scam)

作者： Szoke, Gabor Nagy, Csaba Fulop, Lajos Jeno Ferenc, Rudolf Gyimothy, Tibor Univ Szeged Dept Software Engn Szeged Hungary

ISBN: (纸本)9781467375290

One solution to prevent the quality erosion of a software product is to maintain its quality by continuous refactoring. However, refactoring is not always easy. Developers need to identify the piece of code that should be improved and decide how to rewrite it. Furthermore, refactoring can also be risky;that is, the modified code needs to be re-tested, so developers can see if they broke something. Many IDEs offer a range of refactorings to support so-called automatic refactoring, but tools which are really able to automatically refactor code smells are still under research. In this paper we introduce FaultBuster, a refactoring toolset which is able to support automatic refactoring: identifying the problematic code parts via static code analysis, running automatic algorithms to fix selected code smells, and executing integrated testing tools. In the heart of the toolset lies a refactoring framework to control the analysis and the execution of automatic algorithms. FaultBuster provides IDE plugins to interact with developers via popular IDEs (Eclipse, Netbeans and IntelliJ IDEA). All the tools were developed and tested in a 2-year project with 6 software development companies where thousands of code smells were identified and fixed in 5 systems having altogether over 5 million lines of code.

关键词： Automatic refactoring code smells coding issues antipatterns sourceMeter Columbus

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共4页 << < 1 2 3 4 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：