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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是361-370 订阅

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

详细简洁

排序：

Automated Feedback Generation for Multiple Function Programs 28

Automated Feedback Generation for Multiple Function Programs

引用

28th asia-pacific software engineering conference (APSEC)

作者： Choi, Dongwook Heo, Jinseok Lee, Eunseok Sungkyunkwan Univ Dept Software Engn Suwon South Korea Sungkyunkwan Univ Dept Elect & Comp Engn Suwon South Korea Sungkyunkwan Univ Dept Comp Sci & Engn Suwon South Korea

ISBN: (纸本)9781665437844

Automated Feedback Generation (AFG) was proposed to automatically generate personalized feedback on students' programming assignments. Existing AFG techniques have been developed mainly for novice programmers, so feedback on complex programs cannot be generated. Therefore, we propose MUNCK, which automatically generates feedback for multiple function programs, one of the complex programs. Our experiment shows that MUNCK can generate feedback for 90% of multiple function programs.

关键词： Automated Feedback Generation Programming Assignments Program Standardization Automatic Program Repair

来源：评论

学校读者我要写书评

暂无评论

Quantitative Analysis of Best Practices Models in the software Domain

Quantitative Analysis of Best Practices Models in the Softwa...

引用

17th asia pacific software engineering conference (APSEC)

作者： Ferreira, Andre L. Machado, Ricardo J. Paulk, Mark C. Univ Minho Dept Sistemas Informacao Guimaraes Portugal Carnegie Mellon Univ Inst Software Res Pittsburgh PA 15213 USA

ISBN: (纸本)9780769542669

Organizations are adopting multiple best practices models to improve overall performance. Their objective is to capture the cumulative added value of each model into one single environment. These multimodel environments raise several challenges;selection and composition of models are not straightforward tasks. This paper proposes an approach to help address these challenges by comparing models at a quantitative level. We propose a characterization of size of a model as a measure of scope coverage and detail of descriptions when compared to a reference model and model complexity in terms of architectural structural connectedness. An example of applying the proposed approach is described in an Industrial context where a multimodel process solution was evolved from CMMI-Dev level 3 to level 5.

关键词： Multimodel improvement taxonomies software Process Improvement software engineering Management

来源：评论

学校读者我要写书评

暂无评论

Investigating the Effect of Refactoring on software Testing Effort

Investigating the Effect of Refactoring on Software Testing ...

引用

16th asia-pacific software engineering conference

作者： Elish, Karim O. Alshayeb, Mohammad King Fahd Univ Petr & Minerals Informat & Comp Sci Dept Dhahran 31261 Saudi Arabia

ISBN: (纸本)9780769539096

Refactoring, the process of improving the design of existing code by changing its internal structure without affecting its external behavior, tends to improve soft-ware quality by improving design, improving readability, and reducing bugs. There are many different refactoring methods, each having a particular purpose and effect. Consequently, the effect of refactorings on software quality attribute may vary. software testing is an external software quality attributes that takes lots of time and effort to make sure that the software performs as intended. In this paper, we propose a classification of refactoring methods based on their measurable effect on software testing effort. This, in turn, helps the software developers decide which refactoring methods to apply in order to optimize a software system with regard to the testing effort.

关键词： refactoring software metrics testing effort

来源：评论

学校读者我要写书评

暂无评论

Configuration software for Substation Monitoring and Control

Configuration Software for Substation Monitoring and Control

引用

asia-pacific Power and Energy engineering conference (APPEEC)

作者： Luo Bing Liu Shuguang Huang Xinbo Li Pengfei Xian Polytech Univ Sch Elect & Informat Engn Xian Peoples R China

ISBN: (纸本)9781424448135

The monitoring and control software is one of the most important parts of substation automation system. With the rapid development of substation automation system, a main tendency of the monitoring and control software is to be supportive of the network architecture and to have powerful functions of configuration and real-time performance. The gross structure of SCADA system in substation is introduced in this paper, the entirety design of the configuration monitor software is also discussed, and the key technologies of the configuration software for substation monitoring and control is described. The reliability of this software is very good, and this software can also offer the human-computer interaction interface, So this software has better monitoring effect.

关键词： SCADA Substation Automation System Monitoring and Control Configuration

来源：评论

学校读者我要写书评

暂无评论

Find your Open Source License now! 23

Find your Open Source License now!

引用

23rd asia-pacific software engineering conference (APSEC)

作者： Kapitsaki, Georgia M. Charalambous, Georgia Univ Cyprus Comp Sci Nicosia Cyprus

ISBN: (纸本)9781509055753

Open Source software is widely used from endusers, software engineers and researchers. The license that accompanies such software is very important for its further use and distribution. However, engineers and researchers are many times not able to choose the appropriate license based on the purpose of the product under development due to the lack of sufficient information on the specifics of each license. In this work, we are addressing the above issue by introducing findOSSLicense that recommends appropriate licenses to users. We are employing a hybrid recommendation using constraintbased, content-based and collaborative approaches. Licenses are recommended based on user needs, on the licenses found in similar open source projects and on the licenses used by similar users. A three-phase process that considers different sources of information is used. We have evaluated findOSSLicense using its initial set of users. The results demonstrate the usefulness of findOSSLicense in the license guiding process.

关键词： open source software licensing recommender systems

来源：评论

学校读者我要写书评

暂无评论

Applying Gamification and Posing to software Development 25

Applying Gamification and Posing to Software Development

引用

25th asia-pacific software engineering conference (APSEC)

作者： Tsunoda, Masateru Yumoto, Hirotaka Kindai Univ Dept Informat Higashiosaka Osaka Japan

ISBN: (纸本)9781728119700

Background: The influence of each developer's performance on a project's results (e.g., total software development effort) cannot be ignored. To enhance the performance of each developer, there are various approaches such as improving software engineering education and creating development support tools. In this study, we selected gamification and posing (power posing) and evaluated the effects of these approaches on coding. They are expected to improve the mental state and the motivation of developers. Aim: Select which method (gamification or posing) should be used to enhance developers' work efficiency. Method: Subjects created programs based on given specifications. Group A (Gamification was applied to a task) and group B (Posing was applied to a task) were made. We evaluated the coding time of each group. Results: Gamification was more effective than posing for reducing coding time.

关键词： Motivation gamification power posing

来源：评论

学校读者我要写书评

暂无评论

Pareto-based soft real-time task scheduling in multiprocessor systems 7

Pareto-based soft real-time task scheduling in multiprocesso...

引用

7th asia-pacific software engineering conference (ASPEC 2000)

作者： Oh, J Bahn, H Wu, C Koh, K Seoul Natl Univ Sch Engn & Comp Sci Seoul 151742 South Korea

ISBN: (纸本)0769509169

We develop a new method to map (i.e. allocate and schedule) real-time applications into certain multiprocessor systems. Its objectives are 1) the minimization of the number of processors used and 2) the minimization of the deadline missing time. Given a parallel program with real time constraints and a multiprocessor system, our method finds schedules of the program in the system which satisfy all the real time constraints with minimum number of processors. The minimization is carried out through a Pareto-based Generic Algorithm which independently considers the both goals, because they are non-commensurable criteria. Experimental results show that our scheduling algorithm achieved better performance than previous ones. The advantage of our method is that the algorithm producer not a single solution but a family of solutions known as the Pareto-optimal set, out of which designers can select optimal solutions appropriate for their environmental conditions.

关键词： Algorithm design and analysis Application software Computer science Genetic algorithms Minimization methods Multiprocessing systems Optimal scheduling Processor scheduling Real time systems Scheduling algorithm

来源：评论

学校读者我要写书评

暂无评论

software-based Online Monitoring of Cache Contents on Platforms without Coherence Fabric

Software-based Online Monitoring of Cache Contents on Platfo...

引用

19th asia-pacific software engineering conference (APSEC)

作者： Schmidt, Adriaan Horst, Oliver Fraunhofer Inst Commun Syst ESK Munich Germany

ISBN: (纸本)9780769549224

In favor of smaller chip areas and associated fabrication costs, designers of embedded multi-core systems on occasion decide not to include cache coherence logic in the hardware design. However, handling all cache coherence exclusively in software is error-prone, and there are presently no tools supporting developers in this task. Thus, we propose a new software testing method, based on online inspection of the cache contents, to pinpoint programming mistakes related to cache handling. This concept helps localizing the causing data symbol even for complicated cache handling errors, e. g. where the causing and manifesting code-location of an error differ. Our solution is a pure software solution and does not require any specialized hardware. We evaluate our approach by using it in a large application, and show that we can detect typical cache-related errors.

关键词： cache storage circuit testing electronic engineering computing embedded systems inspection multiprocessing systems

来源：评论

学校读者我要写书评

暂无评论

Efficient Modelling of Embedded software Systems and Their Formal Verification

Efficient Modelling of Embedded Software Systems and Their F...

引用

19th asia-pacific software engineering conference (APSEC)

作者： Estivill-Castro, Vladimir Hexel, Rene Rosenblueth, David A. Griffith Univ Sch ICT Nathan Qld 4111 Australia Univ Nacl Autonoma Mexico IIMAS Mexico City 01000 DF Mexico

ISBN: (纸本)9780769549224

We propose vectors of finite-state machines whose transitions are labeled by formulas of a common-sense logic as the modelling tool for embedded systems software. We have previously shown that this methodology is very efficient in producing succinct and clear models (e. g., in contrast to plain finite-state machines, Petri nets, or Behavior Trees). We show that we can capture requirements precisely and that we can simulate and validate the models. We can, therefore, directly apply Model-Driven engineering and deploy the models into software for diverse platforms with full traceability of requirements. Moreover, the sequential semantics of our vector of finite-state machines enables model-checking, formally establishing the correctness of the model. Finally, our approach facilitates systematic Failure Modes and Effects Analysis (FMEA) for diverse target platforms. We demonstrate the effectiveness of our methodology with several examples widely discussed in the software engineering literature and compare this with other approaches, showing that we can prove more properties, and that some claims about verification in such approaches have been exaggerated or are incomplete.

关键词： software testing verification and validation formal methods in software engineering software requirements engineering model-driven engineering

来源：评论

学校读者我要写书评

暂无评论

Aspects and Annotations for Controlling the Roles Application Classes play for Design Patterns

Aspects and Annotations for Controlling the Roles Applicatio...

引用

18th asia-pacific software engineering conference (APSEC)

作者： Giunta, Rosario Pappalardo, Giuseppe Tramontana, Emiliano Univ Catania Dipartimento Matemat & Informat Catania Italy

ISBN: (纸本)9780769546094

Design patterns are an invaluable resource for developers. Yet, for some of them the implementation of an application concern and the code needed to enforce the design pattern solution can be tangled within the same class. This potentially makes classes more complex, more prone to changes and less reusable. In order to keep the complexity of classes under manageable levels, this paper proposes a solution based on aspectorientation. Our solution makes aspects and application classes independent of each other, while connecting code is used to concisely express the role played by classes within design patterns. Developers needing to modify the role of an application class should only update such connecting code, thus keeping changes to application code to a minimum. The performance overhead of such an approach is evaluated and compared with the standard implementation.

关键词： Computer software reusability

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 33 34 35 36 37 38 39 40 41 42 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：