咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是51-60 订阅
排序:
Distributed asynchronous collections: Abstractions for publish/subscribe interaction  14th
收藏 引用
14th european conference on object-oriented programming, ecoop 2000
作者: Eugster, Patrick th Guerraoui, Rachid Sventek, Joe Swiss Federal Institute of Technology Lausanne Switzerland Agilent Laboratories Scotland Edinburgh United Kingdom
Publish/subscribe is considered one of the most important interaction styles for the explosive market of enterprise application integration. Producers publish information on a software bus and consumers subscribe to t... 详细信息
来源: 评论
Solving the inheritance anomaly in concurrent object-oriented programming  7th
Solving the inheritance anomaly in concurrent object-oriente...
收藏 引用
7th european conference on object-oriented programming, ecoop 1993
作者: Meseguer, José SRI International Menlo ParkCA94025 United States Center for the Study of Language and Information Stanford University StanfordCA94305 United States
the inheritance anomaly [23] refers to the serious difficulty in combining inheritance and concurrency in a simple and satisfactory way within a concurrent object-oriented language. the problem is closely connected wi... 详细信息
来源: 评论
Inheritance-inspired interface versioning for CORBA  18
Inheritance-inspired interface versioning for CORBA
收藏 引用
18th european conference on object-oriented programming, ecoop 2004
作者: Iterum, Skef Campbell, Ralph Seattle WA98102 United States Sun Microsystems Menlo ParkCA94025 United States
CORBA lacks a mature interface versioning system, which makes it difficult to use in the implementation of tightly-coupled distributed systems. there are patterns of inheritance that can substitute for specialized ver... 详细信息
来源: 评论
Towards a unified query-by-example (UQBE): UML as a basis for a generic graphical query language
收藏 引用
International Symposium on objects and Databases, 2000 held in conjunction with 14th european conference on object-oriented programming, ecoop 2000
作者: Sicilia Urbán, Miguel A. Barriocanal, Elena García Dodero Beardo, Juan M. Carlos III University Madrid Spain Computer Science Department DEI Laboratory Avda. Universidad 30 Leganés Madrid28911 Spain Alcalá de Henares University Computer Science Department Escuela Politécnica Campus Universitario Alcalá de Henares Madrid28871 Spain
A generic graphical query language for ODMG-compliant object databases – called Unified Query By Example (UQBE) – is proposed, based on the ideas of Zloof’s Query-By-Example, and using UML-like diagrams as schema n... 详细信息
来源: 评论
OOASP: Connecting object-oriented and logic programming  13th
OOASP: Connecting object-oriented and logic programming
收藏 引用
13th International conference on Logic programming and Nonmonotonic Reasoning, LPNMR 2015
作者: Falkner, Andreas Ryabokon, Anna Schenner, Gottfried Shchekotykhin, Kostyantyn Siemens AG Österreich Vienna Austria Alpen-Adria-Universität Klagenfurt Klagenfurt Austria
Most of contemporary software systems are implemented using an object-oriented approach. Modeling phases – during which software engineers analyze requirements to the future system using some modeling language – are... 详细信息
来源: 评论
Verifying object-oriented software: Lessons and challenges
收藏 引用
Proceedings of the 13th International conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007, Held as Part of the Joint european conferences on theory and Practice of Software, ETAPS 2007, Proceedings
作者: Rustan, K. Leino, M. Microsoft Research RedmondWA United States
A program verification system for modern software uses a host of technologies, like programming language semantics, formalization of good programming idioms, inference techniques, verification-condition generation, an... 详细信息
来源: 评论
Detecting interferences in aspect oriented programs  11
Detecting interferences in aspect oriented programs
收藏 引用
Proceedings of the 13th european Workshop on Dependable Computing
作者: Lauret, Jimmy Fabre, Jean-Charles Waeselynck, Helene LAAS-CNRS 7 Avenue du Colonel Roche 31077 Toulouse Cedex 4 France NSA ISAE Université de Toulouse 31077 Toulouse Cedex 4 France
Aspect-oriented software development (AOSD) is a technique that helps software evolution by separating different concerns in different aspects and advices. Unfortunately, it still suffers from well-known composition i... 详细信息
来源: 评论
A timed calculus for distributed objects with clocks  7th
A timed calculus for distributed objects with clocks
收藏 引用
7th european conference on object-oriented programming, ecoop 1993
作者: Satoh, Ichiro Tokoro, Mario Department of Computer Science Keio University 3-14-1 Hiyoshi Kohoku-kn Yokohama223 Japan Sony Computer Science Laboratory Inc. 3-14-13 Higashi-Gotanda Shinagawa-ku Tokyo141 Japan
this paper proposes a formalism for reasoning about distributed object-oriented computations. the formalism is an extension of Milner’s CCS with the notion of local time. It allows to describe and analyze both locall... 详细信息
来源: 评论
13th International conference on Logic programming and Nonmonotonic Reasoning, LPNMR 2015
13th International Conference on Logic Programming and Nonmo...
收藏 引用
13th International conference on Logic programming and Nonmonotonic Reasoning, LPNMR 2015
the proceedings contain 48 papers. the special focus in this conference is on Logic programming and Nonmonotonic Reasoning. the topics include: Stable models for temporal theories;algorithmic decision theory meets log...
来源: 评论
Videogame Based Learning and the Problem of Gender Equity: Exemplifying an Androgynous Approach to Developing Computer Science E-Learning Games in Higher Education
Videogame Based Learning and the Problem of Gender Equity: E...
收藏 引用
13th International conference on Computer Games (CGames 2008)
作者: Nte, Sol Wolverhampton Univ Sch Comp & Informat Technol Wolverhampton WV1 1SB England
Several authors have considered those virtual spaces in which videogames take place as being gendered and videogames themselves as gender specific (e.g. Jenkins, 1999;Subrahmanyam & Greenfield, 1994;Hartmann &... 详细信息
来源: 评论