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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

250 篇 会议
9 篇 期刊文献
5 册 图书

馆藏范围

264 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

201 篇 工学
- 170 篇 计算机科学与技术...
- 155 篇 软件工程
- 23 篇 控制科学与工程
- 18 篇 电气工程
- 8 篇 信息与通信工程
- 4 篇 建筑学
- 4 篇 土木工程
- 2 篇 仪器科学与技术
- 2 篇 化学工程与技术
- 1 篇 材料科学与工程（可...
- 1 篇 电子科学与技术（可...
- 1 篇 测绘科学与技术
- 1 篇 生物医学工程（可授...
- 1 篇 生物工程
- 1 篇 安全科学与工程
32 篇 管理学
- 24 篇 图书情报与档案管...
- 13 篇 管理科学与工程(可...
- 6 篇 工商管理
29 篇 理学
- 22 篇 数学
- 5 篇 统计学（可授理学、...
- 3 篇 化学
- 2 篇 系统科学
- 1 篇 物理学
- 1 篇 地球物理学
- 1 篇 生物学
9 篇 教育学
- 9 篇 教育学
6 篇 医学
- 6 篇 临床医学
- 2 篇 基础医学(可授医学...
2 篇 经济学
- 2 篇 应用经济学
2 篇 法学
- 2 篇 社会学

主题

96 篇 object oriented ...
24 篇 object oriented ...
17 篇 java programming...
17 篇 object-oriented ...
16 篇 programming
15 篇 software enginee...
13 篇 java
10 篇 computer science
9 篇 software
8 篇 application soft...
8 篇 computer languag...
8 篇 unified modeling...
7 篇 software systems
7 篇 permission
6 篇 languages
6 篇 computer archite...
6 篇 aspect oriented ...
6 篇 concrete
6 篇 computer program...
5 篇 programming prof...

机构

3 篇 ibm corp thomas ...
2 篇 gannon univ comp...
2 篇 school of comput...
2 篇 infosys labs ban...
2 篇 nanjing univ sta...
2 篇 dakota state uni...
2 篇 department of co...
2 篇 ibm thomas j. wa...
2 篇 univ texas dalla...
2 篇 carleton univers...
2 篇 victoria univers...
2 篇 tokyo inst techn...
2 篇 univ bern softwa...
2 篇 thoughtworks uk ...
2 篇 department of co...
1 篇 university of ma...
1 篇 wells fargo bank...
1 篇 department of co...
1 篇 dept. of compute...
1 篇 univ london impe...

作者

5 篇 noble james
4 篇 biddle robert
3 篇 siek jeremy
3 篇 ernst michael d.
2 篇 mackinnon tim
2 篇 mezini m
2 篇 lorenz david h.
2 篇 tip f
2 篇 pryce nat
2 篇 black andrew p.
2 篇 gestwicki paul v...
2 篇 walnes joe
2 篇 melo walcelio
2 篇 freeman steve
2 篇 leavens gary t.
2 篇 chiba s
2 篇 wong w. eric
2 篇 andrew p. black
2 篇 e abreu fernando...
2 篇 drossopoulou s

语言

260 篇 英文
2 篇 其他
2 篇 中文

检索条件"任意字段=19th European Conference on Object-Oriented Programming"

共 264 条记录，以下是201-210 订阅

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

PANDA — Supporting distributed programming in C++ 7th

引用

7th european conference on object-oriented programming, ECOOP 1993

作者： Assenmacher, H. Breitbach, T. Buhler, P. Hübsch, V. Schwarz, R. Department of Computer Science University of Kaiserslautern P.O. Box 3049 KaiserslautemW-6750 Germany

ISBN: (纸本)9783540571209

PANDA is a run-time package based on a very small operating system kernel which supports distributed applications written in C++. It provides powerful abstractions such as very efficient user-level threads, a uniform global address space, object and thread mobility, garbage collection, and persistent objects. the paper discusses the design rationales underlying the PANDA system. the fundamental features of PANDA are surveyed, and their implementation in the current prototype environment is outlined. © Springer-Verlag Berlin Heidelberg 1993.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

A semantic analysis of C++ templates

引用

20th european conference on object-oriented programming, ECOOP 2006

作者： Siek, Jeremy Taha, Walid Rice University Houston TX 77005 United States

ISBN: (纸本)3540357262

Templates are a powerful but poorly understood feature of the C++ language. their syntax resembles the parameterized classes of other languages (e.g., of Java). But because C++ supports template specialization, their semantics is quite different from that of parameterized classes. Template specialization provides a Turing-complete sub-language within C++ that executes at compile-time. Programmers put this power to many uses. For example, templates are a popular tool for writing program generators. the C++ Standard defines the semantics of templates using natural language, so it is prone to misinterpretation. the meta-theoretic properties of C++ templates have not been studied, so the semantics of templates has not been systematically checked for errors. In this paper we present the first formal account of C++ templates including some of the more complex aspects, such as template partial specialization. We validate our semantics by proving type safety and verify the proof with the Isabelle proof assistant. Our formalization reveals two interesting issues in the C++ Standard: the first is a problem with member instantiation and the second concerns the generation of unnecessary template specializations. © Springer-Verlag Berlin Heidelberg 2006.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Formal techniques for java-like programs 1

引用

16th european conference on object-oriented programming, ECOOP 2002

作者： Drossopoulou, Sophia Eisenbach, Susan Leavens, Gary T. Poetzsch-Heffter, Arnd Poll, Erik Department of Computing Imperial College of London United Kingdom Department of Computer Science Iowa State University United States Fachbereich Informatik Fern Universitaet Hagen Germany Dept. of Computer Science University of Nijmegen Netherlands

this report gives an overview of the fourth ECOOP Workshop on Formal Techniques for Java-like Programs. It explains the motivation for such a workshop and summarizes the presentations and discussions. © Springer-... 详细信息

ISBN: (数字)9783540362081

ISBN: (纸本)3540002332

关键词： Java programming language

来源：评论

学校读者我要写书评

暂无评论

Leveraging a Large Banking Organization to object Technology

Leveraging a Large Banking Organization to Object Technology

引用

International conference on Software Engineering (ICSE)

作者： W. Karbach J. Noack H.-B. Kittlaus German Savings Bank Organization Bonn Germany

来源：评论

学校读者我要写书评

暂无评论

AUTOMATED TEST CODE GENERATION FROM CLASS STATE MODELS

AUTOMATED TEST CODE GENERATION FROM CLASS STATE MODELS

引用

19th International conference on Software Engineering and Knowledge Engineering

作者： Xu, Dianxiang Xu, Weifeng Wong, W. Eric Dakota State Univ Natl Ctr Protect Financial Infrastruct Madison SD 57042 USA Nanjing Univ State Key Lab Novel Software Technol Nanjing 210093 Jiangsu Peoples R China Gannon Univ Comp & Informat Sci Dept Erie PA 16541 USA Univ Texas Dallas Dept Comp Sci Richardson TX 75803 USA

this paper presents an approach to automated generation of executable test code from class models represented by the UML protocol state machines. It supports several coverage criteria for state models, including state coverage, transition coverage, and basic and extended round-trip coverage. It allows the tester to add and modify detailed test parameters (e. g., actual arguments for method invocations and implementation-specific environments) if necessary. When the state model is modified due to requirements change, the hand-crafted test parameters, if still valid, are automatically reused. this reduces the working load for regeneration of tests for modified models. In addition to test code, we also automatically generate state wrapper aspects in AspectJ, which facilitates comparing actual object states to expected states during test execution. this enables the automated verdict of pass/failure for test cases without the need to modify the source code of the class under test. We present two examples for which the executable test code is generated. they demonstrate the reuse of test parameters and testing of object interactions, respectively.

关键词： Software testing UML protocol state machines test generation object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Parametric medial shape representation in 3-D via the Poisson partial differential equation with non-linear boundary conditions

Parametric medial shape representation in 3-D via the Poisso...

引用

19th International conference on Information Processing in Medical Imaging

作者： Yushkevich, PA Zhang, H Gee, JC Univ Penn Dept Radiol Philadelphia PA 19104 USA

ISBN: (纸本)3540265457

this paper presents a new shape representation for a special class of 3-D objects. In a generative approach to object modeling inspired by m-reps [15], skeletons of objects are explicitly defined as continuous manifolds and boundaries are derived from the skeleton by a process that involves solving a Poisson PDE with a non-linear boundary condition. this formulation helps satisfy the equality constraints that are imposed on the parameters of the representation by rules of media] geometry. One benefit of the new approach is the ability to represent different instances of an anatomical structure using a common parametrization domain, simplifying the problem of computing correspondences between instances. Another benefit is the ability to continuously parameterize the volumetric region enclosed by the representation's boundary in a one-to-one and onto manner, in a way that preserves two of the three coordinates of the parametrization along vectors normal to the boundary. these two features make the new representation an attractive candidate for statistical analysis of shape and appearance. In this paper, the representation is carefully defined and the results of fitting the hippocampus in a deformable templates framework are presented.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Automatic Recovery from Runtime Failures

Automatic Recovery from Runtime Failures

引用

35th International conference on Software Engineering (ICSE)

作者： Carzaniga, Antonio Gorla, Alessandra Mattavelli, Andrea Perino, Nicolo Pezze, Mauro Univ Lugano Fac Informat Lugano Switzerland Univ Saarland Dept Comp Sci Saarbrucken Germany

ISBN: (纸本)9781467330763

We present a technique to make applications resilient to failures. this technique is intended to maintain a faulty application functional in the field while the developers work on permanent and radical fixes. We target field failures in applications built on reusable components. In particular, the technique exploits the intrinsic redundancy of those components by identifying workarounds consisting of alternative uses of the faulty components that avoid the failure. the technique is currently implemented for Java applications but makes little or no assumptions about the nature of the application, and works without interrupting the execution flow of the application and without restarting its components. We demonstrate and evaluate this technique on four mid-size applications and two popular libraries of reusable components affected by real and seeded faults. In these cases the technique is effective, maintaining the application fully functional with between 19% and 48% of the failure-causing faults, depending on the application. the experiments also show that the technique incurs an acceptable runtime overhead in all cases.

关键词： object-oriented programming software libraries software maintenance software reusability system recovery

来源：评论

学校读者我要写书评

暂无评论

An investigation into coupling measures for C++ 97

An investigation into coupling measures for C++

引用

19th International conference on Software Engineering (ICSE 97) - Pulling Together

作者： Briand, L Devanbu, P Melo, W Fraunhofer IESE Technologie Park Sauerwiesen 6 D-67661 Kaiserslautern Germany AT&T Labs Research 600 Mountain Ave Murray Hill New Jersey CRIM 1801 McGill College Ave Montreal Canada H3A24

ISBN: (纸本)0897919149

this paper proposes a comprehensive suite of measures to quantify the level of class coupling during the design of object-oriented systems. this suite takes into account the different OO design mechanisms provided by the C++ language (e.g., friendship between classes, specialization, and aggregation) but it can be tailored to other OO languages. the different measures in our suite thus reflect different hypotheses about the different mechanisms of coupling in OO systems. Based on actual project defect data, the hypotheses underlying our coupling measures are empirically validated by analyzing their relationship with the probability of fault detection across classes. the results demonstrate that some of these coupling measures may be useful early quality indicators of the design of OO systems. these measures are conceptually different from the OO design measures defined by Chidamber and Kemerer;in addition, our data suggests that they are complementary quality indicaters.

关键词： coupling on object-oriented design C++ programming language prediction model of fault-prone components

来源：评论

学校读者我要写书评

暂无评论

Proceedings - International conference of the Chilean Computer Science Society, SCCC

Proceedings - International Conference of the Chilean Comput...

引用

19th International conference of the Chilean Computer Science Society, SCCC 1999

ISBN: (纸本)0769502962

the proceedings contain 27 papers. the topics discussed include: using computational reflection in optimistic distributed simulations;an adaptive approach for dynamically generating behavior nets on intelligent agents;comparative analysis of different learning algorithms on a common neural network structure;MetaFT-a reflective approach to implement replication techniques in CORBA;a configuration mechanism for versioned documents;a three-layer DSS based on multi-objective value analysis for internationalization of software products and services;a probabilistic approach to distributed batch scheduling;interface mutation: assessing testing quality at interprocedural level;Proteum/FSM a tool to support finite state machine validation based on mutation testing;an object-oriented approach to a parallel Tabu search algorithm for the task scheduling problem;towards automated performance prediction in bulk-synchronous parallel discrete-event simulation;adaptive square triangulations as multiresolution model in volume visualization;a technique for the (d, s, N)-bus network problem;an application of abstract data types in the genetic algorithms construction: the example of the traveling salesman problem;enhancing the Bayesian network approach to face detection;EMTPL: a programming language for temporal deductive data bases;and integrating true concurrency into the robot programming language GOLOG.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共27页 << < 17 18 19 20 21 22 23 24 25 26 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：