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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

121 篇 会议
62 篇 期刊文献
5 篇 学位论文

馆藏范围

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

日期分布

学科分类号

172 篇 工学
- 124 篇 计算机科学与技术...
- 95 篇 软件工程
- 49 篇 电气工程
- 20 篇 信息与通信工程
- 8 篇 控制科学与工程
- 4 篇 安全科学与工程
- 4 篇 网络空间安全
- 3 篇 交通运输工程
- 2 篇 建筑学
- 1 篇 力学（可授工学、理...
- 1 篇 机械工程
- 1 篇 材料科学与工程（可...
- 1 篇 动力工程及工程热...
- 1 篇 电子科学与技术（可...
- 1 篇 土木工程
- 1 篇 环境科学与工程（可...
- 1 篇 城乡规划学
11 篇 管理学
- 11 篇 管理科学与工程(可...
- 1 篇 工商管理
8 篇 理学
- 4 篇 数学
- 2 篇 系统科学
- 1 篇 物理学
- 1 篇 天文学
- 1 篇 地理学
- 1 篇 科学技术史(分学科...
1 篇 法学
- 1 篇 社会学
1 篇 教育学
- 1 篇 教育学

主题

188 篇 static code anal...
17 篇 security
14 篇 machine learning
12 篇 codes
11 篇 software quality
10 篇 vulnerabilities
10 篇 software metrics
9 篇 vulnerability de...
6 篇 natural language...
6 篇 software securit...
5 篇 deep learning
5 篇 program analysis
5 篇 dynamic code ana...
4 篇 compilers
4 篇 reliability
4 篇 software enginee...
4 篇 java
4 篇 optimization
4 篇 static analysis
4 篇 metrics

机构

4 篇 mta szte res grp...
4 篇 univ szeged dept...
3 篇 univ calif river...
3 篇 stottler henke a...
3 篇 johannes kepler ...
3 篇 univ goettingen ...
3 篇 tech univ munich...
2 篇 lebanese amer un...
2 篇 johannes kepler ...
2 篇 acronis scs scot...
2 篇 univ missouri co...
2 篇 ozyegin univ ist...
2 篇 univ baltimore s...
2 篇 software compete...
2 篇 air force res la...
2 篇 univ missouri sc...
2 篇 assiut universit...
2 篇 kth royal inst t...
2 篇 univ passau pass...
2 篇 vestel elect man...

作者

6 篇 ferenc rudolf
4 篇 linsbauer lukas
4 篇 gyimothy tibor
4 篇 trautsch alexand...
4 篇 toth zoltan
4 篇 vieira marco
3 篇 herbold steffen
3 篇 kumar vijay
3 篇 langweg hanno
3 篇 hegedus peter
3 篇 schuckert felix
3 篇 luo yu
3 篇 ladanyi gergely
3 篇 grabowski jens
3 篇 ludwig jeremy
3 篇 sozer hasan
3 篇 pereira jose d'a...
3 篇 praehofer herber...
3 篇 xu dianxiang
3 篇 xu weifeng

语言

186 篇 英文
1 篇 其他
1 篇 中文

检索条件"主题词=Static Code Analysis"

共 188 条记录，以下是141-150 订阅

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

详细简洁

排序：

RbG: A Documentation Generator for Scientific and Engineering Software 22

RbG: A Documentation Generator for Scientific and Engineerin...

引用

International Conference on Software analysis, Evolution, and Reengineering (SANER)

作者： Moser, Michael Pichler, Josef Fleck, Guenther Witlatschil, Michael Software Competence Ctr Hagenberg Software Analyt & Evolut A-4232 Hagenberg Austria Siemens Transformers Austria A-8160 Weiz Austria

ISBN: (纸本)9781479984695

This paper demonstrates RbG, a new tool intended for the generation of high-quality documentation from source code of scientific and engineering applications. RbG extracts mathematical formulae and decision tables from program statements by means of static code analysis and generates corresponding documentation in the Open Document Format or LaTeX. Annotations in source code comments are used to define the structure of the generated documents, include additional textual and graphical descriptions, and control extraction of formulae on a fine-grained level. Furthermore, RbG provides an interpreter to generate function plots for extracted formulae. In this tool demonstration we briefly introduce the tool and show its usage for different scenarios such as reverse engineering and re-documentation of legacy code and documentation generation during development and maintenance of software.

关键词： engineering software Documentation static code analysis Source code Mathematical Formulas formula interpreters Reverse engineering abnormal statement Generator dynamos

来源：评论

学校读者我要写书评

暂无评论

PInT: Pattern Instrumentation Tool for Analyzing and Classifying HPC Applications 5

PInT: Pattern Instrumentation Tool for Analyzing and Classif...

引用

IEEE/ACM 5th Workshop on the LLVM Compiler Infrastructure in HPC (LLVM-HPC)

作者： Schlebusch, Fabian Mueller, Yannik Wienke, Sandra Miller, Julian Mueller, Matthias S. Rhein Westfal TH Aachen IT Ctr Chair High Performance Comp Aachen Germany

ISBN: (纸本)9781728101880

The relationship of application performance to its required development effort plays an important role in today's budget-oriented HPC environment. This effort-performance relationship is especially affected by the structure and characterization of an HPC application. We aim at a classification of HPC applications using (design) patterns for parallel programming. For an efficient analysis of parallel patterns and applicable pattern definitions, we introduce our tool PInT that is based on source code instrumentation and Clang LibTooling. Furthermore, we propose metrics to examine occurrences and compositions of patterns that can be automatically evaluated by PInT. In two case studies, we show the applicability and functionality of PInT.

关键词： Parallel Pattern Design Pattern Pattern analysis Application Classification LLVM Clang LibTooling Abstract Syntax Tree static code analysis Source code Instrumentation Development Effort High-Performance Computing

来源：评论

学校读者我要写书评

暂无评论

CBR Insight: Measure and Visualize Source code Quality 2

CBR Insight: Measure and Visualize Source Code Quality

引用

2nd IEEE/ACM International Conference on Technical Debt (TechDebt)

作者： Ludwig, Jeremy Cline, Devin Stottler Henke Associates Inc San Mateo CA 94402 USA

ISBN: (纸本)9781728133713

A critical aspect of software development is creating high-quality source code that is reliable, maintainable, and has limited technical debt. Software development teams generally employ a variety of design techniques, processes, and tools to continually work towards quality code while balancing the overall time and budget demands of the project. The goal of CBR Insight (CBRI) is to provide an objective and understandable measure of software quality that can help guide decisions and direct limited resources during software acquisition, development, and sustainment. CBRI supports the ability of technical and nontechnical decision makers to verify that a project's software implementation follows through on promises around developing and sustaining reliable and maintainable software while managing technical debt.

关键词： Software product quality technical debt reliability maintainability architecture metrics static code analysis

来源：评论

学校读者我要写书评

暂无评论

Automated Feedback to Students in Data Science Assignments: Improved Implementation and Results 21

Automated Feedback to Students in Data Science Assignments: ...

引用

14th Biannual Conference of the Italian-SIGCHI-Chapter (CHIItaly)

作者： Galassi, Alessandra Vittorini, Pierpaolo Univ Aquila Dept Life Hlth & Environm Sci Laquila AQ Italy

ISBN: (纸本)9781450389778

The automated grading of assignments is a long discussed topic in the field of technology-enhanced learning. In such a large research area, the authors focused on the automated grading of assignments made up of a mix of commands (in R language), their output and comments (in natural language). In particular, the paper discusses several improvements on the automated feedback generated by a tool developed at the University of L'Aquila, to support the students during their study of the subject. The goals of the research are the implementation of a feedback that gives an explanation of the automated grading, also providing students with the causes of the mistakes and suggestions on how to correct them. Accordingly, we designed and developed an automated feedback, used by students during the current academic year to support their homework. We then collected the students' opinions through both standardised and ad-hoc questionnaires, so to evaluate the effectiveness of our proposal and identify the aspects to improve. The results highlight an increased engagement while performing the assessment, the usefulness of the feedback, as well as where the explanation was clear and where improvements are needed.

关键词： Technology-enhanced learning automated feedback automated grading static code analysis

来源：评论

学校读者我要写书评

暂无评论

Goal-Lever-Indicator-Principle to Derive Recommendations for Improving IEC 61131-3 Control Software

Goal-Lever-Indicator-Principle to Derive Recommendations for...

引用

IEEE International Conference on Industrial Engineering and Engineering Management (IEEM)

作者： Vogel-Heuser, B. Fischer, J. Neumann, E-M Tech Univ Munich Inst Automat & Informat Syst Munich Germany

ISBN: (纸本)9781538672204

In the domain of automated Production Systems (aPS), control software implements an increasing amount of functionality. Thus, its importance is steadily growing and the reuse of high-quality software solutions becomes more and more essential to compete in the global market. For this purpose, the use of modular design principles has been identified as a success factor for the planned reused of software parts. To assess and improve the modularity of existing control software solutions, software quality measures are adopted from computer science for their use in the aPS domain, e.g., static code analysis and software metrics. However, domain experts lack experience in applying these measures target-oriented and in understanding as well as interpreting the analysis results, which is mandatory for the measures' successful application. To bridge this gap, this paper introduces the Goal-Lever-Indicator-Principle to support experts in understanding analysis results by presenting concrete recommendations for actions derived from them. The approach is demonstrated with an industrial use case.

关键词： automated production systems IEC 61131-3 control software software architecture software quality measures static code analysis

来源：评论

学校读者我要写书评

暂无评论

On the Use of FCA Models in static analysis Tools to Detect Common Errors in Programming 26th

On the Use of FCA Models in Static Analysis Tools to Detect ...

引用

26th International Conference on Conceptual Structures (ICCS)

作者： Cristea, Diana Sotropa, Diana Molnar, Arthur-Jozsef Motogna, Simona Babes Bolyai Univ Cluj Napoca Romania

ISBN: (纸本)9783030869823;9783030869816

static code analysis is widely used to detect code quality issues before execution. Thus, it can provide information that is important for improving programming skills. Such tools have been successfully used in teaching programming courses. In this paper we present algorithms for combining Formal Concept analysis (FCA) with Pylint, a static code analysis tool, in order to detect and assess behavioral patterns in students' programming styles. We design a generalized framework that can be subsequently used to analyze any category/subset of errors. We apply the approach for detecting common errors related to design by considering two scenarios that tackle object oriented design and increased code complexity. We argue how the results can be used to understand common mistakes and to improve the teaching content and methods.

关键词： Formal concept analysis static code analysis Computer science education

来源：评论

学校读者我要写书评

暂无评论

A Comparative Study of Smartphone and Smartwatch Apps 21

A Comparative Study of Smartphone and Smartwatch Apps

引用

36th Annual ACM Symposium on Applied Computing (SAC)

作者： Chen, Xiao Chen, Wanli Liu, Kui Chen, Chunyang Li, Li Monash Univ Fac Informat Technol Clayton Vic Australia Nanjing Univ Aeronaut & Astronaut Coll Comp Sci & Technol Nanjing Peoples R China

ISBN: (纸本)9781450381048

Despite that our community has spent numerous efforts on analyzing mobile apps, there is no study proposed for characterizing the relationship between smartphone and smartwatch apps. To fill this gap, we present to the community a comparative study of smartphone and smartwatch apps, aiming at understanding the status quo of cross-phone/watch apps. Specifically, in this work, we first collect a set of cross-phone/watch app pairs and then experimentally look into them to explore their similarities or dissimilarities from different perspectives. Experimental results show that (1) Approximately, up to 40% of resource files, 30% of code methods are reused between smartphone/watch app pairs, (2) Smartphone apps may require more than twice as many as permissions and adopt more than five times as many as user interactions than their watch counterparts, and (3) Smartwatch apps can be released as either standalone (can be run independently) or companion versions (i.e., have to co-work with their smartphone counterparts), for which the former type of apps tends to require more permissions and reuse more code, involve more user interactions than the latter type. Our findings can help developers and researchers understand the ecosystem of smartwatch apps and further gain insight into migrating smartphone apps for smartwatches.

关键词： Android smartwatch mobile software engineering static code analysis

来源：评论

学校读者我要写书评

暂无评论

Bugram: Bug Detection with N-gram Language Models 16

Bugram: Bug Detection with N-gram Language Models

引用

31st IEEE/ACM International Conference on Automated Software Engineering (ASE)

作者： Wang, Song Chollak, Devin Movshovitz-Attias, Dana Tan, Lin Univ Waterloo Elect & Comp Engn Waterloo ON N2L 3G1 Canada Carnegie Mellon Univ Dept Comp Sci Pittsburgh PA 15213 USA

ISBN: (纸本)9781450338455

To improve software reliability, many rule-based techniques have been proposed to infer programming rules and detect violations of these rules as bugs. These rule-based approaches often rely on the highly frequent appearances of certain patterns in a project to infer rules. It is known that if a pattern does not appear frequently enough, rules are not learned, thus missing many bugs. In this paper, we propose a new approach-Bugram-that leverages n-gram language models instead of rules to detect bugs. Bugram models program tokens sequentially, using the n-gram language model. Token sequences from the program are then assessed according to their probability in the learned model, and low probability sequences are marked as potential bugs. The assumption is that low probability token sequences in a program are unusual, which may indicate bugs, bad practices, or unusual/special uses of code of which developers may want to be aware. We evaluate Bugram in two ways. First, we apply Bugram on the latest versions of 16 open source Java projects. Results show that Bugram detects 59 bugs, 42 of which are manually verified as correct, 25 of which are true bugs and 17 are code snippets that should be refactored. Among the 25 true bugs, 23 cannot be detected by PR-Miner. We have reported these bugs to developers, 7 of which have already been confirmed by developers ( 4 of them have already been fixed), while the rest await confirmation. Second, we further compare Bugram with three additional graph-and rule-based bug detection tools, i.e., JADET, Tikanga, and GrouMiner. We apply Bugram on 14 Java projects evaluated in these three studies. Bugram detects 21 true bugs, at least 10 of which cannot be detected by these three tools. Our results suggest that Bugram is complementary to existing rule-based bug detection approaches.

关键词： Bug Detection static code analysis N-gram Language Model

来源：评论

学校读者我要写书评

暂无评论

Evaluating code Improvements in Software Quality Course Projects 22

Evaluating Code Improvements in Software Quality Course Proj...

引用

26th ACM International Conference on Evaluation and Assessment in Software Engineering, EASE 2022

作者： Chren, Stanislav Macák, Martin Rossi, Bruno Buhnova, Barbora Masaryk University Faculty of Informatics Czech Republic

ISBN: (纸本)9781450396134

Software quality sits at the core of software engineering as a discipline. Yet, although each university software-engineering and the software-development course covers software quality to some extent, practitioners still lament on graduates' readiness for practise for this very reason - poor quality of their code. As a result, we have engaged university industrial partners in designing a master-degree Software Quality course that puts the key software quality topics in one place. In this paper, we report on the effects of the course on the quality of students' coding projects. To this end, we have analysed a total of 54 project submissions from 27 students, with both manual and automated quality assessment methods. We have employed 30 manual and 22 automated quality characteristics related to coding style, architecture design and general development practices. In particular, we examine which characteristics of the code have improved the most and what were the most common issues. Additionally, we investigate how the code quality improvement is related to external aspects such as students' prior coding experience, interest and their time spent on the assignments. We use the results to formulate a set of lessons learned in order to improve the design of the course and to inspire educators who consider introducing a similar type of course. © 2022 ACM.

关键词： static code analysis Software Engineering Qualitative analysis Software Quality Software Engineering Education

来源：评论

学校读者我要写书评

暂无评论

Optimization of Resource Allocation for Detection of Software Architectural Defects 18

Optimization of Resource Allocation for Detection of Softwar...

引用

18th INDIAcom;11th International Conference on Computing for Sustainable Global Development, INDIACom 2024

作者： Tandon, Stuti Kumar, Vijay Singh, V.B. Amity University Amity Institute of Information Technology Uttar Pradesh Noida India Amity University Amity Institute of Applied Sciences Department of Mathematics Uttar Pradesh Noida India Jawaharlal Nehru University School of Computer and Systems Sciences New Delhi India

ISBN: (纸本)9789380544519

Software defects which bring about depreciation in quality of software without alteration in the working of the software are known as 'code smells'. The serious outcomes of these flaws motivated researchers to study code smells with the objective of optimization of the resources. We aim to conduct this study on architectural category of the code smells. This category is claimed to have the potential of critically hampering the quality of the code. The aim of the study is to investigate the efforts made by the development team in resolving the architectural issues of the software. Here, we propose a mathematical model in order to help the software managers, to optimize their resource allocation. Since architectural category of code smell is claimed by many researchers to be the most crucial one, hence implementation of this study is considered to increase the profit margins by increasing the efficiency of the software. The proposed model is driven by the real time dataset targeting the architectural category of smells. This study may benefit corporate firms which many a time struggle to optimize the resource allocation on several projects. © 2024 Bharati Vidyapeeth, New Delhi.

关键词： Architectural code smells Architectural Smells Mathematical Modelling Optimization Resource Allocation static code analysis

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共19页 << < 10 11 12 13 14 15 16 17 18 19 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：