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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,793 篇 会议
4 篇 期刊文献

馆藏范围

1,797 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,243 篇 工学
- 1,179 篇 软件工程
- 929 篇 计算机科学与技术...
- 385 篇 电气工程
- 348 篇 控制科学与工程
- 34 篇 信息与通信工程
- 25 篇 生物工程
- 21 篇 生物医学工程（可授...
- 20 篇 机械工程
- 16 篇 安全科学与工程
- 14 篇 土木工程
- 13 篇 建筑学
- 12 篇 材料科学与工程（可...
- 9 篇 交通运输工程
- 8 篇 化学工程与技术
- 6 篇 力学（可授工学、理...
125 篇 管理学
- 93 篇 管理科学与工程(可...
- 42 篇 图书情报与档案管...
- 32 篇 工商管理
113 篇 理学
- 68 篇 数学
- 26 篇 生物学
- 22 篇 统计学（可授理学、...
- 16 篇 系统科学
- 8 篇 化学
- 7 篇 物理学
19 篇 法学
- 12 篇 社会学
- 8 篇 法学
13 篇 经济学
- 13 篇 应用经济学
11 篇 医学
- 9 篇 基础医学(可授医学...
- 9 篇 临床医学
7 篇 教育学
- 7 篇 教育学

主题

180 篇 software enginee...
117 篇 software testing
84 篇 software
60 篇 tools
47 篇 computer bugs
45 篇 software design
44 篇 testing
42 篇 java
38 篇 computer softwar...
38 篇 software mainten...
37 篇 semantics
36 篇 security
35 篇 open source soft...
32 篇 software archite...
31 篇 deep learning
31 篇 machine learning
30 篇 codes
28 篇 software systems
27 篇 static analysis
26 篇 software evoluti...

机构

33 篇 nanjing univ sta...
15 篇 state key labora...
12 篇 delft univ techn...
9 篇 college of intel...
8 篇 univ chinese aca...
8 篇 univ illinois ur...
8 篇 electrical and c...
8 篇 university of ch...
7 篇 singapore manage...
7 篇 nanyang technolo...
7 篇 school of softwa...
7 篇 school of comput...
7 篇 chinese acad sci...
7 篇 nanjing universi...
7 篇 microsoft resear...
7 篇 accenture labs
7 篇 institute of sof...
6 篇 accenture
6 篇 peking univ mini...
6 篇 department of co...

作者

17 篇 xie tao
15 篇 nguyen tien n.
14 篇 mei hong
12 篇 grundy john
12 篇 nguyen hoan anh
12 篇 yang liu
11 篇 hao dan
11 篇 nguyen tung than...
10 篇 zhang lu
10 篇 lo david
10 篇 michael r. lyu
10 篇 chen zhenyu
9 篇 nguyen hung viet
9 篇 egyed alexander
8 篇 poshyvanyk denys
8 篇 li xuandong
8 篇 vikrant kaulgud
8 篇 bavota gabriele
8 篇 wang haoyu
8 篇 cleland-huang ja...

语言

1,790 篇 英文
7 篇 其他

检索条件"任意字段=Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering"

共 1797 条记录，以下是91-100 订阅

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

详细简洁

排序：

CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities 34

CONVUL: An Effective Tool for Detecting Concurrency Vulnerab...

引用

34th ieee/acm international conference on automated software engineering (ASE)

作者： Meng, Ruijie Zhu, Biyun Yun, Hao Li, Haicheng Cai, Yan Yang, Zijiang Chinese Acad Sci Inst Software State Key Lab Comp Sci Beijing Peoples R China Univ Chinese Acad Sci Beijing Peoples R China GuardStrike Inc Beijing Peoples R China

ISBN: (纸本)9781728125084

Concurrency vulnerabilities are extremely harmful and can be frequently exploited to launch severe attacks. Due to the non-determinism of multithreaded executions, it is very difficult to detect them. Recently, data race detectors and techniques based on maximal casual model have been applied to detect concurrency vulnerabilities. However, the former are ineffective and the latter report many false negatives. In this paper, we present CoNVuL, an effective tool for concurrency vulnerability detection. CONVUL is based on exchangeable events, and adopts novel algorithms to detect three major kinds of concurrency vulnerabilities. In our experiments, CONVUL detected 9 of 10 known vulnerabilities, while other tools only detected at most 2 out of these 10 vulnerabilities. the 10 vulnerabilities are available at https://***/mryancai/ConVul.

关键词： Concurrency Vulnerabilities

来源：评论

学校读者我要写书评

暂无评论

CodeKernel: A Graph Kernel based Approach to the Selection of API Usage Examples 34

CodeKernel: A Graph Kernel based Approach to the Selection o...

引用

34th ieee/acm international conference on automated software engineering (ASE)

作者： Gu, Xiaodong Zhang, Hongyu Kim, Sunghun Hong Kong Univ Sci & Technol Hong Kong Peoples R China Univ Newcastle Callaghan NSW Australia NAVER Corp Clova AI Res Seongnam Si South Korea

ISBN: (纸本)9781728125084

Developers often want to find out how to use a certain API (e.g., *** in JDK library). API usage examples are very helpful in this regard. Over the years, many automated methods have been proposed to generate code examples by clustering and summarizing relevant code snippets extracted from a code corpus. these approaches simplify source code as method invocation sequences or feature vectors. Such simplifications only model partial aspects of the code and tend to yield inaccurate examples. We propose CodeKernel, a graph kernel based approach to the selection of API usage examples. Instead of approximating source code as method invocation sequences or feature vectors, CodeKernel represents source code as object usage graphs. then, it clusters graphs by embedding them into a continuous space using a graph kernel. Finally, it outputs code examples by selecting a representative graph from each cluster using designed ranking metrics. Our empirical evaluation shows that CodeKernel selects more accurate code examples than the related work (MUSE and EXOADOCS). A user study involving 25 developers in a multinational company also confirms the usefulness of CodeKernel in selecting API usage examples.

关键词： API usage example Code search Graph kernel software reuse

来源：评论

学校读者我要写书评

暂无评论

Semistructured Merge in JavaScript Systems 34

Semistructured Merge in JavaScript Systems

引用

34th ieee/acm international conference on automated software engineering (ASE)

作者： Tavares, Alberto Trindade Borba, Paulo Cavalcanti, Guilherme Soares, Sergio Univ Fed Pernambuco Recife PE Brazil

ISBN: (纸本)9781728125084

Industry widely uses unstructured merge tools that rely on textual analysis to detect and resolve conflicts between code contributions. Semistructured merge tools go further by partially exploring the syntactic structure of code artifacts, and, as a consequence, obtaining significant merge accuracy gains for Java-like languages. To understand whether semistructured merge and the observed gains generalize to other kinds of languages, we implement two semistructured merge tools for JavaScript, and compare them to an unstructured tool. We find that current semistructured merge algorithms and frameworks are not directly applicable for scripting languages like JavaScript. By adapting the algorithms, and studying 10,345 merge scenarios from 50 JavaScript projects on Github, we find evidence that our JavaScript tools report fewer spurious conflicts than unstructured merge, without compromising the correctness of the merging process. the gains, however, are much smaller than the ones observed for Java-like languages, suggesting that semistructured merge advantages might be limited for languages that allow both commutative and non-commutative declarations at the same syntactic level.

关键词： Collaborative development software merging Semistructured merge Version control systems JavaScript

来源：评论

学校读者我要写书评

暂无评论

Toward Evaluation of Deployment Architecture of ML-based Cyber-Physical Systems 34

Toward Evaluation of Deployment Architecture of ML-based Cyb...

引用

34th ieee/acm international conference on automated software engineering (ASE)

作者： Gisselaire, Lucas Cario, Florian Guerre-berthelot, Quentin Zigmann, Bastien du Bousquet, Lydie Nakamura, Masahide Univ Grenoble Alpes Grenoble INP CNRS LIG F-38000 Grenoble France Kobe Univ Riken AIP Nada Ku 1-1 Rokkodai Cho Kobe Hyogo 6578501 Japan 1-4-1 Nihon Bashi Chuo Ku Kobe Hyogo 6578501 Japan

ISBN: (纸本)9781728141367

In this position paper, we explore a way to assess deployment architectures for intelligent Cyber-Physical Systems (iCPS). Our long-term goal is to establish a method that allows a software architect of iCPS to choose an appropriate deployment architecture, based on requirements on quality, cost and security. As the first step towards the goal, this paper first presents an abstract model of iCPS to capture the possible deployment configurations. We then propose a method that assesses cost-related attributes for the configurations. Finally, we investigate security threats within different configurations, to help the engineer to achieve the configuration choice.

关键词： Assessment Model software engineering software Architecture Cyber-Physical Systems Machine Learning

来源：评论

学校读者我要写书评

暂无评论

SGUARD: A Feature-based Clustering Tool for Effective Spreadsheet Defect Detection 34

SGUARD: A Feature-based Clustering Tool for Effective Spread...

引用

34th ieee/acm international conference on automated software engineering (ASE)

作者： Li, Da Wang, Huiyan Xu, Chang Zhang, Ruiqing Cheung, Shing-Chi Ma, Xiaoxing Nanjing Univ State Key Lab Novel Software Tech Nanjing Peoples R China Nanjing Univ Dept Comp Sci & Tech Nanjing Peoples R China Microsoft Search Tech Ctr Asia Suzhou Peoples R China Hong Kong Univ Sci & Tech Dept Comp Sci & Engn Hong Kong Peoples R China

ISBN: (纸本)9781728125084

Spreadsheets are widely used but subject to various defects. In this paper, we present SGUARD to effectively detect spreadsheet defects. SGUARD learns spreadsheet features to cluster cells with similar computational semantics, and then refines these clusters to recognize anomalous cells as defects. SGUARD well balances the trade-off between the precision (87.8%) and recall rate (71.9%) in the defect detection, and achieves an F-measure of 0.79, exceeding existing spreadsheet defect detection techniques. We introduce the SGUARD implementation and its usage by a video presentation (https://***/gNPmMvQVf5Q), and provide its public download repository (https://***/sheetguard/sguard).

关键词： Cell clustering Defect detection

来源：评论

学校读者我要写书评

暂无评论

Accurate Modeling of Performance Histories for Evolving software Systems 34

Accurate Modeling of Performance Histories for Evolving Soft...

引用

34th ieee/acm international conference on automated software engineering (ASE)

作者： Muehlbauer, Stefan Apel, Sven Siegmund, Norbert Bauhaus Univ Weimar Weimar Germany Saarland Univ Saarbrucken Germany

ISBN: (纸本)9781728125084

Learning from the history of a software system's performance behavior does not only help discovering and locating performance bugs, but also identifying evolutionary performance patterns and general trends, such as when technical debt accumulates. Exhaustive regression testing is usually impractical, because rigorous performance benchmarking requires executing a realistic workload per revision, which results in large execution times. In this paper, we propose a novel active revision sampling approach, which aims at tracking and understanding a system's performance history by approximating the performance behavior of a software system across all of its revisions. In a nutshell, we iteratively sample and measure the performance of specific revisions that help us building an exact performance-evolution model, and we use Gaussian Process models to assess in which revision ranges our model is most uncertain with the goal to sample further revisions for measurement. We have conducted an empirical analysis of the evolutionary performance behavior modeled as a time series of the histories of six real-world software systems. Our evaluation demonstrates that Gaussian Process models are able to accurately estimate the performance-evolution history of real-world software systems with only few measurements and to reveal interesting behaviors and trends.

关键词： software evolution software performance Time series analysis

来源：评论

学校读者我要写书评

暂无评论

Framework for Trustworthy software Development 34

Framework for Trustworthy Software Development

引用

34th ieee/acm international conference on automated software engineering (ASE)

作者： Bose, R. P. Jagadeesh Chandra Singi, Kapil Kaulgud, Vikrant Phokela, Kanchanjot Kaur Podder, Sanjay Accenture Labs Bangalore Karnataka India

ISBN: (纸本)9781728141367

Intelligent software applications are becoming ubiquitous and pervasive affecting various aspects of our lives and livelihoods. At the same time, the risks to which these systems expose the organizations and end users are growing dramatically. Trustworthiness of software applications is becoming a paramount necessity. Trust is to be regarded as a first-class citizen in the total product life cycle and should be addressed across all stages of software development. Trust can be looked at from two facets: one at an algorithmic level (e.g., bias-free, discrimination-aware, explainable and interpretable techniques) and the other at a process level by making development processes more transparent, auditable, and adhering to regulations and best practices. In this paper, we address the latter and propose a blockchain enabled governance framework for building trustworthy software. Our framework supports the recording, monitoring, and analysis of various activities throughout the application development life cycle thereby bringing in transparency and auditability. It facilitates the specification of regulations and best practices and verifies for its adherence raising alerts of non-compliance and prescribes remedial measures.

关键词： trustworthy software provenance governance compliance smart advisors

来源：评论

学校读者我要写书评

暂无评论

Language Modularity with the MPS Language Workbench

Language Modularity with the MPS Language Workbench

引用

34th international conference on software engineering (ICSE)

作者： Voelter, Markus Pech, Vaclav Itemis/Voelter Ingenieurbuero fuer softwaretechnologie

ISBN: (纸本)9781467310673

JetBrains MPS is a comprehensive environment for language engineering. New languages can be defined as standalone languages or as modular extensions of existing languages. Since MPS is a projectional editor, syntactic forms other than text are possible, including tables or mathematical symbols. this demo will show MPS based on mbeddr C, a novel approach for embedded software development that makes use of incremental language extension on the basis of C.

关键词： language engineering language extension language composition

来源：评论

学校读者我要写书评

暂无评论

A Bidirectional Model-Driven Spreadsheet Environment

A Bidirectional Model-Driven Spreadsheet Environment

引用

34th international conference on software engineering (ICSE)

作者： Cunha, Jacome Fernandes, Joao Paulo Mendes, Jorge Saraiva, Joao HASLab INESC TEC & Universidade do Minho Portugal

ISBN: (纸本)9781467310673

In this extended abstract we present a bidirectional model-driven framework to develop spreadsheets. By being model driven, our approach allows to evolve a spreadsheet model and automatically have the data co-evolved. the bidirectional component achieves precisely the inverse, that is, to evolve the data and automatically obtain a new model to which the data conforms.

关键词： Model-driven engineering Bidirectional Transformations software Evolution Model Evolution Spreadsheets

来源：评论

学校读者我要写书评

暂无评论

Managing Evolution of software Product Line

Managing Evolution of Software Product Line

引用

34th international conference on software engineering (ICSE)

作者： thao, Cheng Univ Wisconsin Dept Elect Engn & Comp Sci Milwaukee WI 53201 USA

ISBN: (纸本)9781467310673

In software product line engineering, core assets are shared among multiple products. Core assets and products generally evolve independently. Developers need to capture evolution in both contexts and to propagate changes in both directions between the core assets and the products. We propose a version control system to support product line engineering by supporting the evolution of product line, product derivation, and change propagation from core assets to products and vice versa.

关键词： software product line engineering software product line evolution version control

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共180页 << < 6 7 8 9 10 11 12 13 14 15 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：