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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

982 篇 期刊文献
649 篇 会议
315 册 图书
38 篇 学位论文
5 件 标准
1 篇 科技报告
1 篇 资讯

馆藏范围

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

日期分布

学科分类号

1,385 篇 工学
- 967 篇 计算机科学与技术...
- 589 篇 软件工程
- 394 篇 电气工程
- 124 篇 控制科学与工程
- 82 篇 机械工程
- 68 篇 信息与通信工程
- 45 篇 电子科学与技术（可...
- 35 篇 力学（可授工学、理...
- 33 篇 材料科学与工程（可...
- 32 篇 土木工程
- 21 篇 仪器科学与技术
- 14 篇 石油与天然气工程
- 14 篇 交通运输工程
- 12 篇 化学工程与技术
- 12 篇 环境科学与工程（可...
- 10 篇 动力工程及工程热...
- 10 篇 测绘科学与技术
228 篇 理学
- 104 篇 数学
- 63 篇 物理学
- 22 篇 生物学
- 19 篇 地球物理学
- 16 篇 化学
- 15 篇 系统科学
- 15 篇 统计学（可授理学、...
124 篇 管理学
- 108 篇 管理科学与工程(可...
- 15 篇 图书情报与档案管...
- 14 篇 工商管理
110 篇 教育学
- 105 篇 教育学
21 篇 农学
- 10 篇 作物学
19 篇 医学
16 篇 经济学
- 15 篇 应用经济学
10 篇 文学
7 篇 法学
3 篇 哲学
3 篇 历史学
3 篇 艺术学
1 篇 军事学

主题

1,991 篇 object-oriented ...
252 篇 nasa technical r...
252 篇 (ntrs)
128 篇 software enginee...
124 篇 java
67 篇 object oriented ...
55 篇 computer program...
52 篇 simulation
49 篇 reports
48 篇 computer program...
47 篇 programming lang...
43 篇 design
41 篇 formal specifica...
40 篇 applications pro...
40 篇 architecture (co...
40 篇 software
39 篇 design patterns
38 篇 expert systems
38 篇 artificial intel...
37 篇 software reusabi...

机构

13 篇 naval postgradua...
9 篇 brno university ...
5 篇 univ macedonia d...
4 篇 iit dept comp sc...
4 篇 georgia inst tec...
4 篇 technion israel ...
4 篇 univ oslo dept i...
4 篇 univ calif berke...
4 篇 univ auckland de...
4 篇 newcastle univ d...
3 篇 natl res univ hi...
3 篇 international bu...
3 篇 univ oslo dept m...
3 篇 victoria univ we...
3 篇 oak ridge natl l...
3 篇 nanjing univ sta...
3 篇 univ lancaster d...
3 篇 nova sch sci & t...
3 篇 swiss fed inst t...
3 篇 carleton univ ot...

作者

6 篇 kindler eugene
6 篇 meyer bertrand
6 篇 abdalla hs
6 篇 ducasse s
6 篇 giacaman nasser
5 篇 sokas algirdas
5 篇 xinogalos stelio...
5 篇 yang jeong
5 篇 budiardja reuben...
5 篇 cardall christia...
5 篇 romanovsky a
5 篇 lee young
5 篇 chatzigeorgiou a...
4 篇 tan wee hoe
4 篇 kramer matthias
4 篇 brinda torsten
4 篇 sinnen oliver
4 篇 chang jm
4 篇 noble j
4 篇 fong anthony s.

语言

1,826 篇 英文
129 篇 其他
32 篇 中文
3 篇 德文
1 篇 法文

检索条件"主题词=Object-Oriented Programming"

共 1991 条记录，以下是671-680 订阅

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

详细简洁

排序：

Broken Promises: An Empirical Study into Evolution Problems in Java Programs Caused by Library Upgrades

Broken Promises: An Empirical Study into Evolution Problems ...

引用

Software Evolution Week / IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE)

作者： Dietrich, Jens Jezek, Kamil Brada, Premek Massey Univ Sch Engn & Adv Technol Palmerston North New Zealand Univ W Bohemia Fac Sci Appl CR-30614 Plzen Czech Republic

ISBN: (纸本)9781479937523

It has become common practice to build programs by using libraries. While the benefits of reuse are well known, an often overlooked risk are system runtime failures due to API changes in libraries that evolve independently. Traditionally, the consistency between a program and the libraries it uses is checked at build time when the entire system is compiled and tested. However, the trend towards partially upgrading systems by redeploying only evolved library versions results in situations where these crucial verification steps are skipped. For Java programs, partial upgrades create additional interesting problems as the compiler and the virtual machine use different rule sets to enforce contracts between the providers and the consumers of APIs. We have studied the extent of the problem on the qualitas corpus, a data set consisting of Java open-source programs widely used in empirical studies. In this paper, we describe the study and report its key findings. We found that the above mentioned issues do occur in practice, albeit not on a wide scale.

关键词： Java object-oriented programming program compilers virtual machines API changes Java open-source programs application program interface compiler library upgrades library versions partially upgrading systems qualitas corpus reuse approach system runtime failures virtual machine Contracts Couplings Educational institutions Java Joining processes Libraries Runtime

来源：评论

学校读者我要写书评

暂无评论

Recommending Verbs for Rename Method using Association Rule Mining

Recommending Verbs for Rename Method using Association Rule ...

引用

Software Evolution Week / IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE)

作者： Kashiwabara, Yuki Onizuka, Yuya Ishio, Takashi Hayase, Yasuhiro Yamamoto, Tetsuo Inoue, Katsuro Osaka Univ Grad Sch Informat Sci & Technol Suita Osaka 565 Japan Univ Tsukuba Grad Sch Syst & Informat Engn Tsukuba Ibaraki Japan Nihon Univ Coll Engn Tokyo Japan

ISBN: (纸本)9781479937523

An identifier is one of the crucial elements for program readability. Method names in an object-oriented program are important identifiers because method names are used for understanding the behavior of the methods without reading a part of the program. It is well-known that each method name should consist of a verb and objects according to general guidelines. However, it is not easy to name methods consistently since each of the developers may have a different understanding of the verbs and objects used in the method names. As a first step to enable developers to name methods consistently and easily, we focus on the verbs used in the method names. In this paper, we present a technique to recommend candidate verbs for a method name so that developers can use consistent verbs for method names. Given a method, we recommend a list of verbs used in many other methods similar to the given method, by using association rules. We have extracted association rules from 445 OSS projects and applied these rules to two projects. As a result, the extracted rules could recommend the current verbs in the top 10 candidates for 60.6% of the methods covered by our approach. Furthermore, we have identified four meaningful groups of rules for verb recommendation.

关键词： data mining object-oriented programming reverse engineering OSS projects association rule mining method names object-oriented program program identifier program readability rename method verb recommendation Association rules Computer bugs Educational institutions Java Manuals Software Training

来源：评论

学校读者我要写书评

暂无评论

Fostering Functional Safety of Real-time Systems with Concepts of object Orientation 19

Fostering Functional Safety of Real-time Systems with Concep...

引用

19th International Conference on Methods and Models in Automation and Robotics (MMAR)

作者： Houben, Christina K. Fernuniv Chair Comp Engn Hagen Germany

ISBN: (纸本)9781479950812

Hard-wired control systems are increasingly replaced by program-controlled embedded systems. The programming languages currently employed for their implementation lack constructs and design patterns enforcing intelligible code fostering its verification by certification authorities. Recommendations for such constructs necessary to guarantee safety integrity are given in the international standard IEC 61508-3. One of the recommendations refers to object-oriented programming (OOP). Therefore, we analyse both basic and advanced properties of OOP like encapsulation, polymorphism, inheritance, prototyping, delegation etc. with respect to functional safety. In a resulting programming language based on PEARL90 [1] we demonstrate coding with examples from hard real-time systems.

关键词： IEC standards control engineering computing embedded systems object-oriented programming program verification safety-critical software OOP PEARL90 certification authorities design patterns functional safety hard real-time systems hard-wired control systems intelligible code international standard IEC 61508-3 object orientation program-controlled embedded systems programming languages safety integrity verification Computer languages Concrete Prototypes Real-time systems Runtime Safety Software object oriented programming Computer programming Languages object orientation real-time systems hard real-time system design pattern control engineering computing IEC publications safety-critical software program verification Runtime Embedded systems Consumer safety safety PROTOTYPE

来源：评论

学校读者我要写书评

暂无评论

An ACM 2013 Exemplar Course Integrating Fundamentals, Languages, and Software Engineering 14

An ACM 2013 Exemplar Course Integrating Fundamentals, Langua...

引用

45th ACM SIGCSE Technical Symposium on Computer Science Education (SIGCSE)

作者： Hallstrom, Jason O. Hochrine, Cathy Sorber, Jacob Sitaraman, Murali Clemson Univ Sch Comp Clemson SC 29634 USA

ISBN: (纸本)9781450326056

This paper summarizes our experiences integrating topics in the software development fundamentals (SDF), programming languages (PL), and software engineering (SE) knowledge areas of the ACM 2013 curriculum within a single course. It is novel in combining object-oriented programming and software development practices with fundamental analytical reasoning about software correctness. The aim is to integrate and cover the topics in an effective fashion. The course description in this paper represents an approach we have applied successfully for over 5 years. Students tend to consider this course to be one of the more challenging encountered in the first two years of study. Interestingly, the challenge appears to stem equally from mastering object-oriented programming and design pattern components of the course, as it does from learning to use specifications for analytical reasoning of component correctness.

关键词： ACM curriculum components design patterns formal reasoning object-oriented programming software engineering

来源：评论

学校读者我要写书评

暂无评论

Handling Cyclic Execution Paths in Timing Analysis of Component-based Software 40

Handling Cyclic Execution Paths in Timing Analysis of Compon...

引用

40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

作者： Lednicki, Luka Carlson, Jan Malardalen Univ Malardalen Real Time Res Ctr Vasteras Sweden

ISBN: (纸本)9781479957958

Usage of model-driven and component-based development approaches in embedded systems allows timing analysis to be performed using system models. One of the problems rarely addressed by model-level analysis is support for analysis of cyclic execution paths. In this paper we present a method which allows compositional worst-case execution time analysis to be performed on software models containing such cycles. Our method allows defining cycle bounds for components and connections, and provides an algorithm to analyze cyclic paths containing such bounds. Additionally, we provide a possibility to propagate cycle bound definitions through the component hierarchy. The method is applied to the IEC 61499 component model and its applicability has been tested using a prototype tool.

关键词： object-oriented programming program diagnostics IEC 61499 component model component hierarchy component-based development approach component-based software cycle bounds cyclic execution path handling model-driven development approach model-level analysis timing analysis Algorithm design and analysis Analytical models IEC standards Ports (Computers) Prototypes Software WCET analysis based development cycle cyclic execution loop timing object oriented programming time series analysis Algorithm design and analysis analysis programme IEC publications ANALYSIS MODELS computer software PROTOTYPE Loops

来源：评论

学校读者我要写书评

暂无评论

Disruption-free Software Updates in Automation Systems 19

Disruption-free Software Updates in Automation Systems

引用

19th IEEE International Conference on Emerging Technology and Factory Automation (ETFA)

作者： Wahler, Michael Oriol, Manuel ABB Corp Res CH-5405 Baden Switzerland

ISBN: (纸本)9781479948451

Automation systems must primarily be deterministic and reliable, especially in safety-critical environments. With recent trends such as mass customization or Industry 4.0, there is an increasing need for automation systems to be dynamic. Changing parts of the software of today's automation systems, however, typically requires rebooting the controller, which makes software updates a complex and costly endeavor often despised by operators. This article presents an approach to updating the software of automation systems at runtime without disrupting the system's operation. This is achieved with a combination of a component-based architecture, cyclic application execution, and a state transfer mechanism between the original and the updated version of a component. We validate our solution with a case study in which we update the control algorithm of a magnetic levitation device running at cycles of 1 kHz without dropping the ball.

关键词： control engineering computing magnetic levitation object-oriented programming safety-critical software software architecture automation systems component-based architecture cyclic application execution disruption-free software updates magnetic levitation control algorithm safety-critical environments state transfer mechanism Automation Instruction sets Kernel Runtime Schedules Synchronization

来源：评论

学校读者我要写书评

暂无评论

Software Reuse in Practice

Software Reuse in Practice

引用

4th International Conference on Advanced Computing and Communication Technologies (ACCT)

作者： Keswani, Raman Joshi, Salil Jatain, Aman ITM Univ Gurgaon 122017 Haryana India

ISBN: (纸本)9781479949106

By software reusing we can expedite the development of a software product by re-using the components of another software product in a different behaviour. The concept of systematic software reuse is simple: the idea of building and using "software preferred parts." By building systems out of carefully designed, pre-tested components, one will save the cost of designing, writing and testing new code. The practice of reuse has not proven to be this simple however, and there are many misconceptions about how to implement and gain benefit from software reuse. This paper briefly summarizes software reuse research and discusses major research contributions.

关键词： object-oriented programming program testing software product lines software reusability component pretesting new code design cost new code testing cost new code writing cost software preferred parts software product development systematic software reuse Documentation Guidelines Libraries Organizations Software reusability Systematics

来源：评论

学校读者我要写书评

暂无评论

Towards the Curry-Howard Protocol Implementation for the Component-Based Paradigm 2

Towards the Curry-Howard Protocol Implementation for the Com...

引用

2nd IEEE Workshop on Advances in Information, Electronic and Electrical Engineering (AIEEE)

作者： Giedrimas, Vaidas Siauliai Univ Dept Informat Shiauliai Lithuania

ISBN: (纸本)9781479971220

The CBSE enables to reduce the time required for the development and testing, to create robust systems. However not all existing component-based software synthesis methods focus on the software quality. There is the need for the method which can ensure software quality (in terms of consistence of specification and implementation) preserving short time required for software development at the same time. The component-based system synthesis method based on the Curry-Howard protocol is presented in this paper as the solution for this problem. Authors presents some implementation details of this method also and argue that the component-based software synthesis problem and the solution can be stated in terms of abstract component model.

关键词： object-oriented programming protocols software quality CBSE Curry-Howard protocol abstract component model component-based paradigm component-based software development component-based software synthesis methods software testing Abstracts Calculus Component architectures Ports (Computers) Protocols Software Software engineering software quality object oriented programming protocols program testing Software engineering computer software Calculus Calculi Component object models

来源：评论

学校读者我要写书评

暂无评论

A Modeling Profile for Availability analysis of Composite Cloud Services 9

A Modeling Profile for Availability analysis of Composite Cl...

引用

NINTH INTERNATIONAL CONFERENCE ON P2P, PARALLEL, GRID, CLOUD AND INTERNET COMPUTING (3PGCIC)

作者： Amato, Flora Moscato, Francesco Univ Naples Federico II DIETI Naples Italy Univ Naples 2 DiSciPol Caserta Italy

ISBN: (纸本)9781479941711

Service oriented Architectures and service-centric models arose in the last years as a standard de-facto in IT enterprises for offering practically any kind of services to users world-wide. Heterogeneity (of operating systems, programming languages, software and hardware infrastructures etc.) and transparency (for users) are the key issues of the actual trends in developing and providing services. In particular Cloud-based models provide means for realizing and distributing everything-asa-service, including infrastructures, hardware and software platforms and services. Even if at the moment Service-centric models and technologies are mature in the IT scenario, Composition, analysis and validation of Cloud services is an open research challenge. In this work we describe a methodology based on Multi-Agent Models which allows for description, composition and verification of requirements of Cloud-based services. The methodology uses a modeling profile able to describe services as agents in a multi-agent environment and it is based on Model Driven Engineering (MDE) techniques. The proposed methodology includes a verification process for requirements that exploits formal methods during the whole life cycle of services. An example of the application of the proposed techniques will be reported also.

关键词： cloud computing formal specification formal verification multi-agent systems object-oriented programming service-oriented architecture IT enterprises MDE technique availability analysis cloud service analysis cloud service composition cloud service validation cloud-based model composite cloud services everything-as-a-service formal method hardware platform heterogeneity model driven engineering modeling profile multiagent environment multiagent model requirement composition requirement description requirement verification service development service life cycle service oriented architecture service provision service-centric model software platform transparency Analytical models Availability Cloud computing Monitoring Observers Real-time systems Unified modeling language Cloud Computing Service-oriented architecture Multi-agent systems Model driven engineering UML Hardware Platform Legal Services object oriented programming real-time systems Formal verification Transparency ANALYSIS MODELS Life cycle Observers

来源：评论

学校读者我要写书评

暂无评论

A Framework for Generation of Inter-node Communication in Component-based Distributed Embedded Systems 19

A Framework for Generation of Inter-node Communication in Co...

引用

19th IEEE International Conference on Emerging Technology and Factory Automation (ETFA)

作者： Lednicki, Luka Carlson, Jan Malardalen Univ Malardalen Real Time Res Ctr Vasteras Sweden

ISBN: (纸本)9781479948451

In component-based and model-driven development it is common to model embedded applications in a platform-independent manner. As an example, some approaches allow development of distributed applications while abstracting away from details of communication between platform nodes. Using such an approach requires to implement this communication before an executable system is deployed. Currently it is common to automatically implement this communication on the level of code, while providing it on the model level is mostly a task that needs to be done manually. In this paper we present a framework for automatic generation of inter-node communication by adding communication components to software models. The framework provides flexibility in the level of automation of generation decisions, and is defined in a way which allows adding support for new communication media or protocols. We have implemented the generation framework for the IEC 61499 standard and provide a prototype generation tool, which we use for examining the applicability of the approach.

关键词： IEC standards embedded systems object-oriented programming protocols software standards IEC 61499 standard automatic internode communication generation component-based development component-based distributed embedded systems embedded applications model-driven development software models Generators Media Ports (Computers) Protocols Software

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共200页 << < 64 65 66 67 68 69 70 71 72 73 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：