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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

8,458 篇 会议
184 篇 期刊文献
47 册 图书

馆藏范围

8,689 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

4,727 篇 工学
- 3,142 篇 软件工程
- 2,636 篇 计算机科学与技术...
- 1,125 篇 电气工程
- 477 篇 信息与通信工程
- 407 篇 电子科学与技术（可...
- 335 篇 控制科学与工程
- 333 篇 机械工程
- 279 篇 动力工程及工程热...
- 207 篇 材料科学与工程（可...
- 204 篇 土木工程
- 192 篇 化学工程与技术
- 189 篇 建筑学
- 154 篇 仪器科学与技术
- 117 篇 安全科学与工程
- 116 篇 力学（可授工学、理...
- 109 篇 石油与天然气工程
- 108 篇 生物工程
- 89 篇 交通运输工程
- 81 篇 生物医学工程（可授...
1,272 篇 理学
- 755 篇 数学
- 358 篇 物理学
- 159 篇 统计学（可授理学、...
- 141 篇 化学
- 121 篇 生物学
- 109 篇 系统科学
880 篇 管理学
- 537 篇 管理科学与工程(可...
- 394 篇 图书情报与档案管...
- 288 篇 工商管理
187 篇 教育学
- 185 篇 教育学
116 篇 经济学
- 115 篇 应用经济学
86 篇 医学
80 篇 法学
48 篇 农学
23 篇 艺术学
18 篇 文学
13 篇 军事学

主题

953 篇 software enginee...
539 篇 application soft...
520 篇 software
449 篇 computer science
333 篇 programming
306 篇 computer archite...
303 篇 software systems
217 篇 hardware
214 篇 data mining
208 篇 software testing
179 篇 costs
173 篇 java
170 篇 computational mo...
156 篇 object oriented ...
152 篇 software algorit...
149 篇 software quality
146 篇 knowledge engine...
137 篇 software archite...
127 篇 prototypes
125 篇 educational inst...

机构

35 篇 nanjing univ sta...
30 篇 school of engine...
28 篇 school of comput...
24 篇 state key labora...
21 篇 school of inform...
21 篇 school of electr...
20 篇 school of comput...
19 篇 shanghai key lab...
19 篇 department of co...
17 篇 school of electr...
16 篇 nanjing univ dep...
15 篇 department of el...
14 篇 software enginee...
13 篇 nanjing univ sof...
13 篇 univ chinese aca...
13 篇 east china norma...
13 篇 school of comput...
13 篇 school of softwa...
13 篇 chinese acad sci...
12 篇 department of el...

作者

18 篇 wang wei
15 篇 ma xiaoxing
15 篇 lu jian
15 篇 xu chang
15 篇 lichter horst
14 篇 v. thiruchelvam
14 篇 yoshiki higo
14 篇 shinji kusumoto
13 篇 t. katayama
13 篇 doo-hwan bae
12 篇 shaoying liu
12 篇 shen beijun
12 篇 hironori washiza...
12 篇 m. saeki
12 篇 cao chun
12 篇 du xiaoyong
11 篇 chookaew sasitho...
11 篇 liu jing
11 篇 k. ushijima
11 篇 bae doo-hwan

语言

8,604 篇 英文
55 篇 中文
31 篇 其他

检索条件"任意字段=Pacific-Asia Conference on Knowledge Engineering and Software Engineering"

共 8689 条记录，以下是461-470 订阅

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

详细简洁

排序：

e-Science experiences: software engineering practice and the EU DataGrid 9

e-Science experiences: Software engineering practice and the...

引用

9th asia/pacific software engineering conference (APSEC 2002)

作者： Momtahan, L Martin, A Univ Oxford Comp Lab Oxford OX1 2JD England

ISBN: (纸本)0769518508

The conduct of collaborative scientific study mediated by the internet - e-Science - is giving rise to a new type of large distributed software project. This paper reports initial experiences of one such project: the European DataGrid. We record some observations about the intended lifecycle and process, compared with actual practice. The paper explores the applicability of current software development practices from the academic, commercial, and open source sectors in the context of such Grid projects.

关键词： Collaborative software Context modeling Distributed computing Energy management Grid computing High energy physics instrumentation computing Internet Laboratories Optimal scheduling software engineering

来源：评论

学校读者我要写书评

暂无评论

Using Monterey Phoenix to Formalize and Verify System Architectures

Using Monterey Phoenix to Formalize and Verify System Archit...

引用

19th asia-pacific software engineering conference (APSEC)

作者： Zhang, Jiexin Liu, Yang Auguston, Mikhail Sun, Jun Dong, Jin Song Natl Univ Singapore Sch Comp Singapore 117548 Singapore Nanyang Technol Univ Sch Comp Engn Singapore Singapore Naval Postgraduate Sch Dept Comp Sci Monterey CA USA Singapore Univ Technol & Design ISTD Singapore Singapore

ISBN: (纸本)9780769549224

Modeling and analyzing software architectures are useful for helping to understand the system structures and facilitate proper implementation of user requirements. Despite its importance in the software engineering practice, the lack of formal description and verification support hinders the development of quality architectural models. In this work, we develop an approach for modeling and verifying software architectures specified using Monterey Phoenix (MP) architecture description language. Firstly, we formalize the syntax and operational semantics for MP. This language is capable of modeling system and environment behaviors based on event traces, as well as supporting different architecture composition operations and views. Secondly, a dedicated model checker for MP is developed based on PAT verification framework. Finally, several case studies are presented to evaluate the usability and effectiveness of our approach.

关键词： formal verification programming language semantics software architecture specification languages

来源：评论

学校读者我要写书评

暂无评论

Tool support for statistical testing of software components

Tool support for statistical testing of software components

引用

12th asia-pacific software engineering conference

作者： Shukla, R Strooper, P Carrington, D Univ Queensland Sch Informat Technol & Elect Engn St Lucia Qld 4072 Australia

ISBN: (纸本)0769524656

We describe the "STSC" prototype tool that supports the statistical testing of software components. The tool supports a wide range of operational profiles and test oracles for test case generation and output evaluation. The tool also generates appropriate values for different types of input parameters of operations. STSC automatically generates a test driver from an operational profile. This test driver invokes a test oracle that is implemented as a behaviour-checking version. of the implementation. To evaluate the flexibility and usability of the tool, it has been applied to several case studies using different types of operational profiles and test oracles.

关键词： Computer aided software engineering

来源：评论

学校读者我要写书评

暂无评论

On the Use of Mined Stack Traces to Improve the Soundness of Statically Constructed Call Graphs 24

On the Use of Mined Stack Traces to Improve the Soundness of...

引用

24th asia-pacific software engineering conference (APSEC)

作者： Sui, Li Dietrich, Jens Tahir, Amjed Massey Univ Sch Engn & Adv Technol Palmerston North New Zealand

ISBN: (纸本)9781538636817

Static program analysis is a cornerstone of modern software engineering it is used to detect bugs and security vulnerabilities early before software is deployed. While there is a large body of research into the scalability and the precision of static analysis, the (un)soundness of static analysis is a critical issue that has not attracted the same level of attention by the research community. In this paper we investigate the question whether information harvested from stack traces obtained from the GitHub issue tracker and Stack Overflow Q&A forums can be used in order to complement statically built call graphs. For this purpose, we extract reflective call graph edges from parsed stack traces, and check whether these edges are correctly computed by Doop, a widely used tool for static analysis with built-in support for reflection analysis. We do find edges that Doop misses when analysing real-world programs, even when reflection analysis is enabled. This suggests that mining techniques are a useful tool to test and improve the soundness of static analysis.

关键词： stack trace analysis static analysis empirical studies soundness call graph construction mining software repositories

来源：评论

学校读者我要写书评

暂无评论

Providing the Guideline of Determining Quality Checklists Priorities Based on Evaluation Records of software Products

Providing the Guideline of Determining Quality Checklists Pr...

引用

15th asia-pacific software engineering conference

作者： Lee, Chongwon Lee, Byungjeong Wu, Chisu Univ Seoul Sch Comp Sci Seoul South Korea Seoul Natl Univ Sch Engn & Comp Sci Seoul 151 South Korea

ISBN: (纸本)9780769534466

COTS (commercial-off-the-shelf) software products are usually provided in a packaged style without the source code but with many ready-to-use functions. Generally, their vendors are reluctant to disclose the source code. Thus, the major way of quality evaluation and certification requires dynamic behavior testing, essentially black-box testing. Since observing every aspect of external software behavior is almost impossible, it is crucial to designate an adequate range for quality evaluation such as an adequate number of quality checklists or product quality metrics for external behavior testing. Hence, to establish rules of selecting quality evaluation criteria in systematic ways, there have been attempts to analyze and utilize the past records of software evaluation. 117 this paper, multiple characteristics of software are mapped as nodes to affect and determine the priority ranks of external software quality metrics on Bayesian belief network. The nodes are set to be under the influence of multiple inheritances so that every external characteristic of COTS software is considered thoroughly.

关键词： software quality

来源：评论

学校读者我要写书评

暂无评论

A CSP-theoretic framework of checking conformance of Business Processes

A CSP-theoretic framework of checking conformance of Busines...

引用

19th asia-pacific software engineering conference (APSEC)

作者： Roy, Suman Bihary, Sidharth Laos, Jose Alfonso Corso Infosys Ltd Infosys Labs Bangalore 560100 Karnataka India Pontificia Univ Catolica Chile Dept Ind Engn Santiago 340 Chile

ISBN: (纸本)9780769549224

In this paper, we tackle the problem of conformance checking which verifies if the event logs (observed) match/fit the reference (arbitrary) process. We use concepts from Communicating Sequential Processes (CSP), which facilitates automated analysis using PAT toolkit. By this technique one can identify all the logs which cannot be properly replayed on the process. We illustrate our approach with an example. Finally, we introduce some metrics based on conformance checking. They are related to fitness, closeness, and appropriateness of the event logs vis-a-vis reference process models.

关键词： Formal methods software verification and validation conformance checking BPMN Business Processes CSP PAT toolkit Trace refinement

来源：评论

学校读者我要写书评

暂无评论

Issues on adopting software product line

Issues on adopting software product line

引用

11th asia-pacific software engineering conference (APSEC 2004)

作者： Koh, E Kim, S LG CNS Co Ltd Seoul South Korea

ISBN: (纸本)0769522459

Different issues regarding the adoption of a software product line (SPL) approach are discussed. First step to adopting SPL is that conventional product development teams with a single product development nature need to make a product development plan based on common, variable and product specific features that can be identified within a product line. The feature based plan enables core asset designers to manage and trace reusable artifacts across multiple products and provides a baseline for communicating between different team members. To improve productivity and quality of applications with new features, reusable requirements and test scenarios for the features must be developed and evaluated prior to developing the architectures.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

Assessing Safety of an Automated Vehicle Through Model-driven Analysis and Simulation 30

Assessing Safety of an Automated Vehicle Through Model-drive...

引用

30th asia-pacific software engineering conference (APSEC)

作者： Adedjouma, Morayo Gaudin, Fabien Fiani, Philippe Univ Paris Saclay CEA List F-91120 Palaiseau France Sherpa Engn R&D Dept F-92000 Nanterre France

ISBN: (纸本)9798350344172

Validating the safety of automated systems is a highly complex task that cannot be done effectively through one validation methodology alone. As a result, current trends recommend adopting a multi-pillar approach for the validation of such systems. In this paper, we share our experience in applying a combined safety approach for the safety evaluation of an automated vehicle. The evaluation approach couples Model-Driven engineering paradigm and simulation for a detailed assessment of critical scenarios. Based on a system model, we perform analytical safety analysis to identify the critical failures that may lead to undesired events. The analytical analysis is complemented by extensive simulation experiments to assess finer the impact of the identified malfunctions. The overall approach builds upon a tool chain consisting of Physistem as a modeling framework, Papyrus-Sophia for dysfunctional analysis support, and Phisim as a simulation environment. We report on the experiment results and discuss the advantages and limitations that the proposed approach brings for the evaluation of safety-critical automated systems.

关键词： safety validation automated system model-driven engineering simulation

来源：评论

学校读者我要写书评

暂无评论

On Adequate Behavior-based Architecture Conformance Checks 24

On Adequate Behavior-based Architecture Conformance Checks

引用

24th asia-pacific software engineering conference (APSEC)

作者： Nicolaescu, Ana Lichter, Horst Hoffmann, Veit Rhein Westfal TH Aachen Res Grp Software Construct Aachen Germany Generali Deutschland Informat Serv GmbH AS a Aachen Germany

ISBN: (纸本)9781538636817

Architecture conformance checks are important to control the inevitable drift between the prescriptive and descriptive architectures of a software system during its evolution. To this end, behavior-based architecture conformance checks should be employed in addition to static ones. But behavior-based analyses suffer from an important shortcoming: their results depend on the adequateness of the monitored behavior. Our claim is that a behavior-based architecture conformance check is adequate if (1) the architectural rules relevant from a behavior viewpoint are expressible and can be checked against and (2) the set of captured scenarios are relevant for exhibiting the overall behavior of the system. First, using ARAMIS, our approach to behavior based architecture reconstruction and conformance checking, we exemplify how conformance rules can be expressed. Then, we propose a metric to investigate the relevance of the monitored scenarios. Last we present two case studies, in which we defined and checked communication rules and discuss the relevance of the monitored scenarios.

关键词： Monitoring Computer architecture Measurement Tools software systems Queueing analysis

来源：评论

学校读者我要写书评

暂无评论

Comparison of scenario-based software architecture evaluation methods

Comparison of scenario-based software architecture evaluatio...

引用

11th asia-pacific software engineering conference (APSEC 2004)

作者： Babar, MA Gorton, I Univ New S Wales Natl ICT Australia Ltd Kensington NSW 2033 Australia

ISBN: (纸本)0769522459

software engineering community has proposed several methods to evaluate software architectures with respect to desired quality attributes such as maintainability, performance, and so on. There is, however, little effort on systematically comparing such methods to discover similarities and differences between existing approaches. In this paper, we compare four well known scenario-based SA evaluation methods using an evaluation framework. The framework considers each method from the point of view of method context, stakeholders, structure, and reliability. The comparison reveals that most of the studied methods are structurally similar but there are a number of differences among their activities and techniques. Therefore, some methods overlap, which guides us to identify five common activities that can form a generic process model.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 43 44 45 46 47 48 49 50 51 52 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：