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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

965 篇 期刊文献
649 篇 会议
314 册 图书
26 篇 学位论文
5 件 标准
1 篇 资讯

馆藏范围

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

日期分布

学科分类号

1,360 篇 工学
- 912 篇 计算机科学与技术...
- 565 篇 软件工程
- 353 篇 电气工程
- 124 篇 控制科学与工程
- 83 篇 机械工程
- 64 篇 信息与通信工程
- 47 篇 电子科学与技术（可...
- 36 篇 力学（可授工学、理...
- 34 篇 材料科学与工程（可...
- 33 篇 土木工程
- 20 篇 仪器科学与技术
- 14 篇 交通运输工程
- 13 篇 石油与天然气工程
- 11 篇 化学工程与技术
- 11 篇 环境科学与工程（可...
- 10 篇 建筑学
228 篇 理学
- 104 篇 数学
- 64 篇 物理学
- 23 篇 生物学
- 19 篇 地球物理学
- 16 篇 化学
- 15 篇 系统科学
- 15 篇 统计学（可授理学、...
124 篇 管理学
- 108 篇 管理科学与工程(可...
- 15 篇 图书情报与档案管...
- 13 篇 工商管理
110 篇 教育学
- 105 篇 教育学
18 篇 农学
18 篇 医学
- 10 篇 基础医学(可授医学...
15 篇 经济学
- 14 篇 应用经济学
10 篇 文学
- 9 篇 新闻传播学
7 篇 法学
3 篇 哲学
3 篇 历史学
3 篇 艺术学
1 篇 军事学

主题

1,960 篇 object-oriented ...
252 篇 nasa technical r...
252 篇 (ntrs)
128 篇 java
122 篇 software enginee...
55 篇 simulation
55 篇 computer program...
49 篇 reports
48 篇 computer program...
48 篇 programming lang...
44 篇 object oriented ...
44 篇 software enginee...
43 篇 design
40 篇 applications pro...
39 篇 architecture (co...
39 篇 software
39 篇 artificial intel...
37 篇 software archite...
37 篇 formal specifica...
37 篇 design patterns

机构

13 篇 naval postgradua...
5 篇 univ macedonia d...
5 篇 univ calif berke...
4 篇 iit dept comp sc...
4 篇 georgia inst tec...
4 篇 univ oslo dept i...
4 篇 newcastle univ d...
3 篇 natl res univ hi...
3 篇 international bu...
3 篇 univ oslo dept m...
3 篇 victoria univ we...
3 篇 city univ hong k...
3 篇 oak ridge natl l...
3 篇 nanjing univ sta...
3 篇 univ lancaster d...
3 篇 nova sch sci & t...
3 篇 technion israel ...
3 篇 univ coll dublin...
3 篇 oak ridge natl l...
3 篇 univ macedonia d...

作者

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

语言

1,779 篇 英文
145 篇 其他
31 篇 中文
3 篇 德文
1 篇 法文

检索条件"主题词=object-oriented programming"

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

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Computing Static Schedule for the Hosts in a Real-Time Distributed System with Component Based Applications 9

Computing Static Schedule for the Hosts in a Real-Time Distr...

引用

9th Int Conf Ind Information Syst (ICIIS2014)

作者： Canute, Julius Kumar, Atul IIIT Bangalore Karnataka India Siemens Corp Res & Technol Bangalore Karnataka India ABB Corp Res Bangalore Karnataka India

ISBN: (纸本)9781479964994

We consider cyclic real-time applications built using nearly autonomous components. These components can run on any of the available hosts subject to certain constraints. The hosts in the system are allowed to be heterogeneous and they can have different cycle times for real time execution. Given a set of component based applications and a set of available hosts, we propose a solution for the problem of finding an optimum deployment. The deployment problem can be reduced to the problem of finding feasible static schedules for each host in the system that satisfy the real-time periodic execution requirements of all the applications. We propose a deterministic algorithm for finding static schedules for all the hosts in the system. The approach models the possible partial schedules at each step as nodes in a virtual tree. A breadth first traversal is conducted to construct the tree and complete the schedule. A node is removed from the tree if it cannot lead to a correct schedule. If more than one solutions are possible then the 'best' solution is selected based on the optimization criteria.

关键词： distributed processing object-oriented programming optimisation trees (mathematics) breadth first traversal component based applications cyclic real-time applications deployment problem deterministic algorithm nearly autonomous components optimization criteria partial schedules real time execution real-time distributed system static schedule computation virtual tree Complexity theory Electronic mail Optimization Real-time systems Resource management Schedules Software optimal criterion deterministic algorithms real-time systems hosts electronic mail Distributed processing Complexity theory object oriented programming management of resources computer software time cycles Real time

来源：评论

学校读者我要写书评

暂无评论

Accountability for Abstract Component Design 40

Accountability for Abstract Component Design

引用

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

作者： Benghabrit, Walid Grall, Herve Royer, Jean-Claude Sellami, Mohamed Mines Nantes F-44307 Nantes France

ISBN: (纸本)9781479957958

The importance of the services-based market, 62.9% of the World gross domestic product (GDP) [1], triggered an increase in the use of software offered on-line as services (SaaS). The use of such software usually implies the flow of personal data on-line between several parties. This can make users reluctant to their use. In this work, we consider this issue at the design-time of the software and we propose some foundations for an accountable software design. Accountability for a software is a property describing, among other aspects, its liability to end-users for the usage of the data it has been entrusted. We propose to enrich software's component design by accountability clauses using an abstract accountability language (AAL). We also define conditions for the well-formedness of an accountable component design and show how they can be checked using a model-checking tool.

关键词： cloud computing economic indicators formal verification object-oriented programming AAL GDP SaaS abstract accountability language accountability clauses accountable component design accountable software design gross domestic product model checking tool personal data flow services-based market software component design software liability software offered on-line as services Abstracts Data privacy Law Process control Semantics Software accountability component design model-checking verification component design economic indicators Cloud Computing Accountability computer software Software as a service anti-aircraft light Model checking Data privacy object oriented programming Formal verification Guanosine 5'-(trihydrogen diphosphate) GASEOUS DIFFUSION PLANTS Process control Semantics

来源：评论

学校读者我要写书评

暂无评论

Automated implementation of Petri Nets on PLCs with OOP 19

Automated implementation of Petri Nets on PLCs with OOP

引用

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

作者： Basile, Francesco Chiacchio, Pasquale Coppola, Jolanda Gerbasio, Diego Univ Salerno Dipartimento Ing Informaz Ing Elettr & Matemat Ap Salerno Italy

ISBN: (纸本)9781479948451

In this paper a method is proposed to implement controllers and supervisors for manufacturing systems designed by Petri Nets (PNs) on Programmable Logic Controllers (PLCs) using object oriented programming (OOP). In the resulting program each instruction is directly related to the evaluation of a transition, to the update of the marking, or to the enabling of a transition. This preserves the structure of PNs and entails reusability since it allows the user to easily modify the program directly, starting from the modifications made to the PN design.

关键词： Petri nets manufacturing systems object-oriented programming programmable controllers OOP PLC PN design object oriented programming program modification programmable logic controllers Arrays Heating IEC standards object oriented modeling Reactive power Software XML

来源：评论

学校读者我要写书评

暂无评论

programming Course Design: Phenomenographic Approach to Learning and Teaching

Programming Course Design: Phenomenographic Approach to Lear...

引用

International Conference on Teaching and Learning in Computing and Engineering (LaTiCE)

作者： Thota, Neena Univ St Joseph Fac Creat Ind Macau Peoples R China

ISBN: (纸本)9781479935918

Phenomenography is a well-known empirical research approach that is often used to investigate students' ways of learning programming. Phenomenographic pedagogy is an instructional approach to plan learning and teaching activities. This theoretical paper gives an overview of prior research in phenomenographic studies of programming and shows how the results from these research studies can be applied to course design. Pedagogic principles grounded in the phenomenographic perspective on teaching and learning are then presented that consider how to tie students' experiences to the course goals ( relevance structure) and how to apply variation theory to focus on the desired critical aspects of learning. Building on this, an introductory object-oriented programming course is described as an example of research-based course design. The insights gained from the experience of running the course are shared with the community of computer science educators, as also the benefits and responsibilities for those who wish to adopt the phenomenographic perspective on learning to plan their teaching. The development of an increased awareness of the variation in students' ways of experiencing programming and the need to broaden the context of the programming course are discussed.

关键词： phenomenography variation theory introductory programming object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Method Sequence Generation for Multiple object States using Dynamic Symbolic Execution

Method Sequence Generation for Multiple Object States using ...

引用

IEEE International Conference on Systems, Man, and Cybernetics (SMC)

作者： Takamatsu, Hiroki Sato, Haruhiko Oyama, Satoshi Kurihara, Masahito Hokkaido Univ Grad Sch Informat Sci & Technol Sapporo Hokkaido Japan

ISBN: (纸本)9781479938407

Software testing in object-oriented programming requires not only test input data, but also method sequences. Method sequences create new instances and change object states as desired. Method sequence generation to get desired object states is challenging. Seeker is one of the state-of-the-art implementation to generate test cases with method sequences. However, the technique generates method sequences to change a value of only a single variable. Therefore, it cannot cover the branches that need to modify values of multiple variables. In this paper, we extend the technique in order to cover branches which require multiple desired object states. The proposed approach detects all related variables in uncovered branches and uses a fitness function to give method sequences an evaluation value to reduce candidate methods. We applied Seeker and the proposed approach to four open source projects. The result shows a 1-5% improvememt of branch coverage over Seeker and also indicates that the effectiveness of the proposed approach varies depending on some specific features of projects.

关键词： object-oriented programming program testing Seeker branch coverage candidate methods dynamic symbolic execution fitness function method sequence generation multiple desired object states open source projects software testing Algorithm design and analysis Conferences Explosions Heuristic algorithms Libraries Software testing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：