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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

934 篇 会议
23 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

609 篇 工学
- 550 篇 软件工程
- 414 篇 计算机科学与技术...
- 133 篇 电气工程
- 15 篇 控制科学与工程
- 14 篇 生物工程
- 12 篇 信息与通信工程
- 4 篇 材料科学与工程（可...
- 3 篇 交通运输工程
- 3 篇 安全科学与工程
- 2 篇 机械工程
- 2 篇 化学工程与技术
- 2 篇 生物医学工程（可授...
- 1 篇 建筑学
- 1 篇 环境科学与工程（可...
38 篇 理学
- 17 篇 数学
- 13 篇 生物学
- 6 篇 化学
- 5 篇 物理学
- 2 篇 系统科学
- 2 篇 统计学（可授理学、...
29 篇 管理学
- 19 篇 图书情报与档案管...
- 16 篇 管理科学与工程(可...
- 5 篇 工商管理
3 篇 经济学
- 3 篇 应用经济学
3 篇 教育学
- 3 篇 教育学
2 篇 医学
- 2 篇 临床医学
1 篇 法学
- 1 篇 社会学
1 篇 农学
- 1 篇 作物学

主题

111 篇 software
107 篇 java
102 篇 static analysis
78 篇 source coding
74 篇 open source soft...
57 篇 software systems
54 篇 codes
51 篇 visualization
44 篇 measurement
43 篇 tools
42 篇 task analysis
42 篇 algorithm design...
38 篇 data mining
37 篇 cloning
36 篇 testing
35 篇 libraries
35 篇 software enginee...
35 篇 semantics
34 篇 computer bugs
33 篇 programming

机构

11 篇 vrije univ bruss...
8 篇 delft university...
8 篇 univ szeged dept...
7 篇 delft univ techn...
7 篇 delft university...
7 篇 kent state univ ...
6 篇 queens univ sch ...
6 篇 fraunhofer iem p...
6 篇 univ bern softwa...
5 篇 department of so...
5 篇 software analysi...
5 篇 ucl england
5 篇 eindhoven univer...
5 篇 paderborn univ p...
5 篇 eindhoven univ t...
5 篇 univ akron dept ...
4 篇 department of so...
4 篇 vrije univ bruss...
4 篇 univ saskatchewa...
4 篇 univ bern softwa...

作者

17 篇 de roover coen
10 篇 roy chanchal k.
10 篇 stievenart quent...
10 篇 coen de roover
9 篇 poshyvanyk denys
8 篇 ferenc rudolf
7 篇 inoue katsuro
7 篇 ahmed e. hassan
7 篇 van deursen arie
6 篇 moonen leon
6 篇 bodden eric
6 篇 gyimothy tibor
6 篇 harman mark
6 篇 collard michael ...
6 篇 gall harald c.
6 篇 bram adams
6 篇 zaidman andy
6 篇 quentin stiévena...
6 篇 adams bram
5 篇 serebrenik alexa...

语言

952 篇 英文
6 篇 其他

检索条件"任意字段=IEEE Working Conference on Source Code Analysis and Manipulation"

共 958 条记录，以下是291-300 订阅

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

详细简洁

排序：

Towards Detecting Inconsistent Comments in Java source code Automatically

Towards Detecting Inconsistent Comments in Java Source Code ...

引用

ieee International Workshop on source code analysis and manipulation

作者： Nataliia Stulova Arianna Blasi Alessandra Gorla Oscar Nierstrasz Software Composition Group University of Bern Switzerland Faculty of Informatics USI Università della Svizzera italiana Lugano Switzerland IMDEA Software Institute Madrid Spain

ISBN: (数字)9781728192482

ISBN: (纸本)9781728192499

A number of tools are available to software developers to check consistency of source code during software evolution. However, none of these tools checks for consistency of the documentation accompanying the code. As a result, code and documentation often diverge, hindering program comprehension. This leads to errors in how developers use source code, especially in the case of APIs of reusable libraries. We propose a technique and a tool, upDoc, to automatically detect code-comment inconsistency during code evolution. Our technique builds a map between the code and its documentation, ensuring that changes in the code match the changes in respective documentation parts. We conduct a preliminary evaluation using inconsistency examples from an existing dataset of Java open source projects, showing that upDoc can successfully detect them. We present a roadmap for the further development of the technique and its evaluation.

关键词： Java Documentation Tools Software Software reliability Task analysis Software engineering

来源：评论

学校读者我要写书评

暂无评论

Why Did your PR Get Rejected?: Defining Guidelines for Avoiding PR Rejection in Open source Projects 42

Why Did your PR Get Rejected?: Defining Guidelines for Avoid...

引用

42nd ieee/ACM International conference on Software Engineering Workshops, ICSEW 2020

作者： Papadakis, Nick Patel, Ayan Gottigundala, Tanay Garro, Alexandra Graham, Xavier Da Silva, Bruno California Polytechnic State Univ. San Luis ObispoCA United States

ISBN: (纸本)9781450379632

Pull requests are a commonly used method of collaboration for software developers working on open source projects. In this paper, we analyze the most common reasons, sentiment polarity, and interaction length for pull request rejections, as well as the correlations between these factors in a large open-source project called Scapy. We manually analyzed 231 rejected pull requests and systematically mapped sentiment and categorized rejection reasons. We found that the most frequent reasons for pull request rejection refer to source code management issues, incomplete comprehension of project functionalities, poor understanding of what reviewers expect, and misunderstanding the project guidelines (often due to a lack of complete/updated instructions and communication gaps). This work is an ongoing effort toward establishing practical guidelines for globally distributed contributors in open-source projects to minimize pull request rejection and maximize productivity leading to more fruitful remote collaboration. Future work involves expanding the analysis to more projects and incorporating quantitative methods. © 2020 ACM.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

Out of Sight, Out of Place: Detecting and Assessing Swapped Arguments

Out of Sight, Out of Place: Detecting and Assessing Swapped ...

引用

ieee International Workshop on source code analysis and manipulation

作者： Roger Scott Joseph Ranieri Lucja Kot Vineeth Kashyap GrammaTech Inc.

ISBN: (数字)9781728192482

ISBN: (纸本)9781728192499

Programmers often add meaningful information about program semantics when naming program entities such as variables, functions, and macros. However, static analysis tools typically discount this information when they look for bugs in a program. In this work, we describe the design and implementation of a static analysis checker called SWAPD, which uses the natural language information in programs to warn about mistakenly-swapped arguments at call sites. SWAPD combines two independent detection strategies to improve the effectiveness of the overall checker. We present the results of a comprehensive evaluation of SWAPD over a large corpus of C and C++ programs totaling 417 million lines of code. In this evaluation, SWAPD found 154 manually-vetted real-world cases of mistakenly-swapped arguments, suggesting that such errors- while not pervasive in released code-are a real problem and a worthwhile target for static analysis.

关键词： Filtering conferences Semantics Natural languages Static analysis Manuals Tools

来源：评论

学校读者我要写书评

暂无评论

analysis of Logic Errors Utilizing a Large Amount of File History During Programming Learning

Analysis of Logic Errors Utilizing a Large Amount of File Hi...

引用

ieee International conference on Teaching, Assessment, and Learning for Engineering (ieee TALE)

作者： Umezawa, Katsuyuki Nakazawa, Makoto Kobayashi, Manabu Ishii, Yutaka Nakano, Michiko Hirasawa, Shigeichi Shonan Inst Technol Dept Informat Sci Fujisawa Kanagawa Japan Jr Coll Aizu Dept Ind Informat Sci Fukushima Japan Waseda Univ Ctr Data Sci Tokyo Japan Chiba Univ Fac Educ Chiba Japan Waseda Univ Fac Educ & Integrated Arts & Sci Tokyo Japan Waseda Univ Res Inst Sci & Engn Tokyo Japan

ISBN: (纸本)9781728169422

We proposed an editing record visualization system that can confirm learner modification of programs by storing a learning log. This system was utilized for an actual flipped classroom and stored an enormous volume of learning logs. Each learning log contained all the source code being modified until the program was completed. We also developed a debugging exercise extraction system to automatically generate problems with syntax errors for debugging practice using these learning logs. In this paper, we propose a method of identifying logic errors in cases where no error information is obtained by analyzing the learning log.

关键词： programming logic error editing record learning log debugging practice

来源：评论

学校读者我要写书评

暂无评论

Optimizing Away JavaScript Obfuscation

Optimizing Away JavaScript Obfuscation

引用

ieee International Workshop on source code analysis and manipulation

作者： Adrian Herrera Defence Science and Technology Group

ISBN: (数字)9781728192482

ISBN: (纸本)9781728192499

JavaScript is a popular attack vector for releasing malicious payloads on unsuspecting Internet users. Authors of this malicious JavaScript often employ numerous obfuscation techniques in order to prevent the automatic detection by antivirus and hinder manual analysis by professional malware analysts. Consequently, this paper presents SAFE-DEOBS, a JavaScript deobfuscation tool that we have built. The aim of SAFE-DEOBS is to automatically deobfuscate JavaScript malware such that an analyst can more rapidly determine the malicious script's intent. This is achieved through a number of static analyses, inspired by techniques from compiler theory. We demonstrate the utility of SAFE-DEOBS through a case study on real-world JavaScript malware, and show that it is a useful addition to a malware analyst's toolset.

关键词： Static analysis Manuals Tools Malware Internet Open source software Payloads

来源：评论

学校读者我要写书评

暂无评论

Cost Volume Pyramid Based Depth Inference for Multi-View Stereo

Cost Volume Pyramid Based Depth Inference for Multi-View Ste...

引用

ieee/CVF conference on Computer Vision and Pattern Recognition (CVPR)

作者： Yang, Jiayu Mao, Wei Alvarez, Jose M. Liu, Miaomiao Australian Natl Univ Canberra ACT Australia NVIDIA Santa Clara CA USA Australian Ctr Robot Vis Canberra ACT Australia

ISBN: (纸本)9781728171685

We propose a cost volume-based neural network for depth inference from multi-view images. We demonstrate that building a cost volume pyramid in a coarse-to-fine manner instead of constructing a cost volume at a fixed resolution leads to a compact, lightweight network and allows us inferring high resolution depth maps to achieve better reconstruction results. To this end, we first build a cost volume based on uniform sampling of fronto-parallel planes across the entire depth range at the coarsest resolution of an image. Then, given current depth estimate, we construct new cost volumes iteratively on the pixelwise depth residual to perform depth map refinement. While sharing similar insight with Point-MVSNet as predicting and refining depth iteratively, we show that working on cost volume pyramid can lead to a more compact, yet efficient network structure compared with the Point-MVSNet on 3D points. We further provide detailed analyses of the relation between (residual) depth sampling and image resolution, which serves as a principle for building compact cost volume pyramid. Experimental results on benchmark datasets show that our model can perform 6x faster and has similar performance as state-of-the-art methods. code is available at https: //***/JiayuYANG/CVP-MVSNet.

关键词： Cost benefit analysis

来源：评论

学校读者我要写书评

暂无评论

Database and Benchmark for Early-stage Malicious Activity Detection in 3D Printing 20

Database and Benchmark for Early-stage Malicious Activity De...

引用

25th Asia and South Pacific Design Automation conference (ASP-DAC)

作者： Ma, Xiaolong Li, Zhe Li, Hongjia An, Qiyuan Qiu, Qinru Xu, Wenyao Wang, Yanzhi Northeastern Univ Boston MA 02115 USA Syracuse Univ Syracuse NY 13244 USA SUNY Buffalo Buffalo NY USA

ISBN: (数字)9781728141237

ISBN: (纸本)9781728141237

Increasing malicious users have sought practices to leverage 3D printing technology to produce unlawful tools in criminal activities. It is of vital importance to enable 3D printers to identify the objects to be printed and terminate at early stage if illegal objects are identified. Deep learning yields significant rises in performance in the object recognition tasks. However, the lack of large-scale databases in 3D printing domain stalls the advancement of automatic illegal weapon recognition. This paper presents a new 3D printing image database, namely C3PO, which compromises two subsets for the different system working scenarios. We extract images from the numerical control programming code files of 22 3D models, and then categorize the images into 10 distinct labels. These two sets arc designed for identifying: (i), printing knowledge source (G-code) at beginning of manufacturing, (ii). printing procedure during manufacturing. Importantly, we demonstrate that the weapons can be recognized in either scenario using deep learning based approaches using our proposed database. The quantitative results are promising, and the future exploration of the database and the crime prevention in 3D printing are demanding tasks.

关键词： Solid modeling Three-dimensional displays Weapons Three-dimensional printing Printers Object recognition Task analysis

来源：评论

学校读者我要写书评

暂无评论

Does code review really remove coding convention violations?

Does code review really remove coding convention violations?

引用

ieee International Workshop on source code analysis and manipulation

作者： DongGyun Han Chaiyong Ragkhitwetsagul Jens Krinke Matheus Paixao Giovanni Rosa Amazon Germany SERU Faculty of ICT Mahidol University Thailand University College London UK University of Fortaleza Brazil University of Molise Italy

ISBN: (数字)9781728192482

ISBN: (纸本)9781728192499

Many software developers perceive technical debt as the biggest problems in their projects. They also perceive code reviews as the most important process to increase code quality. As inconsistent coding style is one source of technical debt, it is no surprise that coding convention violations can lead to patch rejection during code review. However, as most research has focused on developer's perception, it is not clear whether code reviews actually prevent the introduction of coding convention violations and the corresponding technical ***, we investigated how coding convention violations are introduced, addressed, and removed during code review by developers. To do this, we analysed 16,442 code review requests from four projects of the Eclipse community for the introduction of convention violations. Our result shows that convention violations accumulate as code size increases despite changes being reviewed. We also manually investigated 1,268 code review requests in which convention violations disappear and observed that only a minority of them have been removed because a convention violation has been flagged in a review comment. The investigation results also highlight that one can speed up the code review process by adopting tools for code convention violation detection.

关键词： conferences Manuals Tools Inspection Encoding Software

来源：评论

学校读者我要写书评

暂无评论

MAF: A Framework for Modular Static analysis of Higher-Order Languages

MAF: A Framework for Modular Static Analysis of Higher-Order...

引用

ieee International Workshop on source code analysis and manipulation

作者： Noah Van Es Jens Van der Plas Quentin Stiévenart Coen De Roover Software Languages Lab Vrije Universiteit Brussel Belgium

ISBN: (数字)9781728192482

ISBN: (纸本)9781728192499

A modular static analysis decomposes a program's analysis into analyses of its parts, or components. An intercomponent analysis instructs an intra-component analysis to analyse each component independently of the others. Additional analyses are scheduled for newly discovered components, and for dependent components that need to account for newly discovered component information. Modular static analyses are scalable, can be tuned to a high precision, and support the analysis of programs that are highly dynamic, featuring e.g., higher-order functions or dynamically allocated *** this paper, we present the engineering aspects of MAF, a static analysis framework for implementing modular analyses for higher-order languages. For any such modular analysis, the framework provides a reusable inter-component analysis and it suffices to implement its intra-component analysis. The intracomponent analysis can be composed from several interdependent and reusable Scala traits. This design facilitates changing the analysed language, as well as the analysis precision with minimal effort. We illustrate the use of MAF through its instantiation for several different analyses of Scheme programs.

关键词： Visualization conferences Static analysis Debugging Dynamic scheduling Performance analysis Best practices

来源：评论

学校读者我要写书评

暂无评论

Who Does What? Work Division and Allocation Strategies of Computer Science Student Teams

Who Does What? Work Division and Allocation Strategies of Co...

引用

Software Engineering: Software Engineering Education and Training (ICSE-SEET), ieee/ACM International conference on

作者： Anna van der Meulen Efthimia Aivaloglou University of Leiden Leiden Netherlands Leiden Institute of Advanced Computer Science University of Leiden The Netherlands Open University of The Netherlands

ISBN: (纸本)9781665429726

Collaboration skills are important for future software engineers. In computer science education, these skills are of-ten practiced through group assignments, where students develop software collaboratively. The approach that students take in these assignments varies widely, but often involves a division of labour. It can then be argued whether collaboration still takes place. The discipline of computing education is especially interesting in this context, because some of its specific features (such as the variation in entry skill level and the use of source code repositories as collaboration platforms) are likely to influence the approach taken within groupwork. The aim of this research is to gain insight into the work division and allocation strategies applied by computer science students during group assignments. To this end, we interviewed twenty students of four universities. The thematic analysis shows that students tend to divide up the workload to enable working independently, with pair programming and code reviews being often employed. Motivated primarily by grade and efficiency factors, students choose and allocate tasks primarily based on their prior expertise and preferences. Based on our findings, we argue that the setup of group assignments can limit students' motivation for practicing new software engineering skills, and that interventions are needed towards encouraging experimentation and learning.

关键词： Training Collaboration Software Resource management Task analysis Programming profession Software engineering

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共96页 << < 26 27 28 29 30 31 32 33 34 35 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：