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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

66 篇 会议
3 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

58 篇 工学
- 49 篇 计算机科学与技术...
- 48 篇 软件工程
- 7 篇 电气工程
- 3 篇 信息与通信工程
- 2 篇 环境科学与工程（可...
- 2 篇 生物工程
- 1 篇 控制科学与工程
- 1 篇 生物医学工程（可授...
13 篇 理学
- 10 篇 数学
- 4 篇 生物学
5 篇 管理学
- 2 篇 管理科学与工程(可...
- 2 篇 工商管理
- 2 篇 图书情报与档案管...
2 篇 教育学
- 2 篇 教育学
1 篇 经济学
- 1 篇 应用经济学
1 篇 法学
- 1 篇 社会学
1 篇 医学
- 1 篇 基础医学(可授医学...
- 1 篇 临床医学
- 1 篇 药学(可授医学、理...

主题

29 篇 object oriented ...
4 篇 java
4 篇 software quality
3 篇 object oriented ...
3 篇 object-oriented ...
3 篇 reverse engineer...
2 篇 software systems
2 篇 runtime
2 篇 computer archite...
2 篇 software archite...
2 篇 calculations
2 篇 humans
2 篇 functional progr...
2 篇 software mainten...
1 篇 genetic programm...
1 篇 generative progr...
1 篇 programming prof...
1 篇 business process...
1 篇 virtual addresse...
1 篇 access control

机构

2 篇 independent soft...
2 篇 faculdade de ciê...
1 篇 univ oslo dept i...
1 篇 universita’ di m...
1 篇 microsoft corp r...
1 篇 computer science...
1 篇 univ siegen dept...
1 篇 univ milan dsi i...
1 篇 bell south commu...
1 篇 microsoft
1 篇 university of ma...
1 篇 research center ...
1 篇 department of co...
1 篇 software composi...
1 篇 division of comp...
1 篇 mitchell madison...
1 篇 delft univ techn...
1 篇 research centre ...
1 篇 ecole des mines ...
1 篇 dipartimento di ...

作者

2 篇 sahraoui houari
2 篇 ancona davide
2 篇 lange christian ...
2 篇 bertino elisa
2 篇 mens kim
2 篇 guéhéneuc yann-g...
1 篇 mario l. bernard...
1 篇 perin fabrizio
1 篇 hirschfeld rober...
1 篇 dalila tamzalit
1 篇 merlo isabella
1 篇 molnar balint
1 篇 czarnecki k
1 篇 tudor girba
1 篇 szyperski clemen...
1 篇 ralf reussner
1 篇 sy o
1 篇 cordsen j.
1 篇 he dongjie
1 篇 hatcliff john

语言

67 篇 英文
3 篇 其他

检索条件"任意字段=12th European Conference on Object-Oriented Programming, ECOOP 1998"

共 70 条记录，以下是51-60 订阅

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

详细简洁

排序：

object-oriented reengineering

引用

21st european conference on object-oriented programming, ecoop 2007

作者： Demeyer, Serge Guéhéneuc, Yann-Gaël Keller, Anne Lange, Christian F. J. Mens, Kim Kuhn, Adrian Kuhlemann, Martin Department of Mathematics and Computer Science University of Antwerp Belgium Department of Computer Science and Operations Research Université de Montréal Canada Engineering and Technology Group Eindhoven University of Technology Netherlands Département d'Ingénierie Informatique Université Catholique de Louvain Belgium Software Software Composition Group University of Berne Switzerland School of Computer Science University of Magdeburg Germany

ISBN: (纸本)3540781943

the ability to reengineer object-oriented legacy systems has become a vital matter in today's software industry. Early adopters of the object-oriented programming paradigm are now facing the problem of transforming their object-oriented "legacy" systems into full-fledged frameworks. To address this problem, a series of workshops has been organised to set up a forum for exchanging experiences, discussing solutions, and exploring new ideas. Typically, these workshops were organised as satellite events of major software engineering conferences, such as ecoop [1,2,3,4,5,6,7,8,9,10,11] and ESEC/FSE [12,13,14] . During the past 10 years, participants of this workshop series have been actively contributing to the state-of-the-art on reengineering of object-oriented systems. this special 10 th anniversary edition was no exception and this report summarises the key discussions and outcome of that workshop. © 2008 Springer-Verlag Berlin Heidelberg.

关键词： Reengineering

来源：评论

学校读者我要写书评

暂无评论

Software evolution: A trip through reflective, aspect, and meta-data oriented techniques

Software evolution: A trip through reflective, aspect, and m...

引用

18th european conference on object-oriented programming (ecoop 2004)

作者： Cazzola, W Chiba, S Saake, G Univ Milan DICo Milan Italy Tokyo Inst Technol Dept Math & Comp Sci Tokyo 152 Japan Univ Magdeburg Inst Tech & Betriebliche Informat Syst D-39106 Magdeburg Germany

ISBN: (纸本)354023988X

Previous workshops related to aspect oriented software development, reflection organized at previous ecoop conferences (e.g., RMA'00(1).and AOM-MeT'01(2).) and conferences on the same topics (Reflection'01 and AOSD since 2002) have pointed out the growing interest on these topics and their relevance in the software evolution as techniques for code instrumentation. Very similar conclusions can be drawn by reading the contributions to the workshops on unanticipated software evolution (USE 2002 and USE 2003(3).). Following the example provided by these venues, the RAM-SE (Reflection, AOP and Meta-Data for Software Evolution) workshop has provided an opportunity for researchers with a broad range of interests in reflective techniques and aspect-oriented software development to discuss recent developments of such a techniques in application to the software evolution. the workshop main goal was to encourage people to present works in progress. these works could cover all the spectrum from theory to practice. To ensure creativity, originality, and audience interests, participants have been selected by the workshop organizers on the basis of 5-page position paper. We hope that the workshop will help them to mature their ideas and to improve the quality of their future publications based on the presented work. the workshop proceedings are available as research report C-186 of the Department of Mathematical and Computing Sciences of the Tokyo Institute of Technology and freely downlodable from the workshop web site(4).

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

Quantitative approaches in object-oriented software engineering

Quantitative approaches in object-oriented software engineer...

引用

ecoop 2006 Workshop Reader - 10th european conference on Obiect-oriented programming

作者： Brito e Abreu, Fernando Calero, Coral Guéhéneuc, Yann-Gaël Lanza, Michele Sahraoui, Houari Univ. of Lisbon Portugal Univ. of Castilla Spain Univ. of Montreal Canada Univ. of Lugano Switzerland

ISBN: (纸本)9783540717720

the QAOOSE 2006 workshop brought together, for a full day, researchers working on several aspects related to quantitative evaluation of software artifacts developed with the object-oriented paradigm and related technologies. Ideas and experiences were shared and discussed. this report includes a summary of the technical presentations and subsequent discussions raised by them. 12 out of 14 submitted position papers were presented, covering different aspects such as metrics, components, aspects and visualization, evolution, quality models and refactorings. In the closing session the participants were able to discuss open issues and challenges arising from researching in this area, and they also tried to forecast which will be the hot topics for research in the short to medium term. © Springer-Verlag Berlin Heidelberg 2007.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Accelerating object-sensitive pointer analysis by exploiting object containment and reachability 35

Accelerating object-sensitive pointer analysis by exploiting...

引用

35th european conference on object-oriented programming, ecoop 2021

作者： He, Dongjie Lu, Jingbo Gao, Yaoqing Xue, Jingling University of New South Wales Sydney Australia University of New South Wales Sydney Australia Huawei Toronto Canada University of New South Wales Sydney Australia

ISBN: (纸本)9783959771900

object-sensitive pointer analysis for an object-oriented program can be accelerated if contextsensitivity can be selectively applied to some precision-critical variables/objects in the program. Existing pre-analyses, which are performed to make such selections, either preserve precision but achieve limited speedups by reasoning about all the possible value flows in the program conservatively or achieve greater speedups but sacrifice precision (often unduly) by examining only some but not all the value flows in the program heuristically. In this paper, we introduce a new approach, named Turner, that represents a sweet spot between the two existing ones, as it is designed to enable object-sensitive pointer analysis to run significantly faster than the former approach and achieve significantly better precision than the latter approach. Turner is simple, lightweight yet effective due to two novel aspects in its design. First, we exploit a key observation that some precision-uncritical objects can be approximated based on the object-containment relationship pre-established (by applying Andersen's analysis). this approximation introduces a small degree yet the only source of imprecision into Turner. Second, leveraging this initial approximation, we introduce a simple DFA to reason about object reachability for a method intra-procedurally from its entry to its exit along all the possible value flows established by its statements to finalize its precision-critical variables/objects identified. We have validated Turner with an implementation in Soot against the state of the art using a set of 12 popular Java benchmarks and applications. © 2021 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. All rights reserved.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of a Workflow oriented ERP System 12

Design and Implementation of a Workflow Oriented ERP System

引用

12th International Joint conference on E-Business and Telecommunications (ICETE)

作者： Molnar, Balint Marias, Zsigmond Eotvos Lorand Univ Fac Informat Pazmany Peter Setkny 1-C H-1117 Budapest Hungary LogiNet Syst Kft H-1221 Budapest Hungary

ISBN: (纸本)9789897581403

Adaptation of enterprise resource planning systems to the frequently changing business environment and business processes require huge resources. that is why the demand was formulated for a method that enables introducing new features in software systems without any modification in program code. An adaptive ERP system cannot handle business processes and data flow as disjoint components. therefore the proposed solution is bifocal: an adaptive ERP system with highly integrated data flow and document management. In this article design and programming challenges are shown that had to be met during the development, focusing on topics of effective data storage and queries, workflow control structures and workflow evaluation techniques, document representation and the connection of workflow and data flow.

关键词： Workflow ERP Systems Business Process Management Business Process Modeling Document Models Data Flow

来源：评论

学校读者我要写书评

暂无评论

Deep Linguistic Multilingual Translation and Bilingual Dictionaries 4

Deep Linguistic Multilingual Translation and Bilingual Dicti...

引用

4th Workshop on Statistical Machine Translation, WMT 2009, immediately preceding the 12th conference of the european Chapter of the Association for Computational Linguistics, EACL 2009

作者： Wehrli, Eric Nerima, Luka Scherrer, Yves LATL-Department of Linguistics University of Geneva Switzerland

this paper describes the MulTra project, aiming at the development of an efficient multilingual translation technology based on an abstract and generic linguistic model as well as on object-oriented software design. In particular, we will address the issue of the rapid growth both of the transfer modules and of the bilingual databases. For the latter, we will show that a significant part of bilingual lexical databases can be derived automatically through transitivity, with corpus validation. ©2009 Association for Computational Linguistics.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Dimensions of precision in reference analysis of object-oriented programming languages

引用

12th International conference on Compiler Construction, CC 2003 Held as Part of the Joint european conferences on theory and Practice of Software, ETAPS 2003

作者： Ryder, Barbara G. Division of Computer and Information Sciences Rutgers University New BrunswickNJ08903 United States

ISBN: (纸本)3540009043

there has been approximately a ten year history of reference analyses for object-oriented programming languages. Approaches vary as to how different analyses account for program execution flow, how they capture calling context, and how they model objects, reference variables and the possible calling structure of the program. A taxonomy of analysis dimensions that affect precision (and cost) will be presented and illustrated by examples of existing reference analysis techniques. © Springer-Verlag Berlin Heidelberg 2003.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Time Complexity of Concurrent Programs - A Technique Based on Behavioural Types - 12th

引用

12th International conference on Formal Aspects of Component Software (FACS)

作者： Giachino, Elena Johnsen, Einar Broch Laneve, Cosimo Pun, Ka I. Univ Bologna Dept Comp Sci & Engn INRIA FOCUS Bologna Italy Univ Oslo Dept Informat Oslo Norway

ISBN: (纸本)9783319289342;9783319289335

We study the problem of automatically computing the time complexity of concurrent object-oriented programs. To determine this complexity we use intermediate abstract descriptions that record relevant information for the time analysis (cost of statements, creations of objects, and concurrent operations), called behavioural types. then, we define a translation function that takes behavioural types and makes the parallelism explicit into so-called cost equations, which are fed to an automatic off-the-shelf solver for obtaining the time complexity.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Pointwise temporal object database browsing

引用

International Symposium on objects and Databases, 2000 held in conjunction with 14th european conference on object-oriented programming, ecoop 2000

作者： Dumas, Marlon Daassi, Chaouki Fauvet, Marie-Christine Nigay, Laurence LSR-IMAG Univ. of Grenoble BP 72 St-Martin d’He-’res38402 France CLIPS-IMAG Univ. of Grenoble BP 53 Grenoble Cedex 938041 France

ISBN: (纸本)3540416641

Visual object database browsers are essentially based on two kinds of interactions: navigation within a collection of objects, and navigation between objects by the way of their relationships. these two inter-actional operators have proven to adequately support the main user task addressed by these tools, that is, exploring the states of a set of related objects. In temporal object databases, visual browsing tools should additionally support users tasks such as examining a snapshot of a collection of objects at a given instant, or detecting changes within object states. In this paper, we show that the two interactional operators supported by classical object browsers do not adequately address these tasks. We consequently propose an interactional operator dedicated to navigation through time, and we study how it may be orthogonally integrated with the above two. © Springer-Verlag Berlin Heidelberg 2001.

关键词： User interfaces

来源：评论

学校读者我要写书评

暂无评论

Tools and Algorithms for the Construction and Analysis of Systems - 12th International conference, TACAS 2006. Held as Part of the Joint european conferences on theory and Practice of Software, ETAPS 2006, Proceedings

引用

12th International conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2006. Held as Part of the Joint european conferences on theory and Practice of Software, ETAPS 2006

ISBN: (纸本)3540330569

the proceedings contain 33 papers. the topics discussed include: weighted pushdown systems and trust management systems;automatic verification of parameterized data structures;parameterized verification of π calculus systems;easy parameterized verification of biphase mark and 8N1 protocols;evaluating the effectiveness of slicing for model reduction of concurrent object oriented programs;new metrics for static variable ordering in decision diagrams;widening ROBDDs with prime implicants;efficient guided symbolic reachability using reachability expressions;SAT - based software certification;exploration of the capabilities of constraint programming for software verification;efficient abstraction refinement in interpolation based unbounded model checking;and approximating predicate images for bit vector logic.

关键词： Computer software

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共7页 << < 1 2 3 4 5 6 7 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：