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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,053 篇 会议
51 册 图书
46 篇 期刊文献

馆藏范围

2,150 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,274 篇 工学
- 1,024 篇 计算机科学与技术...
- 583 篇 软件工程
- 254 篇 电气工程
- 157 篇 控制科学与工程
- 69 篇 信息与通信工程
- 50 篇 机械工程
- 42 篇 材料科学与工程（可...
- 36 篇 电子科学与技术（可...
- 18 篇 安全科学与工程
- 15 篇 交通运输工程
- 12 篇 仪器科学与技术
- 12 篇 土木工程
- 12 篇 化学工程与技术
- 12 篇 生物医学工程（可授...
- 12 篇 生物工程
- 11 篇 冶金工程
- 11 篇 动力工程及工程热...
- 10 篇 建筑学
296 篇 理学
- 227 篇 数学
- 39 篇 物理学
- 39 篇 统计学（可授理学、...
- 34 篇 系统科学
- 22 篇 生物学
- 16 篇 化学
119 篇 管理学
- 84 篇 管理科学与工程(可...
- 37 篇 工商管理
- 32 篇 图书情报与档案管...
47 篇 教育学
- 46 篇 教育学
25 篇 医学
- 24 篇 临床医学
10 篇 法学
- 10 篇 社会学
9 篇 经济学
5 篇 农学
4 篇 文学

主题

172 篇 logic gates
137 篇 fuzzy logic
129 篇 programming
118 篇 linear programmi...
94 篇 logic programmin...
65 篇 probabilistic lo...
59 篇 dynamic programm...
57 篇 optimization
52 篇 semantics
50 篇 training
49 篇 computer science
48 篇 logic
44 篇 object oriented ...
42 篇 computer archite...
41 篇 computational mo...
38 篇 hardware
38 篇 artificial intel...
37 篇 java
36 篇 computer program...
35 篇 software

机构

6 篇 laboratory of co...
5 篇 stevens inst tec...
5 篇 institute of log...
5 篇 university of to...
5 篇 institute for lo...
5 篇 chinese univ hon...
4 篇 univ oxford oxfo...
4 篇 school of electr...
4 篇 ibm corp thomas ...
3 篇 north carolina s...
3 篇 creighton univ o...
3 篇 univ politecn ca...
3 篇 ecole polytech f...
3 篇 tu wien austria
3 篇 department of co...
3 篇 department of el...
3 篇 rhein westfal th...
3 篇 school of comput...
3 篇 univ tokyo
3 篇 school of mathem...

作者

7 篇 inoue katsumi
5 篇 sakama chiaki
5 篇 gupta gopal
4 篇 wang liang
4 篇 iosif radu
4 篇 pontelli enrico
4 篇 liang wang
4 篇 tompits hans
4 篇 beck j. christop...
3 篇 kumar amruth n.
3 篇 chopra amit k.
3 篇 proietti maurizi...
3 篇 il han park
3 篇 m.-r. akbarzadeh...
3 篇 wei li
3 篇 riguzzi fabrizio
3 篇 schaub torsten
3 篇 melin p
3 篇 leonidas deligia...
3 篇 mcdirmid sean

语言

2,101 篇 英文
35 篇 其他
15 篇 中文
2 篇 葡萄牙文
1 篇 西班牙文
1 篇 法文

检索条件"任意字段=22nd International Conference on Logic Programming"

共 2150 条记录，以下是1801-1810 订阅

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

详细简洁

排序：

Selective Regression Testing of a Host to DotNet Migration

Selective Regression Testing of a Host to DotNet Migration

引用

international conference on Software Maintenance (ICSM)

作者： Harry M. Sneed Anecon GmbH Vienna Austria

This paper describes an industrial migration project in the years 2003/2004. At this time the Austrian Chamber of Commerce was moving its entire software portfolio from an IBM mainframe to a DotNet environment. The company of the author was contracted to test the redeveloped systems. The approach taken was selective regression testing, a method whereby selected, critical results are verified by comparing them against the same results of the old system. To achieve this, special tools based on an assertion language for defining post conditions of data files and databases were developed. This testing method turned out to be both effective and inexpensive

关键词： programming profession Software maintenance Business Databases Costs System testing XML Law Retirement User interfaces

来源：评论

学校读者我要写书评

暂无评论

An alternative to Quiescence: Tranquility

An alternative to Quiescence: Tranquility

引用

international conference on Software Maintenance (ICSM)

作者： Yves Vandewoude Peter Ebraert Yolande Berbers Theo D'Hondt Department of Computer Science Leuven Belgium Programming Technology Laboratory Brussels Belgium

This paper revisits a problem that was identified by Kramer and Magee: placing a system in a consistent state before and after runtime changes (1990). We show that their notion of quiescence as a necessary and sufficient condition for safe runtime changes is too strict and violates the black-box design principle. We introduce a weaker condition, tranquility; easier to obtain, less disruptive for the system and still sufficient to ensure application consistency. We also present an implementation of this concept in a component middleware platform

关键词： Application software Runtime Sufficient conditions Computer science Middleware Web services Switches Telecommunication switching Banking Software systems

来源：评论

学校读者我要写书评

暂无评论

Teaching Evolution of Open-Source Projects in Software Engineering Courses

Teaching Evolution of Open-Source Projects in Software Engin...

引用

international conference on Software Maintenance (ICSM)

作者： Joseph Buchta Maksym Petrenko Denys Poshyvanyk Vaclav Rajlich Department of Computer Science Wayne State University Detroit MI USA

In the traditional software engineering courses, the students develop small programs from scratch. This does not correspond to industry practice where programmers spend most of their time evolving medium to large systems. In order to narrow this gap, we developed a course where students practice software evolution through the implementation of change requests on medium-sized open-source software systems. The results of the course show that this type of software engineering course gives students a more realistic experience than traditional software engineering courses. In the survey at the end of the course, the students expressed a higher level of satisfaction with both rating the course and assessing how much they learned. Additionally, the resources required by such a course are not excessive

关键词： Education Open source software Software engineering programming profession Software maintenance Software systems Computer science Computer aided software engineering Testing Genetic programming

来源：评论

学校读者我要写书评

暂无评论

Software Assurance During Maintenance

Software Assurance During Maintenance

引用

international conference on Software Maintenance (ICSM)

作者： Paul E. Black U.S. National Institute of Standards and Technology USA

Software development, testing, and maintenance tools must yield assurance information in a standardized form. Developers can use this information to argue that the software is adequate for its use and secure enough for the risk. NIST's Software Assurance Metrics And Tool Evaluation (SAMATE) project is developing specifications for software assurance tools. These specifications can include optional features for assurance information reports, encouraging tools to provide them. During maintenance, developers can collect this information to make explicit assurance cases

关键词： Software maintenance Software tools NIST programming Software testing Application software Materials testing Data security Information security Accreditation

来源：评论

学校读者我要写书评

暂无评论

How to determine a good multi-programming level for external scheduling

How to determine a good multi-programming level for external...

引用

22nd international conference on Data Engineering, ICDE '06

作者： Schroeder, Bianca Harchol-Balter, Mor Iyengar, Arun Nahum, Erich Wierman, Adam Carnegie Mellon University Department of Computer Science Pittsburgh PA United States IBM T.J. Watson Research Center Yorktown Heights NY United States

ISBN: (纸本)0769525709

Scheduling/prioritization of DBMS transactions is important for many applications that rely on database backends. A convenient way to achieve scheduling is to limit the number of transactions within the database, maintaining most of the transactions in an external queue, which can be ordered as desired by the application. While external scheduling has many advantages in that it doesn't require changes to internal resources, it is also difficult to get right in that its performance depends critically on the particular multiprogramming limit used (the MPL), i.e. the number of transactions allowed into the database. If the MPL is too low, throughput will suffer, since not all DBMS resources will be utilized. On the other hand, if the MPL is too high, there is insufficient control on scheduling. The question of how to adjust the MPL to achieve both goals simultaneously is an open problem, not just for databases but in system design in general. Herein we study this problem in the context of transactional workloads, both via extensive experimentation and queueing theoretic analysis. We find that the two most critical factors in adjusting the MPL are the number of resources that the workload utilizes and the variability of the transactions' service demands. We develop a feedback based controller, augmented by queueing theoretic models for automatically adjusting the MPL. Finally, we apply our methods to the specific problem of external prioritization of transactions. We find that external prioritization can be nearly as effective as internal prioritization, without any negative consequences, when the MPL is set appropriately. © 2006 IEEE.

关键词： Database systems

来源：评论

学校读者我要写书评

暂无评论

Technique for Optimal Adaptation of Time-Dependent Workflows with Security Constraints

Technique for Optimal Adaptation of Time-Dependent Workflows...

引用

international conference on Data Engineering

作者： B. Shafiq A. Samuel E. Bertino A. Ghafoor Purdue University USA

Distributed workflow based systems are widely used in various application domains including e-commerce, digital government, healthcare, manufacturing and many others. Workflows in these application domains are not restricted to the administrative boundaries of a single organization [1]. The tasks in a workflow need to be performed in a certain order and often times are subject to temporal constraints and dependencies [1, 2]. A key requirement for such workflow applications is to provide the right data to the right person at the right time. This requirement motivates for dynamic adaptations of workflows for dealing with changing environmental conditions and exceptions.

关键词： Access control Security Authorization Environmental management Dynamic programming Software architecture Application software Abortion Delay Data engineering

来源：评论

学校读者我要写书评

暂无评论

Mining Software Repositories to Assist Developers and Support Managers

Mining Software Repositories to Assist Developers and Suppor...

引用

international conference on Software Maintenance (ICSM)

作者： Ahmed E. Hassan Department of Electrical and Computer Engineering University of Victoria Victoria BC Canada

Software repositories (such as source control repositories) contain a wealth of valuable information regarding the evolutionary history of a software project. This paper presents approaches and tools which mine and transform static record keeping software repositories to active repositories used by researchers to gain empirically based understanding of software development, and by practitioners to predict, plan and understand various aspects of their project. Our work is validated empirically using data based on over 60 years of development history for several open source projects

关键词： Software development management Software systems History Open source software Software maintenance Control systems programming Communication system software Computer industry Project management

来源：评论

学校读者我要写书评

暂无评论

Tracking Concerns in Evolving Source Code: An Empirical Study

Tracking Concerns in Evolving Source Code: An Empirical Stud...

引用

international conference on Software Maintenance (ICSM)

作者： Martin P. Robillard School of Computer Science McGill University Montreal QUE Canada

The association between the description of a concern (e.g., a feature) and the code that implements it is valuable information that can degrade as the code of a system evolves. We present a study of the evolution of the implementation of a concern in 33 versions of an open-source text editor. We represented the implementation of the concern using concern graphs, a model that was designed to be resilient to source code evolution. The study showed how the concern graph model supports tracking a concern's implementation in an evolving system, as well as inferring high-level past changes and assessing the stability of the concern's implementation

关键词： Open source software Scattering programming Computer science Degradation Navigation Documentation History Stability analysis Design for experiments

来源：评论

学校读者我要写书评

暂无评论

COCONUT: COde COmprehension Nurturant Using Traceability

COCONUT: COde COmprehension Nurturant Using Traceability

引用

international conference on Software Maintenance (ICSM)

作者： Andrea De Lucia Massimiliano Di Penta Rocco Oliveto Francesco Zurolo Universita degli Studi di Salerno Fisciano Campania IT RCOST — Research Centre on Software Technology University of Sannio Benevento Italy Department of Mathematics and Informatics University of Salerno Fisciano Italy

In this paper we present an Eclipse plug-in, called COCONUT (COde COmprehension Nurturant Using Traceability), that shows the similarity level between the source code under development and high-level artefacts the source code should be traced onto. Also, the plug-in suggests candidate source code identifiers according to the domain terms contained into the corresponding high-level artefacts. Experiments showed that the plug-in helps to produce source code easier to be understood

关键词： Visualization Software maintenance programming profession Java Mathematics Informatics Automatic control Unified modeling language Uniform resource locators Information retrieval

来源：评论

学校读者我要写书评

暂无评论

Quantifying the Effects of Aspect-Oriented programming: A Maintenance Study

Quantifying the Effects of Aspect-Oriented Programming: A Ma...

引用

international conference on Software Maintenance (ICSM)

作者： Uira Kulesza Claudio Sant'Anna Alessandro Garcia Roberta Coelho Arndt von Staa Carlos Lucena Software Engineering Laboratory Computer Science Department PUC-Rio Brazil Computer Science Department Software Engineering Laboratory Brazil Computing Department Lancaster University UK

One of the main promises of aspect-oriented programming (AOP) is to promote improved modularization of crosscutting concerns, thereby enhancing the software stability in the presence of changes. This paper presents a quantitative study that assesses the positive and negative effects of AOP on typical maintenance activities of a Web information system. The study consists of a systematic comparison between the object-oriented and the aspect-oriented versions of the same application in order to assess to what extent each solution provides maintainable software decompositions. Our analysis was driven by fundamental modularity attributes, such as coupling, cohesion, conciseness, and separation of concerns. We have found that the aspect-oriented design has exhibited superior stability and reusability through the changes, as it has resulted in fewer lines of code, improved separation of concerns, weaker coupling, and lower intra-component complexity

关键词： Software maintenance Scalability Information systems Stability Concurrent computing Graphical user interfaces Application software Java Software engineering Laboratories

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共215页 << < 177 178 179 180 181 182 183 184 185 186 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：