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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

6,250 篇 会议
1,395 篇 期刊文献
24 篇 学位论文
10 册 图书
6 篇 科技报告

馆藏范围

7,685 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

5,630 篇 工学
- 5,055 篇 计算机科学与技术...
- 4,683 篇 软件工程
- 504 篇 电气工程
- 334 篇 控制科学与工程
- 244 篇 信息与通信工程
- 115 篇 机械工程
- 92 篇 土木工程
- 87 篇 建筑学
- 86 篇 电子科学与技术（可...
- 48 篇 材料科学与工程（可...
- 47 篇 生物工程
- 43 篇 仪器科学与技术
- 42 篇 力学（可授工学、理...
- 37 篇 化学工程与技术
- 33 篇 生物医学工程（可授...
- 32 篇 环境科学与工程（可...
- 31 篇 光学工程
1,130 篇 理学
- 859 篇 数学
- 136 篇 物理学
- 96 篇 系统科学
- 81 篇 统计学（可授理学、...
- 62 篇 生物学
- 47 篇 化学
840 篇 管理学
- 496 篇 管理科学与工程(可...
- 399 篇 图书情报与档案管...
- 218 篇 工商管理
258 篇 教育学
- 242 篇 教育学
64 篇 法学
- 54 篇 社会学
50 篇 医学
- 38 篇 临床医学
40 篇 经济学
- 38 篇 应用经济学
14 篇 农学
13 篇 文学
10 篇 军事学
10 篇 艺术学

主题

7,685 篇 object oriented ...
908 篇 object oriented ...
430 篇 computer languag...
429 篇 programming prof...
425 篇 application soft...
388 篇 computer science
375 篇 java
284 篇 software enginee...
202 篇 software systems
148 篇 computer archite...
142 篇 concurrent compu...
132 篇 libraries
125 篇 encapsulation
121 篇 education
120 篇 software design
120 篇 distributed comp...
117 篇 data structures
116 篇 prototypes
115 篇 computational mo...
114 篇 object oriented ...

机构

16 篇 victoria univers...
15 篇 software composi...
15 篇 brno university ...
14 篇 department of co...
11 篇 dipartimento di ...
9 篇 univ of texas at...
8 篇 carnegie mellon ...
8 篇 eth
7 篇 cwi
7 篇 sun microsystems
7 篇 ibm
7 篇 eth zurich
7 篇 carnegie mellon ...
7 篇 department of ap...
7 篇 natl univ of sin...
7 篇 tsinghua univ
6 篇 univ of tokyo
6 篇 ohio state univ ...
6 篇 ieee
6 篇 promodel corpora...

作者

38 篇 noble james
19 篇 meyer bertrand
16 篇 nierstrasz oscar
15 篇 ducasse stéphane
15 篇 aldrich jonathan
14 篇 yonezawa akinori
14 篇 drossopoulou sop...
14 篇 de boer frank s.
13 篇 ancona davide
13 篇 mezini mira
12 篇 chen huo yan
11 篇 elrad tzilla
11 篇 black andrew p.
11 篇 xinogalos stelio...
11 篇 masuhara hidehik...
11 篇 vitek jan
10 篇 potanin alex
10 篇 de meuter wolfga...
10 篇 naumann david a.
9 篇 biddle robert

语言

7,461 篇 英文
150 篇 其他
31 篇 中文
14 篇 日文
8 篇 俄文
5 篇 西班牙文
5 篇 法文
4 篇 德文
3 篇 葡萄牙文
3 篇 土耳其文
1 篇 乌克兰文

检索条件"主题词=Object oriented programming"

共 7685 条记录，以下是411-420 订阅

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

详细简洁

排序：

Automating dynamic decoupling in object-oriented modelling and simulation tools 5

Automating dynamic decoupling in object-oriented modelling a...

引用

5th International Workshop on Equation-Based object-oriented Modeling Languages and Tools, EOOLT 2013

作者： Papadopoulos, Alessandro Vittorio Leva, Alberto Dipartimento di Elettronica Informazione e Bioingegneria Politecnico di Milano Italy

ISBN: (纸本)9789175196213

This manuscript presents a technique that allows Equation-based object-oriented Modelling Tools (EOOMT) to exploit Dynamic Decoupling (DD) for partitioning a complex model into "weakly coupled" submodels. This enhances simulation efficiency, and is naturally keen to parallel integration or co-simulation. After giving an overview of the problem and of related work, we propose a method to automate DD by means of a novel structural analysis of the system - called "cycle analysis" - and of a mixed-mode integration method. Also, some considerations are exposed on how the presented technique can be integrated in EOOMT, considering as representative example a Modelica translator. Simulation tests demonstrate the technique, and the realised implementation is released as free software. © is held by the author/owner(s). The proceedings are published by Linköping University Electronic Press. Proceedings available at: http://***/ecp_home/***?issue=084

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Building subject domain ontology for a corporate web application 21

Building subject domain ontology for a corporate web applica...

引用

21st Conference on Scientific Services and Internet, SSI 2019

作者： Gusenkov, A. Bukharaev, N. Birialtsev, E. Kazan Federal University Kazan Russia Kazan Federal University Kazan Russia Institute of Applied Research Academy of Sciences of the Republic of Tatarstan Kazan Russia

The technology of automated construction of the subject domain ontology, based on information extracted from the comments of the TATNEFT oil company relational databases, is considered. The technology is based on building a converter (compiler) translating the logical data model of Epicenter Petrotechnical Open Software Corporation (POSC), presented in the form of ER diagrams and a set of the EXPRESS object-oriented language descriptions, into the OWL ontology description language, recommended by the W3C consortium. The basic syntactic and semantic aspects of the transformation are described. Copyright © 2020 for this paper by its authors.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Safe, flexible aliasing with deferred borrows 34

Safe, flexible aliasing with deferred borrows

引用

34th European Conference on object-oriented programming, ECOOP 2020

作者： Fallin, Chris Mozilla Mountain ViewCA United States

ISBN: (纸本)9783959771542

In recent years, programming-language support for static memory safety has developed significantly. In particular, borrowing and ownership systems, such as the one pioneered by the Rust language, require the programmer to abide by certain aliasing restrictions but in return guarantee that no unsafe aliasing can ever occur. This allows parallel code to be written, or existing code to be parallelized, safely and easily, and the aliasing restrictions also statically prevent a whole class of bugs such as iterator invalidation. Borrowing is easy to reason about because it matches the intuitive ownership-passing conventions often used in systems languages. Unfortunately, a borrowing-based system can sometimes be too restrictive. Because borrows enforce aliasing rules for their entire lifetimes, they cannot be used to implement some common patterns that pointers would allow. Programs often use pseudo-pointers, such as indices into an array of nodes or objects, instead, which can be error-prone: the program is still memory-safe by construction, but it is not logically memory-safe, because an object access may reach the wrong object. In this work, we propose deferred borrows, which provide the type-safety benefits of borrows without the constraints on usage patterns that they otherwise impose. Deferred borrows work by encapsulating enough state at creation time to perform the actual borrow later, while statically guaranteeing that the eventual borrow will reach the same object it would have otherwise. The static guarantee is made with a path-dependent type tying the deferred borrow to the container (struct, vector, etc.) of the borrowed object. This combines the type-safety of borrowing with the flexibility of traditional pointers, while retaining logical memory-safety. © Chris Fallin.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Kaizen: A scalable concolic fuzzing tool for Scala 11

Kaizen: A scalable concolic fuzzing tool for Scala

引用

11th ACM SIGPLAN International Symposium on Scala, SCALA 2020, co-located with the ACM SIGPLAN Conference on Systems, programming, Languages, and Applications: Software for Humanity, SPLASH 2020

作者： Ashouri, Mohammadreza University of Potsdam Germany

ISBN: (纸本)9781450381772

Scala is an open-source programming language created by Martin Odersky in 2001 and released under the BSD or Berkeley Software Distribution license. The language consolidates object-oriented and functional programming in one high-level and robust language. Scala also maintains static types that help to reduce tricky errors during the execution time. In this paper, we introduce "Kaizen"as a practical security analysis tool that works based on concolic fuzzing for evaluating real-world Scala applications. To evaluated our approach, we analyzed 1,000 popular Scala projects existing on GitHub. As a result, Kaizen could report and exploit 101 security issues;some of those have not been reported before. Furthermore, our performance analysis outcome on the ScalaBench test suite demonstrates a 49% runtime overhead that proves Kaizen's usefulness for security testing in the Scala ecosystem. © 2020 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

On Controlling the Attack Surface of object-oriented Refactorings

On Controlling the Attack Surface of Object-Oriented Refacto...

引用

Fachtagung des GI-Fachbereichs Softwaretechnik, Software Engineering 2020 - Conference of the GI Special Interest Group on Software Engineering, Software Engineering 2020

作者： Ruland, Sebastian Kulcsár, Géza Leblebici, Erhan Peldszus, Sven Lochau, Malte TU Darmstadt Real-Time Systems Lab Magdalenenstr. 4 Darmstadt64289 Germany University of Koblenz-Landau Institute for Software Technology Universitätsstraße 1 Koblenz56070 Germany

ISBN: (纸本)9783885796947

The results of this work have originally been published in [Ru18]. Refactorings constitute an effective means to improve quality and maintainability of evolving object-oriented programs. Search-based techniques have shown promising results in finding near-optimal sequences of behavior-preserving program transformations that (1) maximize code-quality metrics and (2) minimize the number of code changes. However, the impact of refactorings on non-functional properties like security has received little attention so far. To this end, we propose, as a further objective, to minimize the attack surface of object-oriented programs (i.e., to maximize strictness of declared accessibility of class members). Minimizing the attack surface naturally competes with applicability of established refactorings like MoveMethod, frequently used for improving code quality in terms of coupling/cohesion measures. Our tool implementation is based on an EMF meta-model for Java-like programs and utilizes MOMoT, a search-based model-transformation and optimization framework. Our experimental results gained from applying different accessibility-control strategies to a collection of real-world Java programs show the impact of attack surface minimization on design-improving refactorings. We further compare the results to those of existing refactoring tools. © 2020 Gesellschaft fur Informatik (GI). All rights reserved.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Rational closure for all description logics 29

Rational closure for all description logics

引用

29th International Joint Conference on Artificial Intelligence, IJCAI 2020

作者： Bonatti, Piero A. Università di Napoli Federico II Italy

ISBN: (纸本)9780999241165

Many modern applications of description logics (DLs, for short), such as biomedical ontologies and semantic web policies, provide compelling motivations for extending DLs with an overriding mechanism analogous to the homonymous feature of object-oriented programming. Rational closure (RC) is one of the candidate semantics for such extensions, and one of the most intensively studied. So far, however, it has been limited to strict fragments of SROIQ(D) - the logic on which OWL2 is founded. In this paper we prove that RC cannot be extended to logics that do not satisfy the disjoint model union property, including SROIQ(D). Then we introduce a refinement of RC called stable rational closure that overcomes the dependency on the disjoint model union property. Our results show that stable RC is a natural extension of RC. However, its positive features come at a price: stable RC re-introduces one of the undesirable features of other nonmonotonic logics, namely, deductive closures may not exist and may not be unique. © 2020 Inst. Sci. inf., Univ. Defence in Belgrade. All rights reserved.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Software development method based on software bus

Software development method based on software bus

引用

2020 International Conference on Advance in Ambient Computing and Intelligence, ICAACI 2020

作者： Xu, Kun Shen, Wei Jiangsu Yangzhou the 723 Institude of Csic Yangzhou225001 China

ISBN: (纸本)9781728197531

Software is the infrastructure of information society, and the construction and application of software energy becomes a core competitiveness. The software development method condenses the systematic software construction process and technology. With the development of computer hardware technology, the development of computer software is in urgent need of further development, and software development based on software bus is a huge change in the process of software development, which will become a landmark. With the expansion of the scale of software system, its complexity is also growing rapidly and difficult to control. The nonfunctional attributes, such as log and security, are distributed in every corner of business logic in routine object-oriented development, which is difficult to be handled effectively and uniformly, which brings great obstacles to the understanding and maintenance of software. As an effective supplement of object-oriented method, aspect-oriented method unifies related attributes as crosscutting concerns to understand and sort out, and abstracts them as "party"The concept of "face"can be designed and implemented in an integrated way, which greatly increases the comprehensibility and maintainability of the code. This paper mainly introduces the method and process of software development based on software bus, and through comparative analysis with traditional software development, obtains the advantages of software development based on software bus. © 2020 IEEE.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

The impact of object immutability on the Java class size 24

The impact of object immutability on the Java class size

引用

24th KES International Conference on Knowledge-Based and Intelligent Information and Engineering Systems, KES 2020

作者： Bugayenko, Yegor Zykov, Sergey Huawei Technologies Co. Ltd. Moscow Russia Higher School of Economics Moscow Russia

According to the subjective opinions of many industry experts, object immutability is a virtue in object-oriented programming, since it leads to side-effect-free design, cleaner code, better concurrency, and many other factors. However, it has never been empirically demonstrated exactly how immutability affects quality metrics of object-oriented programs. In the following research, we analyzed 97508 classes from 240 public Java repositories to find out how immutability affects the size of the code. © 2020 The Authors. Published by Elsevier B.V.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Interface Responsibility Patterns: Processing Resources and Operation Responsibilities 20

Interface Responsibility Patterns: Processing Resources and ...

引用

2020 European Conference on Pattern Languages of Programs, EuroPLoP 2020

作者： Zimmermann, Olaf Lübke, Daniel Zdun, Uwe Pautasso, Cesare Stocker, Mirko University of Applied Sciences of Eastern Switzerland Rapperswil Switzerland IQuest GmbH Han over Germany University of Vienna Faculty of Computer Science Software Architecture Research Group Vienna Austria Software Institute Faculty of Informatics Usi Lugano Switzerland

ISBN: (纸本)9781450377690

Remote Application programming Interfaces (APIs), as for instance offered in microservices architectures, are used in almost any distributed system today and are thus enablers for many digitalization efforts. It is hard to design such APIs so that they are easy and effective to use;maintaining their runtime qualities while preserving backward compatibility is equally challenging. Finding well suited granularities in terms of the architectural capabilities of endpoints and the read-write semantics of their operations are particularly important design concerns. Existing pattern languages have dealt with local APIs in object-oriented programming, with remote objects, with queue-based messaging and with service-oriented computing platforms. However, patterns or equivalent guidances for the architectural design of API endpoints, operations and their request and response message structures are still missing. In this paper, we extend our microservice API pattern language (MAP) and introduce endpoint role and operation responsibility patterns, namely Processing Resource, Computation Function, State Creation Operation, Retrieval Operation, and State Transition Operation. Known uses and examples of the patterns are drawn from public Web APIs, as well as application development and system integration projects the authors have been involved in. © 2020 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Formalization of data derivative structures

Formalization of data derivative structures

引用

2020 International Conference on Information Science and Communications Technologies, ICISCT 2020

作者： Vosilovich Kabulov, Rustam Bakhtiyorovich Ruzibaev, Ortik Temur Ataxanovich, Kuchkorov Saidqulovich Muminov, Sanjar Tashkent University of Information Technologies Named after Muhammad Al-Khwarizimi Department of Software Engineering Amir Temur str. 108 Tashkent100200 Uzbekistan Department of System and Application Programming of Tashkent University of Information Technologies Named after Muhammad Al-Khwarizmi Amir Temur str. 108 Tashkent100200 Uzbekistan

ISBN: (纸本)9781728199696

The paper considers the topical issue of formal description of data structures. Data structures are widely used in modern object-oriented programming to solve various practical problems. The paper introduces functions for performing operations with such data structures as stack, queue, and priority queue. The conditions that these functions must satisfy are introduced as axioms. To describe the axioms, an approach based on an abstract data type, algebraic and programmatic approaches were used. © 2020 IEEE.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 38 39 40 41 42 43 44 45 46 47 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：