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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

452 篇 会议
232 册 图书
205 篇 期刊文献
22 篇 学位论文
3 件 标准

馆藏范围

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

日期分布

学科分类号

621 篇 工学
- 404 篇 计算机科学与技术...
- 280 篇 软件工程
- 181 篇 电气工程
- 40 篇 生物工程
- 39 篇 信息与通信工程
- 36 篇 机械工程
- 32 篇 控制科学与工程
- 14 篇 电子科学与技术（可...
- 8 篇 仪器科学与技术
- 8 篇 材料科学与工程（可...
- 6 篇 网络空间安全
- 5 篇 交通运输工程
- 3 篇 航空宇航科学与技...
74 篇 理学
- 42 篇 生物学
- 9 篇 系统科学
- 7 篇 地球物理学
- 6 篇 数学
- 5 篇 物理学
- 4 篇 化学
- 4 篇 科学技术史(分学科...
41 篇 农学
- 40 篇 作物学
38 篇 管理学
- 35 篇 管理科学与工程(可...
- 3 篇 工商管理
18 篇 教育学
- 16 篇 教育学
7 篇 法学
- 4 篇 社会学
- 2 篇 政治学
7 篇 医学
- 4 篇 临床医学
4 篇 文学
- 3 篇 新闻传播学
4 篇 历史学
- 3 篇 考古学
2 篇 经济学
- 2 篇 应用经济学
2 篇 军事学
1 篇 哲学
1 篇 艺术学

主题

914 篇 source code
146 篇 program
135 篇 software
89 篇 disk
83 篇 data
70 篇 code
62 篇 hard disk
61 篇 computer softwar...
58 篇 file
49 篇 ibm
45 篇 turbo pascal
44 篇 power supply
42 篇 codes
42 篇 operating system
39 篇 programming
35 篇 turbo
34 篇 source
34 篇 disk drive
34 篇 magazine
33 篇 deep learning

机构

8 篇 inria
8 篇 brno university ...
5 篇 univ trento tren...
4 篇 hebei univ sch c...
4 篇 charles universi...
4 篇 inria rmod team ...
4 篇 univ paris
3 篇 osaka univ grad ...
3 篇 innopolis univ i...
3 篇 budapest univ te...
3 篇 duke nus med sch...
3 篇 delft univ techn...
3 篇 free univ tbilis...
3 篇 heidelberg univ ...
3 篇 univ zurich dept...
2 篇 univ waterloo wa...
2 篇 mit lincoln lab ...
2 篇 yangzhou univ sc...
2 篇 univ texas san a...
2 篇 hong kong polyte...

作者

11 篇 zacchiroli stefa...
7 篇 sharif bonita
6 篇 li zhen
6 篇 inoue katsuro
5 篇 peterson cole s.
5 篇 gupta atul
5 篇 ducasse stephane
5 篇 haiduc sonia
5 篇 rai sawan
4 篇 yu willie
4 篇 huebner paul
4 篇 lanza michele
4 篇 paech barbara
4 篇 belwal ramesh ch...
4 篇 ali nasir
4 篇 gueheneuc yann-g...
4 篇 marchetto alessa...
4 篇 anquetil nicolas
4 篇 pietri antoine
4 篇 kakushadze zura

语言

895 篇 英文
11 篇 中文
6 篇 其他
1 篇 德文
1 篇 塞尔维亚文

检索条件"主题词=Source code"

共 914 条记录，以下是71-80 订阅

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

详细简洁

排序：

Identifying source code Reuse across Repositories using LCS-based source code Similarity 14

Identifying Source Code Reuse across Repositories using LCS-...

引用

14th IEEE International Working Conference on source code Analysis and Manipulation (SCAM)

作者： Kawamitsu, Naohiro Ishio, Takashi Kanda, Tetsuya Kula, Raula Gaikovina De Roover, Coen Inoue, Katsuro Osaka Univ Grad Sch Informat Sci & Technol Suita Osaka 5650871 Japan Vrije Univ Brussel Software Languages Lab B-1050 Brussels Belgium

ISBN: (纸本)9780769553047

Developers often reuse source files developed for another project. In order to update a reused file to a newer version released by the original project, developers have to track which revision of a file was reused and how its content was modified. However, such tracking is tedious for developers. Many projects keep older versions of files whose bugs are already fixed in the original project. In this paper, we propose a technique to automatically identify source code reuse relationships between two repositories. Using a similarity metric based on longest common subsequence, we identify pairs of similar revisions of files across the repositories. To evaluate our approach, we have analyzed eight project pairs of open source software projects and compared the result with the recorded information in the repositories. As a result, we have identified 1394 file revisions as instances of source code reuse. While 75.3% of the instances are recorded in the repositories, 20.1% of the instances are unrecorded but recovered by our approach.

关键词： public domain software software metrics software reusability source code (software) LCS-based source code similarity automatic source code reuse relationship identification longest common subsequence open source software projects pair identification similarity metric source file reuse Educational institutions History Libraries Measurement Particle separators Software White spaces empirical study software reuse source code similarity version control system Software reuse open source software WAREHOUSE White spaces Software measurement Educational institutions source code Particle separators Libraries computer software Reuse reuse DEVELOPERS Developers

来源：评论

学校读者我要写书评

暂无评论

Building Domain Specific Dictionaries of Verb-Object Relation from source code

Building Domain Specific Dictionaries of Verb-Object Relatio...

引用

15th European Conference on Software Maintenance and Reengineering (CSMR)/International Workshop on System Quality and Maintainability (SQM)/International Workshop on Model-Driven Software Migration (MSDM)

作者： Hayase, Yasuhiro Kashima, Yu Manabe, Yuki Inoue, Katsuro Toyo Univ Fac Informat Sci & Arts Kawagoe Saitama Japan Osaka Univ Grad Sch Informat Sci & Technol Suita Osaka 565 Japan

ISBN: (纸本)9780769543437

An identifier is an important key in mapping program elements onto domain knowledge for the purpose of program comprehension. Therefore, if identifiers in a program have inappropriate names, developers can waste a lot of time trying to understand the program. This paper proposes a method for extracting and gathering verb-object (V-O) relations, as good examples of naming, from source code written in an object-oriented programming language. For each of several application domains, dictionaries containing the V-O relations are built and evaluated by software developers. The evaluation results confirm that the relations in the dictionaries are adequate in many cases.

关键词： naming convention program comprehension programmer's lexicon Reverse engineering Dictionaries as Topic source code Object oriented programming languages domain knowledge DEVELOPERS Developers

来源：评论

学校读者我要写书评

暂无评论

Application of Information Retrieval Techniques for source code Authorship Attribution

Application of Information Retrieval Techniques for Source C...

引用

14th International Conference on Database Systems for Advanced Applications

作者： Burrows, Steven Uitdenbogerd, Alexandra L. Turpin, Andrew RMIT Univ Sch Comp Sci & Informat Technol Melbourne Vic 3001 Australia

ISBN: (纸本)9783642008863

Authorship attribution assigns works of contentions authorship to their rightful owners solving cases of theft, plagiarism and authorship disputes in academia and industry. In this paper we investigate the application of information retrieval techniques to attribution of authorship of C source code. In particular, we explore novel methods for converting C code into documents suitable for retrieval systems, experimenting with 1,597 student programming assignments. We investigate several possible program derivations, partition attribution results by original program length to measure effectiveness of modest and lengthy programs separately, and evaluate three different methods for interpreting document rankings as authorship attribution. The best of our methods achieves an average of 76.78% classification accuracy for a one-in-ten classification problem which is competitive against six existing baselines. The techniques that we present can be the basis of practical software to support source code authorship investigations.

关键词： Adversarial information retrieval authorship attribution source code

来源：评论

学校读者我要写书评

暂无评论

Computationally Sound Verification of source code 10

Computationally Sound Verification of Source Code

引用

17th ACM Conference on Computer and Communications Security (CCS)

作者： Backes, Michael Maffei, Matteo Unruh, Dominique Univ Saarland MPI SWS D-66123 Saarbrucken Germany Univ Saarland D-66123 Saarbrucken Germany

ISBN: (纸本)9781450302449

Increasing attention has recently been given to the formal verification of the source code of cryptographic protocols. The standard approach is to use symbolic abstractions of cryptography that make the analysis amenable to automation. This leaves the possibility of attacks that exploit the mathematical properties of the cryptographic algorithms themselves. In this paper, we show how to conduct the protocol analysis on the source code level (F# in our case) in a computationally sound way, i.e., taking into account cryptographic security definitions. We build upon the prominent F7 verification framework (Bengtson et al., CSF 2008) which comprises a security type-checker for F# protocol implementations using symbolic idealizations and the concurrent lambda calculus RCF to model a core fragment of F#. To leverage this prior work, we give conditions under which symbolic security of RCF programs using cryptographic idealizations implies computational security of the same programs using cryptographic algorithms. Combined with F7, this yields a computationally sound, automated verification of F# code containing public-key encryptions and signatures. For the actual computational soundness proof, we use the CoSP framework (Backes, Hofheinz, and Unruh, CCS 2009). We thus inherit the modularity of CoSP, which allows for easily extending our proof to other cryptographic primitives.

关键词： Computational soundness verification source code

来源：评论

学校读者我要写书评

暂无评论

An Assessment of Vulnerable Detection source code Tools 50th

An Assessment of Vulnerable Detection Source Code Tools

引用

50th Annual Convention of the Computer-Society-of-India (CSI) on Digital Life

作者： Verma, Anoop Kumar Sharma, Aman Kumar Himachal Pradesh Univ Dept Comp Sci Shimla India

ISBN: (纸本)9789811088483;9789811088476

The commonly used programming language includes C and C++ for the software development and even introduced as a course contents in computer applications in number of institutions. As software development proceeds through various phases of system development life cycle, the design phase and coding phase have the greatest impact of the rest of phases, so every software development should have a good user interface and database design including writing a source code in order to make user interface active.

关键词： Vulnerabilities Software development source code Static source code analysis Software tools

来源：评论

学校读者我要写书评

暂无评论

Authorship analysis of the Zeus botnet source code 5

Authorship analysis of the Zeus botnet source code

引用

5th Cybercrime and Trustworthy Computing Conference CTC

作者： Layton, Robert Azab, Ahmad Federat Univ Internet Commerce Secur Lab Mt Helen Vic 3350 Australia

ISBN: (纸本)9781479988259

Authorship analysis has been used successfully to analyse the provenance of source code files in previous studies. The source code for Zeus, one of the most damaging and effective botnets to date, was leaked in 2011. In this research, we analyse the source code from the lens of authorship clustering, aiming to estimate how many people wrote this malware, and what their roles are. The research provides insight into the structure the went into creating Zeus and its evolution over time. The work has potential to be used to link the malware with other malware written by the same authors, helping investigations, classification, deterrence and detection.

关键词： authorship analysis malware attribution zeus botnet source code Spyware Authorship Botnet lens Lenses provenance

来源：评论

学校读者我要写书评

暂无评论

Automated Change Propagation from source code to Sequence Diagrams 44th

Automated Change Propagation from Source Code to Sequence Di...

引用

44th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM)

作者： Rastocny, Karol Mlyncar, Andrej Slovak Univ Technol Bratislava Fac Informat & Informat Technol Ilkovieova 2 Bratislava 84216 Slovakia

ISBN: (纸本)9783319731179;9783319731162

Sequence diagrams belong to three most frequently used UML diagrams and they are often an integral part of a software design. Designers utilize sequence diagrams to define and visualize designed software's behavior. But during software development and maintenance, multiple vendor's changes are implemented into a source code. These changes lead to inconsistencies between a software model and the source code, that are omitted due to lack of time. This paper is focused on problems with automated source code changes propagation into UML sequence diagrams. In the paper, we propose the architecture for synchronization of outdated designers' sequence diagrams with current software behavior implemented in a source code. The proposed architecture is focused on updating and not on regenerating sequence diagrams, what helps designers to understand modified behavior and changes provided in it. We evaluated the proposed architecture via implemented extension for Eclipse Papyrus, which analyzes differences between sequence diagrams and source code model, and based on developers' styles, it propagates differences to sequence diagrams.

关键词： UML Sequence diagram source code Change propagation

来源：评论

学校读者我要写书评

暂无评论

Do Bugs Lead to Unnaturalness of source code? 2022

Do Bugs Lead to Unnaturalness of Source Code?

引用

30th ACM Joint European Software Engineering Conference / Symposium on the Foundations of Software Engineering (ESEC/FSE)

作者： Jiang, Yanjie Liu, Hui Zhang, Yuxia Ji, Weixing Zhong, Hao Zhang, Lu Beijing Inst Technol Sch Comp Sci & Technol Beijing Peoples R China Shanghai Jiao Tong Univ Shanghai Peoples R China Peking Univ Key Lab High Confidence Software Technol Beijing Peoples R China

ISBN: (纸本)9781450394130

Texts in natural languages are highly repetitive and predictable because of the naturalness of natural languages. Recent research validated that source code in programming languages is also repetitive and predictable, and naturalness is an inherent property of source code. It was also reported that buggy code is significantly less natural than bug-free one, and bug fixing substantially improves the naturalness of the involved source code. In this paper, we revisit the naturalness of buggy code and investigate the effect of bug-fixing on the naturalness of source code. Different from the existing investigation, we leverage two large-scale and high-quality bug repositories where bug-irrelevant changes in bug-fixing commits have been explicitly excluded. Our evaluation results confirm that buggy lines are often less natural than bug-free ones. However, fixing bugs could not significantly improve the naturalness of involved code lines. Fixed lines on average are as unnatural as buggy ones. Consequently, bugs are not the root cause of the unnaturalness of source code, and it could be inaccurate to identify buggy code lines solely by the naturalness of source code. Our evaluation results suggest that the naturalness-based buggy line detection results in extremely low precision (less than one percentage).

关键词： code Entropy Bugs source code Bug Fixing Naturalness

来源：评论

学校读者我要写书评

暂无评论

A Convolutional Neural Network for Language-Agnostic source code Summarization 14

A Convolutional Neural Network for Language-Agnostic Source ...

引用

14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)

作者： Moore, Jessica Ben Gelman Slater, David Two Six Labs Machine Learning Grp Arlington VA 22203 USA

ISBN: (纸本)9789897583759

Descriptive comments play a crucial role in the software engineering process. They decrease development time, enable better bug detection, and facilitate the reuse of previously written code. However, comments are commonly the last of a software developer's priorities and are thus either insufficient or missing entirely. Automatic source code summarization may therefore have the ability to significantly improve the software development process. We introduce a novel encoder-decoder model that summarizes source code, effectively writing a comment to describe the code's functionality. We make two primary innovations beyond current source code summarization models. First, our encoder is fully language-agnostic and requires no complex input preprocessing. Second, our decoder has an open vocabulary, enabling it to predict any word, even ones not seen in training. We demonstrate results comparable to state-of-the-art methods on a single-language data set and provide the first results on a data set consisting of multiple programming languages.

关键词： Natural Language Processing Deep Learning source code Crowdsourcing Automatic Documentation

来源：评论

学校读者我要写书评

暂无评论

Automatic Translation from Pseudocode to source code: A Conceptual-Metamodel Approach

Automatic Translation from Pseudocode to Source Code: A Conc...

引用

IEEE International Conference on Cybernetics and Computational Intelligence (IEEE CyberneticsCom)

作者： Dirgahayu, Teduh Huda, Sheila Nurul Zukhri, Zainudin Ratnasari, Chanifah Indah Univ Islam Indonesia Dept Informat Yogyakarta Indonesia

ISBN: (纸本)9781538607831

Pseudocode is commonly used to teach algorithms for computer science students in an introductory programming course. When an automatic translation tool is available, students can translate their pseudocode to source code and then execute the resulted source code to check whether their algorithm is correct. However, a large number of translation tools are needed to accomodate courses in different situations: (i) different natural languages to define pseudocode, (ii) different programming languages to implement pseudocode, and (iii) different templates to write pseudocode. Developing many tools from scratch requires large effort. This paper presents an approach for developing many translation tools in an efficient way. The approach uses an intermediate model to decouple pseudocode translation from source code translation. The approach is based on a conceptual metamodel that has to be realised by pseudocode and intermediate models. This approach allows the development of translation tools by reusing parts of already-developed translation tools.

关键词： Automatic translation conceptual metamodel pseudocode source code

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共92页 << < 4 5 6 7 8 9 10 11 12 13 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：