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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,475 篇 会议
184 篇 期刊文献
48 册 图书

馆藏范围

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

日期分布

学科分类号

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

主题

954 篇 software enginee...
539 篇 application soft...
522 篇 software
449 篇 computer science
333 篇 programming
306 篇 computer archite...
303 篇 software systems
216 篇 hardware
214 篇 data mining
206 篇 software testing
178 篇 costs
174 篇 java
170 篇 computational mo...
156 篇 object oriented ...
152 篇 software algorit...
149 篇 knowledge engine...
149 篇 software quality
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,477 篇 英文
176 篇 其他
54 篇 中文

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

共 8707 条记录，以下是4271-4280 订阅

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

详细简洁

排序：

A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications

A "Vibration" Method for Automatically Generating Test Cases...

引用

asia-pacific conference on software engineering

作者： Shaoying Liu Shin Nakajima Department of Computer Science Hosei University Japan NII Japan

Several approaches to test case generation based on formal specifications have been put forward, but how to automatically generate test cases to ensure that all of the representative program paths of the corresponding program are traversed still remains an open problem. In this paper, we describe a new technique called "Vibration" method to tackle this problem. The method focuses on a heuristic process of generating test cases, collecting traversed paths, and removing the bugs detected, based on a single test condition of a functional scenario until all the corresponding program paths are traversed or a stopping testing condition is met. The test case generation is fully automatic, in the sense that all the criteria can be implemented by algorithms in a software tool. We describe the criteria and algorithms for test case generation and for stopping a testing process.

关键词： software engineering Vibrations

来源：评论

学校读者我要写书评

暂无评论

A Method to Derive software Architectures from Quality Requirements

A Method to Derive Software Architectures from Quality Requi...

引用

asia-pacific conference on software engineering

作者： Azadeh Alebrahim Denis Hatebur Maritta Heisel Software Engineering Department of Computer Science and Applied Cognitive Science University Duisburg-Essen Germany

We present a model- and pattern-based method that allows software engineers to take quality requirements into account right from the beginning of the software development process. The method comprises requirements analysis as well as the derivation of a software architecture from requirements documents, in which quality requirements are reflected explicitly. For requirements analysis, we use an enhancement of the problem frame approach, where software development problems are represented by problem diagrams. The derivation of a software architecture starts from a set of problem diagrams, annotated with functional as well as quality requirements. First, we set up an initial software architecture, taking into account the decomposition of the overall software development problem into sub problems. Then, we incorporate quality requirements into that architecture by using security or performance patterns or mechanisms. The method is tool-supported, which allows developers to check semantic integrity conditions in the different models.

关键词： Unified modeling language Security software Computer architecture Servers Context

来源：评论

学校读者我要写书评

暂无评论

A Design Methodology for Real-Time Distributed software Architecture Based on the Behavioral Properties and Its Application to Advanced Automotive software

A Design Methodology for Real-Time Distributed Software Arch...

引用

asia-pacific conference on software engineering

作者： Mikio Aoyama Hayaki Tanabe Department of Software Engineering Nanzan University Seto Japan Graduate School of Mathematical Sciences and Information Engineering Nanzan University Seto Japan

Automotive software is required to collaboratively control multiple distributed processors, called ECUs (Electronic Control Units) connected through in-vehicle networks and embedded into different locations in a physical system of a vehicle. The extremely high complexity of interactions among ECUs makes it difficult to design the collaborative control. For such systems, conventional design methodology based on the structure is not able to adequately present the architectural properties. This article proposes a design methodology for collaborative software architecture based on the behavioral properties. We define the property as attributes and states of the vehicle, surrounding environment and users. Based on the property model, we propose the extended DSM (Design Structure Matrix) and a set of associated models for modeling global behavior of systems for meeting NFRs (Non-Functional Requirements). We applied the proposed methodology to the VDM (Vehicle Dynamics Management System), one of the most complicated automotive control software, and demonstrated the effectiveness of the methodology.

关键词： Vehicles software Automotive engineering Object oriented modeling Stability analysis Wheels Real time systems

来源：评论

学校读者我要写书评

暂无评论

RETRACTED ARTICLE: Practical research of seminar in teaching specialized courses of biologic and chemical major

RETRACTED ARTICLE: Practical research of seminar in teaching...

引用

作者： Mei, Li Lin, Na Shang, Shuyong Li, Weiyi Wang, Jinyue College of Life Science and Food Engineering Yibin University Yibin Sichuan 644000 China School of Chemistry and Chemical Engineering Yibin University Yibin Sichuan 644000 China

ISBN: (纸本)9781457708565

Seminar was one of the most important means to facilitate undergraduate teaching and improve the students' synthetical capability. In this paper, the teaching effects of seminar were investigated in the teaching specialized courses of biologic and chemical major. According to discuss the status, role, form, process of seminar, the important complementary role of seminar was researched in the teaching specialized courses of biologic and chemical major, especially, the period of specialized courses less than before. The results showed that, owing to the seminar, the professional knowledge was understand deeply, practical ability was improved, team working ability was improved, the presentation skills were cultivated and the teaching fund was saved. But during of the implementation process of seminar, the teachers' direction should be strengthen effectively, the seminar density should be control strictly, the understanding of students should be improve and the quality of manuscript and discussion should be enhanced. After implementation of seminar, the students' professional skills, presentation skills, engineering consciousness, practical ability were increased substantially. The student can adapt the social demanding sooner and better. © 2011 IEEE.

关键词： Teaching

来源：评论

学校读者我要写书评

暂无评论

Thinking and Methodology in Programming Teaching of Single-chip Microcomputer

Thinking and Methodology in Programming Teaching of Single-c...

引用

The 2011 International conference on Advanced Materials and Information Technology Processing(AMITP 2011)

作者： WANG Li LU Yongfang WANG Fuzhong School of Electrical Engineering & Automation Henan Polytechnic University Department of Mechanical and Electrical Engineering Jiaozuo University

ISBN: (纸本)9783037851579

For application system based on single-chip microcomputer(SCM), software design becomes more and more difficult than hardware design. Most of the college students can scheme out hardware circuits, but seldom of them can write out high-quality code for comprehensive system. Thinking and methodology are the key factors deciding the code quality. This article analyzes current situation of programming teaching for SCM, then discusses the particularity of thinking and methodology for SCM programming. The teaching contents were reformed by introducing new thinking and methodology. The applications of new thoughts and methods were demonstrated by three examples: multi-petal structure, key-jitter elimination without time-consuming and programming method based on messages. The practice showed that the teaching reform expanded the students' thinking and improved their capabilities to write high-quality programs.

关键词： single-chip microcomputer teaching programming thinking and methodology

来源：评论

学校读者我要写书评

暂无评论

RobusTest: A Framework for Automated Testing of software Robustness

RobusTest: A Framework for Automated Testing of Software Rob...

引用

asia-pacific conference on software engineering

作者： Ali Shahrokni Robert Feldt Department of Computer Science and Engineering Chalmers University of Technology Gothenburg Sweden

Robustness of a software system is defined as the degree to which the system can behave ordinarily and in conformance with the requirements in extraordinary situations. By increasing the robustness many failures which decrease the quality of the system can be avoided or masked. When it comes to specifying, testing and assessing software robustness in an efficient manner the methods and techniques are not mature yet. This paper presents RobusTest, a framework for testing robustness properties of a system with currently focus on timing issues. The expected robust behavior of the system is formulated as properties. The properties are then used to automatically generate robustness test cases and assess the results. An implementation of RobusTest in Java is presented here together with results from testing different, open-source implementations of the XMPP instant messaging protocol. By executing 400 test cases that were automatically generated from properties on two such implementations we found 11 critical failures and 15 nonconformance problems as compared to the XMPP specification.

关键词： Robustness Testing Computer crashes Silicon Java Delay

来源：评论

学校读者我要写书评

暂无评论

A Concept Lattice for Recognition of User Problems in Real User Monitoring

A Concept Lattice for Recognition of User Problems in Real U...

引用

asia-pacific conference on software engineering

作者： Katsunori Oyama Atsushi Takeuchi Hua Ming Carl K. Chang Department of Computer Science Nihon University Koriyama Japan Department of Computer Science Iowa State University Ames USA

User problems encountered during the use of a software product are often hard to identify even after the software product is thoroughly-tested and then released. There are inevitably unexpected situations introduced or triggered by transient use patterns, however, these unexpected situations can be hardly eliminated due to various human factors on user interaction. This study of situation-oriented real user monitoring develops an application of concept lattice to represent use patterns from user interaction and perceive potential user problems. Data structure of user problem is modeled based on user problem ontology. Once a user problem is recognized, observation data of the use patterns are the subject for further analysis. In this paper, use patterns in a file upload service are used to demonstrate how the concept lattice is used and discuss about validity of the causal factors found in the concept lattice.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

AADL-based Modeling and TPN-based Verification of Reconfiguration in Integrated Modular Avionics

AADL-based Modeling and TPN-based Verification of Reconfigur...

引用

asia-pacific conference on software engineering

作者： Dajiang Suo Jinxia An Jihong Zhu State Key Laboratory on Intelligent Technology and Systems Tsinghua National Laboratory for Information Science and Technology Department of Computer Science and Technology Tsinghua University Beijing China

This paper seeks to model the Integrated Modular Avionics (IMA) using Architectural Analysis and Design Language (AADL). In particular, the mechanism to describe the dynamic reconfiguration of multimodal system is presented. By translating the AADL model into Time Petri Net (TPN), some real-time and logical properties (deadlock, reach ability, missed deadline) of reconfiguration could be checked. The analysis results could then be used to adjust the design of software at the early stage of system development and ensure that the reconfiguration of IMA meets the real-time constraints.

关键词： Aerospace electronics Hardware Real time systems software Firing Resource management Computer architecture

来源：评论

学校读者我要写书评

暂无评论

RETRACTED ARTICLE: Numerical simulation of three-dimensional flow field of a vertical-type liquid-continuous impinging stream reactor

RETRACTED ARTICLE: Numerical simulation of three-dimensional...

引用

作者： Yang, Xia Zhang, Tao Guo, Jia Zhou, Yu-Xin Wu, Yuan School of Mechanical and Electrical Engineering Wuhan Institute of Technology Wuhan China Key Laboratory for Green Chemical Process of Ministry of Education Wuhan Institute of Technology Wuhan China

ISBN: (纸本)9781457708565

In this paper, numerical simulation of three- dimensional flow field of a vertical-type liquid- continuous impinging stream reactor (VLISR) was carried out by FLUENT software, its fluid movement regulation was studied, and the distributions of pressure and velocity were analyzed. This method is convenient and easy with a reliable result compared to engineering practice. In addition, the change of horizontal velocity under different positions was investigated. Numerical study results showed that the pressure distribution was symmetrical to the axial of impinging stream reactor. In the area of pivoted axle and guide cylinder, the pressure gradient was the maximum, showing strong pressure fluctuation. The maximum velocity, which was 0.82 m/s, was found near the impeller. The results may provide fundamentals for hydraulic cell disruption, and data for further optimization and improvement of vertical-type liquid-continuous impinging stream reactors. © 2011 IEEE.

关键词： Liquids

来源：评论

学校读者我要写书评

暂无评论

Conformance Testing for OSEK/VDX Operating System Using Model Checking

Conformance Testing for OSEK/VDX Operating System Using Mode...

引用

asia-pacific conference on software engineering

作者： Jiang Chen Toshiaki Aoki Japan Advanced Institute of Science and Technology Ishikawa Japan

Automotive systems are being standardized by several organizations because they use many parts developed by various companies. Thus, ensuring that those parts conform to standards is very important in this field. Moreover, the automotive systems require high reliability since their bugs or errors may cause serious accidents. In this paper, we focus on operating systems compliant with an OSEK/VDX standard, and propose a method to obtain highly reliable test cases for ensuring the conformance. So far, we have developed a design model based on the standard and made great effort to check that it conforms to the standard with a model checking tool SPIN. Our idea is to use this design model as a test oracle to automatically generate exhaustive test cases with the help of the model checking tool.

关键词： software engineering Concrete

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 424 425 426 427 428 429 430 431 432 433 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：