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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是41-50 订阅

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

详细简洁

排序：

ecoop 2013 – object-oriented programming 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Giuseppe Castagna

ISBN: (数字)9783642390388

ISBN: (纸本)9783642390371

this book constitutes the proceedings of the 27th european conference on object-oriented programming, ecoop 2013, held in Montpellier, France, in July 2013. the 29 papers presented in this volume were carefully reviewed and selected from 116 submissions. they are organized in topical sections on aspects, components, and modularity; types; language design; concurrency, parallelism, and distribution; analysis and verification; modelling and refactoring; testing, profiling, and empirical studies; and implementation.

关键词： programming Techniques Software Engineering programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages Computer Communication Networks

来源：评论

学校读者我要写书评

暂无评论

Quantitative assessment of UML dynamic models

Quantitative assessment of UML dynamic models

引用

ESEC/FSE'05 - Joint 10th european Software Engineering conference (ESEC) and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13)

作者： Baroni, Aline Lúcia Quinta da Torre 2829-516 Monte da Caparica Portugal

ISBN: (纸本)1595930140

In this work we plan to provide a suite of measures to address mainly two problem areas within contemporary object-oriented software measurement: (i) the lack of measures for the early stages of system development, like conceptual modeling and (ii) the lack of measures for dynamic models of an object-oriented system. Our suite of measures is going to be taken from UML 2.0 diagrams. OCL (object-Constraint Language) and the UML 2.0 meta-model will be used to formalize and contextualize the definitions. Copyright 2005 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Mobile object systems 1

引用

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

作者： Bryce, Ciarán Centre Universitaire d’Informatique University of Geneva Switzerland

ISBN: (数字)9783540362081

ISBN: (纸本)3540002332

the ecoop workshop on Mobile object Systems was first organized in 1995 and has been held every year since. the first two episodes in the series ~ entitled “objects and Agents” (1995) and “Agents on the Move” (1996) ~ were exploratory in nature, reflecting a growing awareness and interest in the possibilities of mobile code and mobile objects for Internet programming. Towards the end of the 1990s, Interest in the domain began to mature and several mobile object systems appeared in the research community. As a consequence, further editions of the Mobile object Systems workshop concentrated on specific aspects of mobile objects. For instance, the title of the 1997 workshop was “Operating System Support”, the theme of the 1998 workshop was “Security”, and the theme of the 1999 installment was “programming Language Support”.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Workshop for PhD students in object oriented programming

引用

17th european conference on object-oriented programming, ecoop 2003

作者： Clemente, Pedro J. Pérez, Miguel A. Lujan, Sergio Reiser, Hans Department of Computer Science University of Extremadura Spain Department of Languages and Computer Science University of Alicante Spain Department of Distributed Systems and Operating Systems University of Erlangen-Nürnberg Germany

ISBN: (纸本)9783540224051

the objective of the 13th edition of Ph Doctoral Students in object-oriented Systems workshop (PHDOOS) was to offer an opportunity for PhD students to meet and share their research experiences, and to discover commonalities in research and student ship. In this way, the participants may receive insightful comment about their research, learn about related work and initiate future research collaborations. So, PHDOOS is a gauge to detect hot spots in current lines of research and new avenues of work in objects-oriented concepts. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Lightweight object specification with typestates

Lightweight object specification with typestates

引用

ESEC/FSE'05 - Joint 10th european Software Engineering conference (ESEC) and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13)

作者： Bierhoff, Kevin Aldrich, Jonathan School of Computer Science Carnegie Mellon University 5000 Forbes Avenue Pittsburgh PA 15213 United States

ISBN: (纸本)1595930140

Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as improving precision and conciseness of specifications. We propose a specification technique for objects based on abstract states that incorporates state refinement, method refinement, and orthogonal state dimensions. Union and intersection types form the underlying semantics of method specifications. the approach guarantees substitutability and behavioral subtyping. We designed a dynamic analysis to check existing object-oriented software for protocol conformance and validated our approach by specifying two standard Java libraries. We provide preliminary evidence for the usefulness of our approach. Copyright 2005 ACM.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Using Ownership to Reason about Inherent Parallelism in object-oriented Programs

Using Ownership to Reason about Inherent Parallelism in Obje...

引用

19th International conference on Compiler Construction held at the 13th Joint european conference on theory and Practice of Software

作者： Craik, Andrew Kelly, Wayne Queensland Univ Technol Brisbane Qld 4001 Australia

ISBN: (纸本)9783642119699

With the emergence of multi-cores into the mainstream, there is a growing need for systems to allow programmers and automated systems to reason about data dependencies and inherent parallelism in imperative object-oriented languages. In this paper we exploit the structure of object-oriented programs to abstract computational side-effects. We capture and validate these effects using a static type system. We use these as the basis of sufficient conditions for several different data and task parallelism patterns. We compliment our static type system with a lightweight runtime system to allow for parallelization in the presence of complex data flows. We have a functioning compiler and worked examples to demonstrate the practicality of our solution.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

the essence of data access in Cω

The essence of data access in Cω

引用

19th european conference on object-oriented programming, ecoop 2005

作者： Bierman, Gavin Meijer, Erik Schulte, Wolfram Microsoft Research United Kingdom Microsoft Corporation United States Microsoft Research United States

In this paper we describe the data access features of Cω, an experimental programming language based on C# currently under development at Microsoft Research. Cω targets distributed, data-intensive applications and accordingly extends C#'s support of both data and control. In the data dimension it provides a type-theoretic integration of the three prevalent data models, namely the object, relational, and semi-structured models of data. In the control dimension Cω provides elegant primitives for asynchronous communication. In this paper we concentrate on the data dimension. Our aim is to describe the essence of these extensions;by which we mean we identify, exemplify and formalize their essential features. Our tool is a small core language, FCω, which is a valid subset of the full Cω language. Using this core language we are able to formalize both the type system and the operational semantics of the data access fragment of Cω. © Springer-Verlag Berlin Heidelberg 2005.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Multi-user object-oriented environments 13th

Multi-user object-oriented environments

引用

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

作者： Tomek, Ivan Diaz, Alicia Melster, Ronald Silva, António Rito Antunes, Miguel Cahill, Vinny Choukair, Zièd Fernandez, Alexandro Haahr, Mads Jul, Eric Ohnishi, Atsushi Rodrigues, Luís Schmidt, Erich R. pu, Cristian Wieczerzycki, Waldemar Zimmerman, Daniel M. Acadia University Canada Lifia - UNLP La Plata Argentina GMD FIRST Berlin Germany INESC Technical University of Lisbon Portugal Trinity College Dublin Ireland ENST Bretagne France University of Copenhagen Denmark Ritsumeikan University Japan University of Lisbon Portugal California Institute of Technology United States Posnan University of Economics Poland

ISBN: (纸本)354066954X

Network-based computer environments emulating selected aspects of the physical world and allowing interaction among their human users first appeared in the late 1970s. these environments implemented a networked version of a role-playing fantasy game known as Dungeons and Dragons, hence their acronym MUD (Multi-user Dungeons). When it became obvious that many MUD users use the environment mainly to meet virtually with other users rather than to play games, new forms of MUDs and other types of emulated universes were developed and the term Virtual Environment (VE) was introduced to refer to all of them. Since their inception, VEs evolved in several interesting directions, including environments with new types of user interfaces, for example emulating visual aspects of physical reality via VRML and other means [8], and object-oriented environments known as MOOs (MUD object-oriented) allowing their users to extend the environment and communicate with it via a programming language [22]. As virtual environments became better known and more sophisticated, their user populations reached hundreds of thousands. At present, VEs are used for recreation, education [16], particularly distance education, and in work, particularly for collaboration among physically separated team members [6, 26, 36, 15, 45]. there is also a large and growing body of research on existing and potential VE uses, and several meetings similar to this workshop are held every year to address both the usage and the technical aspects of VEs. Collaborative work is, of course, an area of major interest to software developers and we will thus address this issue further.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Multiparadigm programming with object-oriented languages 1

引用

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

作者： Davis, Kei Smaragdakis, Yannis Striegnitz, Jörg Los Alamos National Laboratory United States College of Computing Georgia Institute of Technology United States John von Neumann Institute for Computing Research Center Juelich United States

ISBN: (数字)9783540362081

ISBN: (纸本)3540002332

While OO has become ubiquitously employed for design, implementation, and even conceptualization, many practitioners recognize the concomitant need for other programming paradigms according to problem domain. Nevertheless, the choice of a programming paradigm is strongly influenced by the supporting programming language facilities. In turn, choice of programming language is usually a practical matter;one cannot generally afford to use a language not in the mainstream. We seek answers to the question of how to address the need for other programming paradigms in the general context of OO languages. Can OO programming languages effectively support other programming paradigms? the tentative answer seems to be affirmative, at least for some paradigms;for example, significant progress has been made for the case of (higher order, polymorphic) functional programming in C++. We show that there are many such efforts extant, including theoretical treatments, language implementations, and practical (application) implementations. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：