咨询与建议

限定检索结果

文献类型

  • 577 篇 会议
  • 25 篇 期刊文献
  • 2 册 图书

馆藏范围

  • 604 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 522 篇 工学
    • 475 篇 计算机科学与技术...
    • 416 篇 软件工程
    • 33 篇 电气工程
    • 23 篇 控制科学与工程
    • 18 篇 信息与通信工程
    • 7 篇 生物工程
    • 5 篇 环境科学与工程(可...
    • 4 篇 建筑学
    • 4 篇 土木工程
    • 4 篇 化学工程与技术
    • 3 篇 机械工程
    • 3 篇 电子科学与技术(可...
    • 3 篇 农业工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 生物医学工程(可授...
  • 87 篇 理学
    • 62 篇 数学
    • 11 篇 生物学
    • 7 篇 物理学
    • 7 篇 系统科学
    • 5 篇 化学
  • 36 篇 管理学
    • 25 篇 图书情报与档案管...
    • 12 篇 管理科学与工程(可...
    • 5 篇 工商管理
  • 9 篇 教育学
    • 9 篇 教育学
  • 8 篇 法学
    • 7 篇 社会学
    • 1 篇 法学
  • 3 篇 农学
    • 3 篇 作物学
  • 2 篇 医学
    • 2 篇 基础医学(可授医学...
    • 2 篇 临床医学
    • 2 篇 药学(可授医学、理...

主题

  • 237 篇 object oriented ...
  • 24 篇 object-oriented ...
  • 13 篇 semantics
  • 11 篇 aspect oriented ...
  • 10 篇 artificial intel...
  • 9 篇 c++ (programming...
  • 7 篇 specifications
  • 5 篇 computer softwar...
  • 5 篇 software enginee...
  • 5 篇 calculations
  • 5 篇 application prog...
  • 5 篇 computer softwar...
  • 5 篇 problem oriented...
  • 5 篇 functional progr...
  • 4 篇 common object re...
  • 4 篇 reusability
  • 4 篇 reverse engineer...
  • 4 篇 java programming...
  • 4 篇 algebra
  • 4 篇 object-oriented ...

机构

  • 7 篇 victoria univers...
  • 5 篇 carnegie mellon ...
  • 4 篇 microsoft corp r...
  • 4 篇 swiss fed inst t...
  • 3 篇 victoria univ we...
  • 3 篇 software composi...
  • 3 篇 microsoft united...
  • 3 篇 univ genoa disi ...
  • 3 篇 university of to...
  • 3 篇 object technolog...
  • 3 篇 eth zurich
  • 3 篇 university of ch...
  • 3 篇 i.b.m. thomas j....
  • 3 篇 univ geneva obje...
  • 3 篇 independent soft...
  • 3 篇 umeå university
  • 3 篇 purdue univ dept...
  • 3 篇 purdue universit...
  • 2 篇 harvey mudd coll...
  • 2 篇 universidad de m...

作者

  • 16 篇 noble james
  • 9 篇 vitek jan
  • 6 篇 davis kei
  • 6 篇 madsen ole lehrm...
  • 6 篇 jul eric
  • 5 篇 bosch j
  • 5 篇 drossopoulou sop...
  • 5 篇 de meuter wolfga...
  • 5 篇 bruce kim b.
  • 5 篇 ernst michael d.
  • 5 篇 chambers c
  • 5 篇 aldrich jonathan
  • 5 篇 mens kim
  • 5 篇 sahraoui houari ...
  • 4 篇 hirschfeld rober...
  • 4 篇 szyperski c
  • 4 篇 ducasse stéphane
  • 4 篇 homer michael
  • 4 篇 ancona davide
  • 4 篇 yonezawa akinori

语言

  • 591 篇 英文
  • 11 篇 其他
  • 2 篇 中文
检索条件"任意字段=European Conference on Object-Oriented Programming, ECOOP 2000"
604 条 记 录,以下是351-360 订阅
排序:
Analyzing Java software by combining metrics and program visualization
Proceedings of the European Conference on Software Maintenan...
收藏 引用
Proceedings of the european conference on Software Maintenance and Reengineering, CSMR 2000年 199-208页
作者: Systa, Tarja Yu, Ping Muller, Hausi Tampere Univ of Technology Tampere Finland
Shimba, a prototype reverse engineering environment, has been built to support the understanding of Java software. Shimba uses Rigi and SCED to analyze, visualize, and explore the static and dynamic aspects, respectiv... 详细信息
来源: 评论
Verification of object-Z specifications by using transition systems: Application to the radiomobile network design problem  3rd
收藏 引用
3rd International conference on Fundamental Approaches to Software Engineering (FACE 2000) at the european conference on Theory and Practice of Software (ETAPS 2000)
作者: Gruer, P Hilaire, V Koukam, A Univ Technol Belfort Montbeliard F-90010 Belfort France
This paper presents a technique for verifying specifications which uses the object-oriented state-based language object-Z. The technique is based upon translation of object-Z specifications into transition systems. Th... 详细信息
来源: 评论
Compiling adaptive programs by partial evaluation  9th
Compiling adaptive programs by partial evaluation
收藏 引用
Joint european conference on Theory and Practice of Software (ETAPS 2000)
作者: Thiemann, P Univ Freiburg Inst Informat D-7800 Freiburg Germany
An adaptive program is an object-oriented program which is abstracted over the particular class structure. This abstraction fosters software reuse, because programmers can concentrate on specifying how to process the ... 详细信息
来源: 评论
Demand-driven construction of call graphs  9th
Demand-driven construction of call graphs
收藏 引用
Joint european conference on Theory and Practice of Software (ETAPS 2000)
作者: Agrawal, G Univ Delaware Dept Comp & Informat Sci Newark DE 19716 USA
Call graph construction has been an important area of research within the compilers and programming languages community. However, all existing techniques focus on exhaustive analysis of all the call-sites in the progr... 详细信息
来源: 评论
Formal specification of object-oriented meta-modelling  3rd
收藏 引用
3rd International conference on Fundamental Approaches to Software Engineering (FACE 2000) at the european conference on Theory and Practice of Software (ETAPS 2000)
作者: Övergaard, G Royal Inst Technol Stockholm Sweden
Modelling languages such as the Unified Modeling Language are used during the early phases of system development to capture requirements and to express high-level designs. Many such languages have no universally fixed... 详细信息
来源: 评论
Towards a quantitative assessment of method replacement
Towards a quantitative assessment of method replacement
收藏 引用
The 4th european conference on Software Maintenance and Reegineering - CSMR 2000
作者: Keller, Rudolf K. Schauer, Reinhard Universite de Montreal Montreal Que Canada
object-oriented programming is about the creation of reusable classes that are to be extended to capture the specific requirements of the application at hand. However, instead of extending the methods of these classes... 详细信息
来源: 评论
Re-engineering the STMicroelectronics manufacturing model
Proceedings of the European Conference on Software Maintenan...
收藏 引用
Proceedings of the european conference on Software Maintenance and Reengineering, CSMR 2000年 231-234页
作者: Carchiolo, V. D'ambra, S. Longheu, A. Malgeri, M. Universita di Catania Catania Italy
Current manufacturing systems have a very structured production model, especially when high and precision is required, as in semiconductor devices manufacturing. In addition, rapid changes in production and market req... 详细信息
来源: 评论
An algebraic foundation for adaptive programming
收藏 引用
3rd International conference on Foundations of Software Science and Computation Structures (FOSSACS 2000)
作者: Thiemann, P Univ Freiburg Inst Informat D-7800 Freiburg Germany
An adaptive program is an object-oriented program which is abstracted over the particular class structure. This abstraction fosters! software reuse, because programmers can concentrate on specifying how to process the... 详细信息
来源: 评论
Verification of object oriented programs using class invariants
收藏 引用
3rd International conference on Fundamental Approaches to Software Engineering, FASE 2000 Held as Part of the Joint european conferences on Theory and Practice of Software, ETAPS 2000
作者: Bijlsma, Lex van Geldrop, Rik van Gool, Louis Hemerik, Kees Huizing, Kees Kuiper, Ruurd van Roosmalen, Onno van der Woude, Jaap Zwaan, Gerard
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system is inspired on Meyer's system of ... 详细信息
来源: 评论
VIP: A visual editor and compiler for v-PROMELA
VIP: A visual editor and compiler for v-PROMELA
收藏 引用
6th International conference on Tools and Algorithms for the Construction and Analysis of Systems at the european conference on Theory and Practice of Software
作者: Kamel, M Leue, S Univ Waterloo Dept Elect & Comp Engn Waterloo ON N2L 3G1 Canada Univ Freiburg Inst Informat D-79110 Freiburg Germany
We describe the Visual Interface to PROMELA (VIP) tool that we have recently implemented. VIP supports the visual editing and maintenance of v-Promela models, v-Promela is a visual, object-oriented extension to PROMEL... 详细信息
来源: 评论