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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

59 篇 会议
6 篇 期刊文献
1 册 图书

馆藏范围

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

日期分布

学科分类号

57 篇 工学
- 54 篇 计算机科学与技术...
- 40 篇 软件工程
- 5 篇 电气工程
- 2 篇 信息与通信工程
10 篇 理学
- 8 篇 数学
- 3 篇 系统科学
- 1 篇 生物学
6 篇 管理学
- 3 篇 管理科学与工程(可...
- 3 篇 图书情报与档案管...
1 篇 法学
- 1 篇 社会学
1 篇 教育学
- 1 篇 心理学(可授教育学...

主题

21 篇 object oriented ...
5 篇 object-oriented ...
5 篇 object oriented ...
2 篇 machine translat...
2 篇 common object re...
2 篇 calculations
2 篇 belgo-luxembourg...
2 篇 formal methods
1 篇 commute
1 篇 software systems
1 篇 generative progr...
1 篇 programming prof...
1 篇 performance
1 篇 tuning
1 篇 theorem proving
1 篇 computer science...
1 篇 access control
1 篇 structured docum...
1 篇 interoperability
1 篇 large volume

机构

2 篇 univ carlos iii ...
2 篇 carnegie mellon ...
2 篇 sony computer sc...
1 篇 univ toulouse 1 ...
1 篇 chemnitz univ te...
1 篇 department of co...
1 篇 center for the s...
1 篇 quinta da torre ...
1 篇 universidade fed...
1 篇 universidad de m...
1 篇 seattle wa 98102...
1 篇 university of co...
1 篇 univ milan dsi i...
1 篇 sun microsystems...
1 篇 laas-cnrs 7 aven...
1 篇 iuliu haţieganu ...
1 篇 university colle...
1 篇 univ magdeburg f...
1 篇 swiss federal in...
1 篇 utrecht universi...

作者

2 篇 zuse horst
2 篇 christof monz
2 篇 davis kei
2 篇 demeyer serge
2 篇 aldrich jonathan
2 篇 e abreu fernando...
1 篇 hüttemann stefan
1 篇 meseguer josé
1 篇 vitek j
1 篇 filippo ricca
1 篇 kovacevic srdjan
1 篇 arianna bisazza
1 篇 kim duri
1 篇 alastair wilcox
1 篇 spyros martzouko...
1 篇 cherki s
1 篇 rodrigues luís
1 篇 czarnecki k
1 篇 schmidt h
1 篇 sy o

语言

63 篇 英文
2 篇 其他
1 篇 中文

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

共 66 条记录，以下是31-40 订阅

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

详细简洁

排序：

object technology for product-line architectures 13th

Object technology for product-line architectures

引用

13th european conference on object-oriented programming (ecoop 99)

作者： Lalanda, P Bosch, J Lerchundi, R Cherki, S Univ Karlskrona Karlskrona Sweden

ISBN: (纸本)354066954X

the industry of software-intensive systems is facing today both economical and technical challenges. On one hand, shrinking budgets and sharp competition require to reduce significantly development and maintenance costs, shorten lead time, and improve predictability. On the other hand, the size and complexity of systems have dramatically increased in the past few years and have brought considerable technological problems. In order to face these issues, major changes are required regarding the way software products are developed. A promising approach, which is gaining wide acceptance, is to replace traditional development models by product-line development. Traditional life cycle models have originally been conceived under the assumption that they apply to the development of individual software products, inhibiting the sharing of common assets between projects. Product-line development is based on a different approach, which naturally promotes and supports software reuse. In a productline approach, products addressing a same domain are regarded as a whole and developed as members of a product family.

关键词：

来源：评论

学校读者我要写书评

暂无评论

object-oriented architectural evolution 13th

Object-oriented architectural evolution

引用

13th european conference on object-oriented programming, ecoop 1999

作者： Borne, Isabelle Demeyer, Serge Galal, Galal Hassan Ecole des Mines de Nantes United Kingdom University of Berne Switzerland University College London United Kingdom

ISBN: (纸本)354066954X

Software Architecture has become an established area of study within the software engineering community for a considerable time now. Recently, Software Architecture has become a topic of interest within the object-oriented community as well. the quality of an object- oriented architecture can be described by a set of characteristics, such as modularity, extensibility, flexibility, adaptability, understandability, testability and reusability, which are recognized to facilitate the evolution and the maintenance of software systems. Architecture represents the highest level of design decisions about a system and evolution aspects have to be considered at this level. Moreover, the ever-changing world makes evolvability a strong quality requirement for the majority of soft- ware architectures. the main objective of this workshop was to establish a working dialogue about the effective use of techniques, formalisms and tools, as well as their combinations in order to address the architectural evolution of object oriented software systems, either in their initial development or in their later redesign. the workshop also did aim to highlight outstanding issues that should form a part of the forthcoming research agenda in the evolvability of object-oriented software architectures. © Springer-Verlag Berlin Heidelberg 1999.

关键词： Software architecture

来源：评论

学校读者我要写书评

暂无评论

Interactive system design and object models 13th

Interactive system design and object models

引用

13th european conference on object-oriented programming, ecoop 1999

作者： Nunes, Nuno Jardim Toranzo, Marco e Cunha, João Falcão Castro, Jaelson Kovacevic, Srdjan Roberts, Dave Tarby, Jean-Claude Collins-Cope, Mark van Harmelen, Mark Universidade da Madeira Portugal Universidade Federal de Pernanbuco Brazil Universidade do Porto Portugal Universidade Federal de Pernambuco Brazil Aonix United States IBM Easy of Use United Kingdom Universite de Lille France Ratio Group United Kingdom Cutting Edge Systems United Kingdom

ISBN: (纸本)354066954X

this paper reports the activities of the ecoop’99Workshop on Interactive System Design with object Models (WISDOM’99). the paper presents the workshop rational, format, the discussion framework and its four identified issues: architecture, process, notation and trace-ability. the results of the workshop are proposals for a meta-architecture to develop interactive systems, an user-centered software development process framework, some comments on notation issues and finally a trace-ability model of user interface design. Furthermore this paper contains abstracts of all position papers presented at the workshop. © Springer-Verlag Berlin Heidelberg 1999.

关键词： Systems analysis

来源：评论

学校读者我要写书评

暂无评论

Foundations for virtual types 13th

引用

13th european conference on object-oriented programming, ecoop 1999

作者： Igarashi, Atsushi Pierce, Benjamin C. Department of Computer and Information Science University of Pennsylvania 200 South 33rd St PhiladelphiaPA19104 United States

ISBN: (纸本)3540661565

Virtual types have been proposed as a notation for generic programming in object-oriented languages|an alternative to the more familiar mechanism of parametric classes. the tradeoffs between the two mechanisms are a matter of current debate: for many examples, both appear to over convenient (indeed almost interchangeable) solutions;in other situations, one or the other seems to be more satisfactory. However, it has proved difficult to draw rigorous comparisons between the two approaches, partly because current proposals for virtual types vary considerably in their details, and partly because the proposals themselves are described rather informally, usually in the complicating context of full-scale language designs. Work on the foundations of object-oriented languages has already established a clear connection between parametric classes and the polymorphic functions found in familiar typed lambda-calculi. Our aim here is to explore a similar connection between virtual types and dependent records. We present, by means of examples, a straightforward model of objects with embedded type fields in a typed lambda-calculus with subtyping, type operators, fixed points, dependent functions, and dependent records with both "bounded" and "manifest" type fields (this combination of features can be viewed as a measure of the inherent complexity of virtual types). Using this model, we then discuss some of the major differences between previous proposals and show why some can be checked statically while others require run-time checks. We also investigate how the partial "duality" of virtual types and parametric classes can be understood in terms of translations between universal and (dependent) existential types. © Springer-Verlag Berlin Heidelberg 1999.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

AN object CALCULUS FOR ASYNCHRONOUS COMMUNICATION 5th

引用

5th european CONF ON object-oriented programming ( ecoop 91 )

作者： HONDA, K TOKORO, M Department of Computer Science Keio University 3-14-1 Hiyoshi Kohoku-ku Yokohama 223 Japan Sony Computer Science Laboratory Inc. 3-14-13 Higashi-Gotanda Shinagawa-ku Tokyo 141 Japan

ISBN: (纸本)3540542620

this paper presents a formal system based on the notion of objects and asynchronous communication. Built on Milner’s work on π-calculus, the communication primitive of the formal system is purely based on asynchronous communication, which makes it unique among various concurrency formalisms. Computationally this results in a consistent reduction of Milner’s calculus, while retaining the same expressive power. Seen semantically asynchronous communication induces a surprisingly different framework where bisimulation is strictly more general than its synchronous counterpart. this paper shows basic construction of the formal system along with several illustrative examples. © Springer-Verlag Berlin Heidelberg 1991.

关键词： Calculations

来源：评论

学校读者我要写书评

暂无评论

Message dispatch on pipelined processors 9th

Message dispatch on pipelined processors

引用

9th european conference on object-oriented programming (ecoop 95)

作者： Driesen, K Holzle, U Vitek, J UNIV GENEVA CTR UNIV INFORMATOBJECT SYST GRPCH-1211 GENEVA 4SWITZERLAND

ISBN: (纸本)3540601600

object-oriented systems must implement message dispatch efficiently in order not to penalize the object-oriented programming style. We characterize the performance of most previously published dispatch techniques for both statically- and dynamically-typed languages with both single and multiple inheritance. Hardware organization (in particular, branch latency and superscalar instruction issue) significantly impacts dispatch performance. For example, inline caching may outperform C++-style ''vtables'' on deeply pipelined processors even though it executes more instructions per dispatch. We also show that adding support for dynamic typing or multiple inheritance does not significantly impact dispatch speed for most techniques, especially on superscalar machines. Instruction space overhead (calling sequences) can exceed the space cost of data structures (dispatch tables), so that minimal table size may not imply minimal run-time space usage.

关键词： message dispatch implementation performance computer architecture

来源：评论

学校读者我要写书评

暂无评论

Quantitative approaches in object-oriented software engineering

Quantitative approaches in object-oriented software engineer...

引用

european conference on object-oriented programming, ecoop 2000

作者： e Abreu, Fernando Brito Poels, Geert Sahraoui, Houari A. Zuse, Horst UNL and INESC Portugal Catholic University of Leuven Belgium DIRO Université de Montréal Canada Technische Universität Berlin Germany

ISBN: (纸本)3540415130

this report summarizes the contributions and discussion of the 4th ecoop Workshop on Quantitative Approaches in object-oriented Software Engineering held in Sophia Antipolis on Tuesday, June 13, 2000. this workshop aims to provide a forum to discuss the current state of the art and the practice in the field of quantitative approaches in the OO field. this year, three aspects were particularly discussed: formal approaches, empirical studies and measurement of analysis and design models. Nine position papers were presented and discussed. © Springer-Verlag Berlin Heidelberg 2000.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

REScala: Bridging between object-oriented and functional style in reactive applications 14

REScala: Bridging between object-oriented and functional sty...

引用

13th International conference on Modularity, MODULARITY 2014 (Formerly AOSD)

作者： Salvaneschi, Guido Hintz, Gerold Mezini, Mira Software Technology Group Technische Universität Darmstadt Germany

ISBN: (纸本)9781450327725

Traditionally, object-oriented software adopts the Observer pattern to implement reactive behavior. Its drawbacks are well-documented and two families of alternative approaches have been proposed, extending object-oriented languages with concepts from functional reactive and dataflow programming, respectively event-driven programming. the former hardly escape the functional setting;the latter do not achieve the declarativeness of more functional approaches. In this paper, we present RESCALA, a reactive language which integrates concepts from event-based and functional-reactive programming into the object-oriented world. RESCALA supports the development of reactive applications by fostering a functional declarative style which complements the advantages of object-oriented design. Copyright © 2014 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

An Empirical Study of object Protocols in the Wild

引用

25th european conference on object-oriented programming (ecoop)

作者： Beckman, Nels E. Kim, Duri Aldrich, Jonathan Carnegie Mellon Univ Pittsburgh PA 15213 USA

ISBN: (纸本)9783642226557;9783642226540

An active area of research in computer science is the prevention of violations of object protocols, i.e., restrictions on temporal orderings of method calls on an object. However, little is understood about object protocols in practice. this paper describes an empirical study of object protocols in some popular open-source Java programs. In our study, we have attempted to determine how often object protocols are defined, and how often they are used, while also developing a taxonomy of similar protocols. In the open-source projects in our study, comprising almost two million lines of code, approximately 7.2% of all types defined protocols, while 13% of classes were clients of types defining protocols. (For comparison, 2.5% of the types in the Java library define type parameters using Java Generics.) this suggests that protocol checking tools are widely applicable.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

Architectural Complexity of Large-Scale Software Systems

Architectural Complexity of Large-Scale Software Systems

引用

13th european conference on Software Maintenance and Reengineering

作者： Lilienthal, Carola Univ Hamburg Software Engn Grp Hamburg Germany

ISBN: (纸本)9780769535890

Today companies apply software systems with more than 14 million Lines of Code (LOC), which are still maintainable and expandable in spite of their size. On the other hand, you will find smaller software systems (> 200,000 LOC), which can either only be adopted with considerable effort, or which cannot be adapted at all. Why are some software systems fraught with maintenance problems while others remain manageable? Based on twenty-four industrial case studies on object-oriented Java projects, this paper identifies, aspects of architectural complexity and describes which route should be taken to keep the architectural complexity of large-scale software systems controllable. In this context it becomes clear that in every case the architectural style is pivotal in determining whether the software system will be maintainable over a longer period and thus prevent software erosion.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：