咨询与建议

限定检索结果

文献类型

  • 27 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 21 篇 工学
    • 20 篇 计算机科学与技术...
    • 7 篇 软件工程
    • 2 篇 信息与通信工程
    • 1 篇 电气工程
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 理学
    • 1 篇 数学
  • 1 篇 管理学
    • 1 篇 图书情报与档案管...

主题

  • 8 篇 object oriented ...
  • 2 篇 c++ (programming...
  • 1 篇 oriented languag...
  • 1 篇 programming prof...
  • 1 篇 learning program...
  • 1 篇 object-oriented ...
  • 1 篇 software documen...
  • 1 篇 java
  • 1 篇 game-based learn...
  • 1 篇 model-based
  • 1 篇 categories type ...
  • 1 篇 multicast commun...
  • 1 篇 calculations
  • 1 篇 symbolic animati...
  • 1 篇 hypertext system...
  • 1 篇 costs
  • 1 篇 software design
  • 1 篇 students
  • 1 篇 abstracting
  • 1 篇 object-oriented ...

机构

  • 1 篇 univ minnesota d...
  • 1 篇 univ siegen dept...
  • 1 篇 lirmm university...
  • 1 篇 kdu univ coll sc...
  • 1 篇 school of comput...
  • 1 篇 univ franche com...
  • 1 篇 department of co...
  • 1 篇 memorial univers...
  • 1 篇 tech univ darmst...
  • 1 篇 umeä university
  • 1 篇 univ paris 01 cr...
  • 1 篇 williams college...
  • 1 篇 daimler benz ag ...
  • 1 篇 microsoft res re...
  • 1 篇 polish japanese ...
  • 1 篇 institut für com...
  • 1 篇 institute of tel...
  • 1 篇 object technol i...
  • 1 篇 paderborn univer...
  • 1 篇 university of sh...

作者

  • 1 篇 miller r
  • 1 篇 fiech adrian
  • 1 篇 czarnecki krzysz...
  • 1 篇 khoo li jing
  • 1 篇 strauss t
  • 1 篇 schulte w
  • 1 篇 jurgen borstler
  • 1 篇 czarnecki k
  • 1 篇 irit hadar
  • 1 篇 mezini m
  • 1 篇 meijers m
  • 1 篇 theel o
  • 1 篇 reupke urs
  • 1 篇 subieta kazimier...
  • 1 篇 liquori l
  • 1 篇 quibeldey-cirkel...
  • 1 篇 tan wee hoe
  • 1 篇 szafron duane
  • 1 篇 holst wade
  • 1 篇 lentner michal

语言

  • 27 篇 英文
检索条件"任意字段=Proceedings of the 1997 11th European Conference on Object-Oriented Programming, ECOOP"
27 条 记 录,以下是1-10 订阅
排序:
Owicki-gries reasoning for C11 RAR  34
Owicki-gries reasoning for C11 RAR
收藏 引用
34th european conference on object-oriented programming, ecoop 2020
作者: Dalvandi, Sadegh Doherty, Simon Dongol, Brijesh Wehrheim, Heike University of Surrey United Kingdom University of Sheffield United Kingdom Paderborn University Germany
Owicki-Gries reasoning for concurrent programs uses Hoare logic together with an interference freedom rule for concurrency. In this paper, we develop a new proof calculus for the C11 RAR memory model (a fragment of C1... 详细信息
来源: 评论
Odyssey of Phoenix: A Propriety Game Based Learning Game to Learn object-oriented programming  11
Odyssey of Phoenix: A Propriety Game Based Learning Game to ...
收藏 引用
11th european conference on Game-Based Learning (ECGBL)
作者: Wong, Yoke Seng Yatim, Maizatul Hayati Binti Mohammad Tan, Wee Hoe Khoo, Li Jing KDU Univ Coll Sch Comp & Creat Media Shah Alam Malaysia Sultan Idris Educ Univ Falcuty Art Comp & Creat Ind Tanjung Malim Malaysia
object-oriented programming is a required fundamental skillset for all computer science related students. However, teaching object-oriented programming to undergraduate year one students is challenging and academician... 详细信息
来源: 评论
proceedings of the 3rd International Workshop on Context-oriented programming, COP'11 - Co-located with the 25th european conference on object-oriented programming, ecoop 2011
Proceedings of the 3rd International Workshop on Context-Ori...
收藏 引用
3rd International Workshop on Context-oriented programming, COP'11 - Co-located with the 25th european conference on object-oriented programming, ecoop 2011
the proceedings contain 7 papers. the topics discussed include: featherweight EventCJ: a core calculus for a context-oriented language with event-based per-instance layer transition;safer context (de)activation - thro...
来源: 评论
ODRA: A next generation object-oriented environment for rapid database application development
收藏 引用
11th East european conference on Advances in Databases and Information Systems
作者: Lentner, Michal Subieta, Kazimierz Polish Japanese Inst Informat Technol ul Koszykowa 86 PL-02008 Warsaw Poland
ODRA (object Database for Rapid Application development) is an object-oriented application development environment currently being constructed at the Polish-Japanese Institute of Information Technology. the aim of the... 详细信息
来源: 评论
Towards automated restructuring of object oriented systems
Towards automated restructuring of object oriented systems
收藏 引用
11th european conference on Software Maintenance and Reengineering
作者: Trifu, Adrian Reupke, Urs FZI Forschungzentrum Informat Haidu U Neu Str 10-14 D-76131 Karlsruhe Germany
Software aging is an important cost contributor to the maintenance of aging software systems. Recent years have brought significant progress in the area of automatic detection of "code smells" as well as too... 详细信息
来源: 评论
Pedagogies and Tools for the Teaching and Learning of object oriented Concepts Report on the 11th Workshop TLOOC at ecoop 2007  07
收藏 引用
21th european conference on object-oriented programming (ecoop 2007)
作者: Jurgen Borstler Irit Hadar Umeä University Sweden University of Haifa Israel
this report summarizes the results of the eleventh workshop on pedagogies and tools for the teaching and learning of object-oriented concepts. the focus of this year's workshop was on desirable properties of examp...
来源: 评论
JML-Testing-Tools: A symbolic animator for JML specifications using CLP
收藏 引用
11th International conference on Tools and Algorithms for the Construction and Analysis of Systems
作者: Bouquet, F Dadeau, F Legeard, B Utting, M Univ Franche Comte CNRS INRIA Lab Informat LIFC F-25030 Besancon France
this paper describes a tool for symbolically animating JML specifications using Constraint Logic programming. A customized solver handles constraints that represent the value of instance fields. We have extended a mod... 详细信息
来源: 评论
Symstra: A framework for generating object-oriented unit tests using symbolic execution
收藏 引用
11th International conference on Tools and Algorithms for the Construction and Analysis of Systems
作者: Xie, T Marinov, D Schulte, W Notkin, D Univ Washington Dept Comp Sci & Engn Seattle WA 98195 USA Univ Illinois Dept Comp Sci Urbana IL 61801 USA Microsoft Res Redmond WA 98052 USA
object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends on the method's arguments and the state of the receiver at the beginning of the invocation. Correspondingly,... 详细信息
来源: 评论
Integration of a dynamic object replication framework in Java  11
Integration of a dynamic object replication framework in Jav...
收藏 引用
11th Euromicro conference on Parallel, Distributed and Network-Based Processing
作者: Strauss, T theel, O Tech Univ Darmstadt D-64283 Darmstadt Germany
By the use of dynamic replication schemes - in comparison with static replication schemes - a tremendous increase of read and write operation availabilities can be achieved. Furthermore, object-oriented programming la... 详细信息
来源: 评论
european conference on object-oriented programming, ecoop 2001
European Conference on Object-Oriented Programming, ECOOP 20...
收藏 引用
european conference on object-oriented programming, ecoop 2001
the proceedings contain 19 papers. the special focus in this conference is on object-oriented programming. the topics include: 11th workshop for PhD students in object-oriented systems;quality of service in distribute...
来源: 评论